小内山晶: /* 関連項目 */

2010-08-18T21:49:09Z

‎関連項目

2007年5月17日 (木) 13:52にキリカによる

2007-05-17T13:52:00Z

キリカ: http://ja.wikipedia.org/w/index.php?title=アーベル群&oldid=10881653

2007-05-17T13:51:27Z

http://ja.wikipedia.org/w/index.php?title=アーベル群&oldid=10881653

新規ページ

アーベル群（アーベルぐん、abelian group）とは、可換群（かかんぐん、commutative group）すなわち、定義される[[二項演算|乗法]]が[[交換法則|可換]]な[[群論|群]]のことである。名称は、ノルウェーの数学者[[ニールス・アーベル]]に因む。しばしば、演算は "+" を用いて "[[加法|加法的]]" に記されて加法群（かほうぐん、additive group）ともよばれる。単純に言えば、アーベル群とは足し算と引き算が自由にできる代数的な対象である。また、加群（かぐん、module）とも呼ばれることがあるがこの場合、別の代数系からの作用とともに考えていることが多い。

== 定義 ==
[[集合]] ''G'' に[[二項演算]]（"*" と書くことにする）が定義されていて、以下の条件
# [[結合法則]]: <math>a * (b * c) = (a * b) * c</math>.
# [[単位元]]の存在:<math>\exists1;\ a * 1 = 1 * a = a</math>.
# [[逆元]]の存在: <math>\forall a, \exists a^{-1};\ a * a^{-1} = a^{-1} * a = 1</math>.
# [[交換法則]]: <math>a * b = b * a</math>.
（ただし、''a'', ''b'', ''c'' は ''G'' の任意の元）を全て満たすとき、''G'' と演算 "*" の組 (''G'', *) を'''アーベル群'''という。考えている演算があきらかなときは省略して単に ''G'' をアーベル群と呼ぶ。

アーベル群ではしばしば演算子を "+" と記す。このとき単位元を[[零元]]と呼んで 0 などで表し、逆元も −''a'' のように[[符号 (数学)|負符号]]を用いて表して'''マイナス元'''あるいは'''反数'''とよぶ。また、''a'' + (−''b'') は ''a'' − ''b'' と書かれ、''a'' から ''b'' を引くという[[減法]]が定義される。このような記法を'''加法的な記法'''と呼び、対して先に述べたような通常の群でよく使われる記法を'''乗法的な記法'''ということがある。アーベル群の定義を加法的に記せば
# 結合法則: <math>a + (b + c) = (a + b) + c</math>.
# [[零元]]の存在: <math>\exists 0;\ a + 0 = 0 + a = a</math>.
# マイナス元の存在: <math>\forall a, \exists -a;\ a + (-a) = (-a) + a = 0</math>.
# 交換法則: <math>a + b = b + a</math>.
のようになる。以降ではアーベル群を主に加法的に記す。

== 例 ==
* [[整数]]の全体 '''Z'''、[[有理数]]の全体 '''Q'''、[[実数]]の全体 '''R'''、[[複素数]]の全体 '''C''' は全て通常の[[加法]]に関してアーベル群である。一方 [[自然数]]の全体 '''N''' は加法（の逆演算としての[[減法]]）に関して閉じていないのでアーベル群ではない。
* 0 を除く有理数の全体 '''Q'''* で乗法を考えたものは群になる（乗法群と言われる）がこれもアーベル群の例である。0 以外の実数全体 '''R'''* や 0 以外の複素数全体 '''C'''* も乗法に関してアーベル群となる。また例えば 0 以外の整数の全体 '''Z'''* は乗法に関して群にはならないが、その部分集合 {±1} は乗法に関するアーベル群である。
* [[楕円曲線]] ''y''2 = ''x''3 + ''ax'' + ''b'' はその "加法" に関してアーベル群になる。

== アーベル群の準同型 ==
2 つのアーベル群 (''M'', +), (''N'', +') を考える。''M'' から ''N'' への写像 ρ: ''M'' → ''N'' が任意の ''x'', ''y'' ∈ ''M'' について
: ρ(''x'' + ''y'') = ρ(''x'') +' ρ(''y'')
をみたすとき、ρ は (''M'', +) から (''N'', +') への'''アーベル群の[[準同型]]'''であるといい、さらに[[全単射]]ならばアーベル群の'''同型'''であるという。これは単に[[群論#群の準同型・同型|群としての準同型]] (group homomorphism) とまったく同じ概念である。''M'' から ''N'' へのアーベル群の準同型全体の成す集合を Hom(''M'',''N'') などと記す。このとき、
:<math>\mbox{Hom}(M,N):=\{\phi\colon M\to N\mid \phi\colon \mbox{homom.}\}</math>
には、φ, ψ ∈ Hom(''M'', ''N'') に対して
:<math>(\phi+\psi)(x) := \phi(x) + \psi(x) \quad (x \in M)</math>
として和 φ + ψ をさだめる（これを「''N'' における和が Hom(''M'',''N'') に加法を誘導する」などという）ことができて、この加法に関して Hom(''M'', ''N'') はまたアーベル群となる。さらに、アーベル群 ''M'' の[[準同型#自己同型群・自己準同型環|自己準同型]]の全体
:<math>\mbox{End}(M):= \mbox{Hom}(M,M)</math>
には ''M'' における和が導く加法が定まり、さらに写像の合成
:<math>(\phi\circ\psi)(x) := \phi(\psi(x))\quad
(\phi, \psi \in \mbox{End}(M), x \in M)
</math>
を積として[[環論|環]]をなす。これを ''M'' 上の'''自己準同型環'''という。

== 性質 ==
=== 自明な性質 ===
一般の群においていくつかの条件によって規定されるような概念の中には、それがアーベル群においては特に何の制約も課さないこと（数学の文脈ではこれを自明な条件などと通常は言い表す）と等価になるようなものが見られる。例えば
* アーベル群の任意の部分群は[[群論#部分群|正規部分群]]である。
* 任意のアーベル群は[[群論#可解群・交換子群|可解]]である。
などが挙げられる。

=== アーベル群の基本定理 ===
有限生成なアーベル群は、そうでない群と比べて著しく単純な構造を持つ：

アーベル群 ''G'' が[[生成 (数学)|有限生成]]であれば、''G'' は無限[[巡回群]] '''Z''' と素数べきの[[群論#位数|位数]]を持つ巡回群 '''Z''' / ''m''1'''Z''', ..., '''Z''' / ''m''''t'''''Z''' の[[直積]]
:<math>\mathbb{Z}^n \times \mathbb{Z}/m_1\mathbb{Z} \times \mathbb{Z}/m_2\mathbb{Z} \times \cdots \times \mathbb{Z}/m_t\mathbb{Z}</math>

に[[同型]]で、''n'' や ''m''1, ..., ''m''''t'' は入れ替えを除いて一意的である（アーベル群 ''G'' の'''不変系'''と呼ばれる）。

少し形を変えて、''G'' を次のように書くことも出来る；
:<math>\mathbb{Z}^n \times \mathbb{Z}/d_1\mathbb{Z} \times \mathbb{Z}/d_2\mathbb{Z} \times \cdots \times \mathbb{Z}/d_u\mathbb{Z}</math>

ここで、''d''1 [[約数||]] ''d''2 | ... | ''d''''u'' であり、''d''1,..., ''d''''u'' は一意的に決まる。

有限生成アーベル群は有限の[[階数]]として、上の ''n'' を持つ。一方でこの逆は正しくなく、有限の階数を持つが有限生成でないアーベル群はたくさんある。

この定理によって有限生成なアーベル群、特に位数が有限なアーベル群は完全に分類できる。そのため、これは群論において大変有用な定理である。これに対して、有限生成でないアーベル群に関しては、今でも研究が進められている。特に、階数が無限のアーベル群は非常に複雑になる。

もう少し一般化して、[[環論|単項イデアル整域]]上の有限生成加群に対しても全く同様の定理が証明できる。

== 作用と加群 ==
=== 環上の加群 ===
環 ''R'' に対して、写像
:<math>R \times M \to M;\, (r, a) \mapsto \rho_r(a),\quad\rho_r\colon M \to M</math>
で、任意の ''r'', ''s'' ∈ ''R'', ''a'', ''b'' ∈ ''M'' に対して、
#<math>\rho_r(a + b) = \rho_r(a) + \rho_r(b),</math>
#<math>\rho_{rs}(a) = \rho_r(\rho_s(a))</math>
をみたすものが存在するとき、''M'' を'''環''' ''R'' '''上の左加群''' (left module)、あるいは略して左 ''R''-'''加群'''などという。またこのとき、''R'' は ''M'' の'''作用域'''、'''作用環'''あるいは'''係数環'''であるといい、''R'' は ''M'' に'''左から作用する'''という。2 において積の順序と作用素の合成が逆になるときを考えて右作用が考えられる。すなわち
#<math>\sigma_r(a + b) = \sigma_r(a) + \sigma_r(b),</math>
#<math>\sigma_{rs}(a) = \sigma_s(\sigma_r(a))</math>
が成り立つならば、''R'' は ''M'' に'''右から作用する'''、あるいは ''M'' は ''R'' 上の'''右加群''' (right module) であるなどという。右加群かつ左加群であるものを'''両側加群''' (twosided module) という。環 ''R'' が可換環であるなら、左右からの ''R'' の ''M'' への作用を一致させて、左右を区別せずに単に ''R''-加群と呼ぶ。

環 ''R'' がアーベル群 ''M'' に左から作用するとき、しばしば ρ''r''(''a'') などは ''ra'' や ''r''''a'' などのように略記される。同様に、''R'' が ''M'' に右から作用するとき、σ''r''(''a'') はしばしば ''ar'' や ''a''''r'' などと略記される。

もし係数環 ''R'' が（乗法に関する）[[単位元]] 1 を持つ（単位的環とよばれる）ならば、多くの場合
* <math>1\cdot a = a</math>
という仮定も ''R''-加群の定義として含むものとして扱われる。

=== 環作用の例 ===
任意のアーベル群は[[整数|有理整数環]] '''Z''' 上の加群である。実際、加法群 ''M'' に対して
:<math>nx = \begin{cases}
\sum_{k=1}^n x & \mbox{for }n > 0 \\
0 & \mbox{for }n = 0 \\
\sum_{k=1}^{|n|} -x & \mbox{for }n < 0
\end{cases}</math>
と定義することによって写像
:<math>\mathbb{Z}\times M \to M;\, (n, x) \mapsto nx</math>
を定めると、この写像によって '''Z''' から ''M'' への作用が定まる。この作用を '''Z''' の'''自然な作用'''という。本質的に同じことだがアーベル群 ''M'' の演算が乗法的に記されているならば、この作用は
:<math>x^n = \begin{cases}
\prod_{k=1}^n x & \mbox{for }n > 0 \\
1 & \mbox{for }n = 0 \\
\prod_{k=1}^{|n|} x^{-1} & \mbox{for }n < 0
\end{cases}</math>
と定義することによって定まる写像
:<math>\mathbb{Z}\times M \to M;\, (n, x) \mapsto x^n</math>
として与えられる。このように、任意のアーベル群は（もともと作用域を考えていなくても） '''Z'''-加群となるので、作用域を考えないアーベル群を指して加群ということもある。

この例で乗法的に書かれた場合をみると、有理整数環 '''Z''' が ''M'' に右から作用するという 2 つ条件は
#<math>(ab)^r = a^r b^r</math>
#<math>(a^r)^s = a^{rs}</math>
と書き換えることができる。これは通常、[[冪乗]]に関する'''指数法則'''と呼ばれるもの（の一部）である。また加法的に書かれた場合で特に ''M'' = '''Z'''（加法群）であるときを考えると、'''Z''' が ''M'' に作用するということの 2 つの条件は 1 が '''Z''' における[[分配法則]]、2 が '''Z''' における[[結合法則]]そのものである。

別の例として、[[ベクトル空間]]は[[体 (数学)|体]]上の加群である。体は特別な環であるから、環上の加群の概念はベクトル空間の概念の一般化であるということができる。

=== 群上の加群 ===
''G'' を群、1 を ''G'' の単位元、''M'' をアーベル群とする。写像
:<math>G \times M \to M;\ (g, x) \mapsto gx</math>
が与えられていて
#<math>1\cdot x = x\quad (x \in M),</math>
#<math>(gh)x = g(hx)\quad(g, h \in G, x \in M)</math>
が成立するならば、群 ''G'' は加群 ''M'' に作用するといい、''M'' は'''群''' ''G'' '''上の加群'''または ''G''-'''加群''' (''G''-module) であるという。

=== 群作用の例 ===
（可換な）体の[[ガロア理論|ガロア拡大]] ''L'' / ''K'' とそのガロア群 ''G'' = Gal(''L'' / ''K'') を考えるとき、''L'' の乗法群 ''L''* = ''L'' − {0} は ''G'' 上の加群である。

=== 表現 ===
自己準同型環 End(''M'') を考えれば、''M'' が左 ''R''-加群であるということを、写像
:<math>\rho\colon R \to \mbox{End}(M);\, r \mapsto \rho_r</math>
が環の（あるいは単位的環の）準同型となるということに[[同値|言い換え]]ることができる。対照的に、環準同型を用いて右加群であるということをいうには、環 ''R'' の（和はそのままで）積を逆順にした環（''R'' の逆転環などと呼ぶ）''R''op を用いればよい。すなわち ''M'' が ''R'' 上の右加群であるのは
:<math>\sigma\colon R^{\rm op} \to \mbox{End}(M);\, r \mapsto \sigma_r</math>
が環の準同型としてあたえられているときであるということができる。また、アーベル群 ''M'' の自己同型群（[[群論#群の準同型・同型|自己同型]]全体が[[写像#合成|写像の合成]]を積として成す群）Aut(''M'') を考えれば、ある群 ''G'' が Aut(''M'') の部分群への準同型 φ: ''G'' → Aut(''M'') を持つとき ''M'' は ''G''-加群である。

このように準同型として作用を捕らえることで、一般化として[[代数的構造|代数系]] ''A'' に対する ''A''-'''加群'''の概念を考えることができる。つまり、加群 ''M'' 上で定義された特定の種類の[[変換 (数学)|変換]]からなる集合 Trans(''M'') がある代数系をなしていて、それと同種の代数系 ''A'' とが与えられているという状況下であるならば、''A'' の ''M'' への作用が定まるというのを、''A'' から Trans(''M'') への準同型 ρ が与えられることであると定義するのである。また、これを代数系 ''A'' の[[表現 (数学)|表現]] といい、(ρ, ''M'') とか (ρ, ''A'', ''M'') などのように表す。''M'' が ''A''-加群であることを ''M'' は ''A'' の'''表現加群'''であるともいう。さらに紛れの恐れの無い場合には準同型 ρ を指して ''A'' の表現と呼ぶこともある。

=== 群環の表現 ===
単位的環 ''R'' を定め、群 ''G'' に対して[[群環]] ''R''[''G''] を考えると、''G'' 上の加群は群環 ''R''[''G''] 上の加群に延長される。逆に、群環 ''R''[''G''] の表現があれば、係数を制限して ''G'' の表現を考えることができる。

=== 作用込みの準同型 ===
作用域を持つ加群の間には、作用と可換な特別な準同型を考えることができる。たとえば群 ''G'' 上の加群 ''M'', ''N'' が与えられているとし、''M'' から ''N'' へのアーベル群の準同型 ρ: ''M'' → ''N'' が
:<math>\rho(gx) = g\rho(x)</math>
(for all ''x'' ∈ ''M'') を満たすとき、ρ は ''G''-'''加群の準同型'''あるいは単に ''G''-'''準同型''' (''G''-homomorhism) であるという。
:<math>\mbox{Hom}_G(M,N):=
\{\phi\colon M\to N\mid \phi\colon G\mbox{-homom.}\}
</math>
などとおくと、Hom''G''(''M'', ''N'') は Hom(''M'', ''N'') の部分群となる。

[[線型写像]]はベクトル空間を体（したがって環）上の加群とみるときの、体の作用と可換であるような加群の準同型のことである。

== 関連項目 ==
* [[群論]]
* [[環論]]
* [[体論]]
* [[ベクトル空間]]

[[Category:群論|ああへるくん]]
[[Category:代数的構造|ああへるくん]]
[[Category:数学に関する記事|ああへるくん]]

[[ca:Grup abelià]]
[[cs:Abelova grupa]]
[[da:Abelsk gruppe]]
[[de:Abelsche Gruppe]]
[[el:Αβελιανή ομάδα]]
[[en:Abelian group]]
[[eo:Komuta grupo]]
[[es:Grupo abeliano]]
[[et:Abeli rühm]]
[[fi:Abelin ryhmä]]
[[fr:Groupe abélien]]
[[he:חבורה אבלית]]
[[hu:Abel-csoport]]
[[it:Gruppo abeliano]]
[[ko:아벨군]]
[[nl:Abelse groep]]
[[nn:Abelsk gruppe]]
[[no:Abelsk gruppe]]
[[pl:Grupa przemienna]]
[[pt:Grupo abeliano]]
[[ro:Grup abelian]]
[[ru:Абелева группа]]
[[ru-sib:Абелева стаечка]]
[[sk:Abelovská grupa]]
[[sl:Abelova grupa]]
[[sr:Абелова група]]
[[sv:Abelsk grupp]]
[[vi:Nhóm giao hoán]]
[[zh:阿贝尔群]]

@@ 145行目: / 145行目: @@
 * [[体論]]
 * [[ベクトル空間]]
 [[Category:群論|ああへるくん]]
@@ 151行目: / 152行目: @@
 [[en:Abelian group]]

@@ 150行目: / 150行目: @@
 [[Category:数学に関する記事|ああへるくん]]
 [[en:Abelian group]]
-[[eo:Komuta grupo]]
-[[es:Grupo abeliano]]
+<div style="margin:0.5em 0;background-color:#f6f6f6;border:1px solid #ccc;padding:3px;font-size:80%">
-[[et:Abeli rühm]]
+このページは [http://ja.wikipedia.org/ Wikipedia日本語版]由来のコンテンツを利用しています。もとの記事は[http://ja.wikipedia.org/wiki/アーベル群 '''アーベル群''']にあります。執筆者のリストは[http://ja.wikipedia.org/w/index.php?title=アーベル群&amp;action=history '''履歴''']をご覧ください。
-[[fi:Abelin ryhmä]]
+[[Yourpedia]]と同じく、[http://ja.wikipedia.org/wiki/Wikipedia Wikipedia]は[http://www.gnu.org/copyleft/fdl.html GFDLのライセンス]で提供されています。
-[[fr:Groupe abélien]]
+コンテンツを再利用する際には同じくGFDLのライセンスを採用してください。
-[[he:חבורה אבלית]]
+</div>
-[[hu:Abel-csoport]]
+[[Category:Wikipedia出典元の記事|{{PAGENAME}}]]
-[[it:Gruppo abeliano]]
-[[ko:아벨군]]
-[[nl:Abelse groep]]
-[[nn:Abelsk gruppe]]
-[[no:Abelsk gruppe]]
-[[pl:Grupa przemienna]]
-[[pt:Grupo abeliano]]
-[[ro:Grup abelian]]
-[[ru:Абелева группа]]
-[[ru-sib:Абелева стаечка]]
-[[sk:Abelovská grupa]]
-[[sl:Abelova grupa]]
-[[sr:Абелова група]]
-[[sv:Abelsk grupp]]
-[[vi:Nhóm giao hoán]]
-[[zh:阿贝尔群]]

アーベル群 - 変更履歴

小内山晶: /* 関連項目 */

2007年5月17日 (木) 13:52にキリカによる

キリカ: http://ja.wikipedia.org/w/index.php?title=アーベル群&oldid=10881653