有限生成アーベル群

提供: miniwiki
2018/8/19/ (日) 16:55時点におけるAdmin (トーク | 投稿記録)による版 (1版 をインポートしました)
(差分) ← 古い版 | 最新版 (差分) | 新しい版 → (差分)
移動先:案内検索

抽象代数学において、アーベル群 (G,+) が有限生成 (finitely generated) であるとは、G の有限個の元 x1,...,xs が存在して、G のすべての元 xn1,...,ns整数として

x = n1x1 + n2x2 + ... + nsxs

の形に書けるということである。この場合、集合 {x1,...,xs} を G生成系生成集合 (generating set) あるいは x1, ..., xsG生成する (generate) という。

明らかに、すべての有限アーベル群は有限生成である。有限生成アーベル群はわりと単純な構造をもっており、完全に分類することができて、以下で説明される。

(同型を除いて)他の例は存在しない。とくに、有理数全体の群 [math](\mathbb{Q},+)[/math] は有限生成でない[1][math]x_1,\ldots,x_n[/math] を有理数として、すべての分母と互いに素自然数 [math]k[/math] をとると、[math]1/k[/math][math]x_1,\ldots,x_n[/math] によって生成できない。0 でない有理数全体の群 [math]\left(\mathbb{Q}^*,\cdot\right)[/math] もまた有限生成でない[1][2]

分類

単項イデアル整域上の有限生成加群の構造定理の特別な場合である有限生成アーベル群の基本定理 (fundamental theorem of finitely generated abelian groups) は(単項イデアル整域の場合と同様に)2通りに述べることができる。

準素分解

準素分解の定式化が述べているのは、すべての有限生成アーベル群 G準素巡回群English版と無限巡回群直和に同型である。準素巡回群は位数素数のベキであるような群である。つまり、すべての有限生成アーベル群は次の形の群に同型である:

[math]\mathbb{Z}^n \oplus \mathbb{Z}_{q_1} \oplus \cdots \oplus \mathbb{Z}_{q_t},[/math]

ただしランク n ≥ 0 で、数 q1, ..., qt は(異なる必要はない)素数のベキである。とくに、G が有限であることと n = 0 は同値である。nq1, ..., qt の値は(添え字の付け替えを除いてG によって一意的に決定される。

不変因子分解

任意の有限生成アーベル群 G を次の形の直和として書くこともできる:

[math]\mathbb{Z}^n \oplus \mathbb{Z}_{k_1} \oplus \cdots \oplus \mathbb{Z}_{k_u},[/math]

ただし k1k2割り切りk2k3 を割り切り、同様に ku まで続く。再び、ランク n不変因子 k1,...,kuG によって順序も込めて一意的に決まる。

同値性

これらのステートメントは中国剰余定理によって同値である。ここでそれが述べているのは、[math]\mathbb{Z}_{m}\simeq \mathbb{Z}_{j} \oplus \mathbb{Z}_{k}[/math] であることと、jk互いに素m = jk であることは同値である。

コメント

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

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

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

基本定理を別の言い方をすると、有限生成アーベル群はそれぞれが同型を除いて一意であるような有限ランク自由アーベル群と有限アーベル群の直和である。有限アーベル群はちょうど G捩れ部分群である。G のランクは G の torsion-free 部分のランクとして定義される。これはちょうど上の公式の数 n である。

基本定理のは、すべてのねじれのないEnglish版有限生成アーベル群は自由アーベル群であるというものである。有限生成の条件はここで本質的である: [math]\mathbb{Q}[/math] はねじれがないが自由アーベルでない。

有限生成アーベル群のすべての部分群商群は再び有限生成アーベル群である。群準同型とともに有限生成アーベル群は、アーベル群の圏セール部分圏であるアーベル圏をなす。

有限生成でないアーベル群

有限ランクのすべてのアーベル群が有限生成というわけではないことに注意せよ。ランク 1 の群 [math]\mathbb{Q}[/math] は1つの反例であり、[math]\mathbb{Z}_{2}[/math]可算無限個のコピーの直和によって与えられるランク 0 の群は別の例である。

関連項目

脚注

参考文献

  • (1992) Rational points on elliptic curves, Undergraduate texts in mathematics. Springer. ISBN 978-0-387-97825-3. 
  • (2000) Topics in geometric group theory, Chicago lectures in mathematics. University of Chicago Press. ISBN 978-0-226-31721-2.