群準同型
代数的構造 → 群論 群論 |
---|
数学、特に群論における群の準同型写像(じゅんどうけいしゃぞう、英: group homomorphism)は群の構造を保つ写像である。準同型写像を単に準同型とも呼ぶ。
定義と注意
ふたつの群 (G, ∗) と (H, ⋅) が与えられたとする。(G, ∗) から (H, ⋅) への群準同型とは、写像 h: G → H で、
定義から、準同型写像 h は、G の単位元 eG を H の単位元 eH に写し、また
- 注意
- 古い記法では、h(x) は xh や xh と表記されていた。ただしこの記法では、何らかの指数や一般の添字などと混同しやすい。なお、より最近の記法では準同型を引数の右側から作用させるときは括弧を書かないというようなものもある。この場合 h(x) は単に xh と書ける。これは特に、オートマトンによる機械処理を行う分野で一般的である。オートマトンは左から右へ順番に読めばいいので処理しやすいためである。
群に何か別の構造が付加されている場合には、「準同型」という言葉は(上記のような)群構造だけではなくて、付加された構造についてもよく振舞うをこと意味していることもある。たとえば、位相群の準同型といえば、しばしば連続性も要求される。
像と核
準同型 h: G → H の核 ker(h) を、h によって H の単位元にうつる G の元全体の集合
準同型の核と像は、その準同型がどのくらい同型に近いかを測るものと解釈することができる。第一同型定理によれば、準同型 h: G → H の像 im h は、余像と呼ばれる商群 G/ker h に同型である。
例
- 巡回群 ℤ/3ℤ = {0, 1, 2} と、整数全体の成す加法群 ℤ を考える。 h(u) ≔ u mod 3 によって定義される写像 h: ℤ → ℤ/3ℤ は群準同型である。これは全射であり、核は3の倍数全体の成す集合である。
- 指数関数は、実数全体の成す加法群 ℝ から、非零実数全体の成す乗法群 ℝ* への準同型を与える。核は {0} であり、像は正の実数全体 ℝ+ である。
- 指数関数はまた、複素数全体の成す加法群 ℂ から、非零複素数全体の成す乗法群 ℂ* への準同型をも与える。この写像は全射であり、核はオイラーの公式から明らかなように {2πki : k ∈ ℤ} となる。ℝ や ℂ のように、その加法群から乗法群への準同型を持つ体を指数体と言う。
群の圏
h: G → H および k: H → K が群準同型ならば、それらの合成 k ∘ h: G → K もまた群準同型である。これにより、群全体の成す(圏論的な意味での)類に群準同型を射としてあわせて考えたものは、群の圏 Grp と呼ばれる圏を成す。
準同型写像の種類
準同型 h: G → H が全単射ならば、その逆写像もまた準同型になることが示せる。このとき h は群同型写像 (group isomorphism) であるといい、群 G と H は互いに同型 (isomorphic) であるという。互いに同型な群というのは、その元の記述の仕方が違うだけで、実用上は同一視できる。
定義域と終域が同じ群準同型写像 h: G → G は G の自己準同型写像という。さらに、h が全単射、すなわち同型になるとき、自己同型という。G のすべての自己同型からなる集合は、写像の合成を演算として群をなす。これを、G の自己同型群と言い、Aut(G) と表記する。たとえば、群 (Z, +) の自己同型群は、恒等変換と −1 倍写像の二つの元のみからなり、Z/2Z に同型である。
全射準同型(つまり、上への写像となっているような準同型)を全準同型 (epimorphism) という。また、単射準同型(つまり、一対一写像となっていうような準同型)を単準同型 (monomorphism) という。
アーベル群の準同型
G と H をアーベル群(つまり、演算が可換な群)とすると、G から H への群準同型全体の成す集合 Hom(G, H) をそれ自身ひとつのアーベル群とすることができる。ただし準同型 h と k の和 h + k を点ごとの和、すなわち
準同型の加法は、準同型の合成と以下の意味で両立する:
- Hom(K, G) の任意の元 f および Hom(G, H) の任意の元 h, k および Hom(H, L) の任意の元 g に対して およびが成り立つ。
これはアーベル群 G の自己準同型全体の成す集合 End(G) は(準同型の和と合成に関して)環を成すことを示している。環 End(G) をアーベル群 G の自己準同型環 と言う。たとえば、巡回群 Z/nZ の m 個の直和として得られるアーベル群 G の自己準同型環 End(G) は Z/nZ に成分を持つ m-次正方行列全体の成す環に同型である。上記の和と合成に関する両立性はアーベル群(と群準同型)の圏 Ab が前加法圏を成すことをも示している。直和の存在や核がよく振舞うことから、圏 Ab はアーベル圏の原型的な例となっている。
関連項目
参考資料
Lang, Serge (2002), Algebra, Graduate Texts in Mathematics, 211 (Revised third ed.), New York: Springer-Verlag, MR1878556, ISBN 978-0-387-95385-4
外部リンク
- Weisstein, Eric W. "Group Homomorphism". mathworld.wolfram.com (英語).
- group homomorphism in nLab
- group homomorphism - PlanetMath.(英語)
- Group Homomorphism at ProofWiki
- Hazewinkel, Michiel, ed. (2001), “Homomorphism”, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4