ねじれ群 | ねじれ部分群で剰余群をつくると、ねじれのない群になることの証明

" ねじれ群 – ねじれ部分群 “について、基本となる内容を解説しています。

ねじれ部分群でコセットを考えると、どうなるのか。二項演算が可換であるということから議論を広げます。

ねじれ元とは、元の位数が有限位数の元のことです。

有限位数の元全体が部分群になること、そしてコセットを考えるとどうなるのかを論理の飛躍なく説明します。

それでは、ねじれ元の定義から説明します。

ねじれ群 :ねじれ元の定義から

群 A をアーベル群(加法群)とします。A の元 x の位数が有限であるときに、x を A のねじれ元といいます。
 
位数が有限ということは、ある正の自然数 n が存在して nx = 0 となります。
 
0 ∈ A は、n = 1 の段階で既に 0 なので位数 1 と有限です。そのため、必ずアーベル群には、少なくとも一つはねじれ元が存在するということになります。
 
そこで、アーベル群 A のすべてのねじれ元を全部集めた部分集合 T を定義することができます。
※ この T はトーションの頭文字をとりました。

それでは、この T が A の部分群になっていることを確認します。
 

部分群の定義の確認

x, y ∈ T とすると、T の定義から x と y の位数が有限なので、ある正の整数 m と n が存在して、
mx = 0, ny = 0 となります。

よって、
(mn)(x – y)
= n(mx) – m(ny) = 0 – 0 = 0

これは、x – y の位数が有限であることを示しています。
 
したがって、x – y ∈ T となり、T が部分群であることの必要十分条件が確認できました。【証明完了】

この部分群 T を A のねじれ部分群といいます。
 
T が全体 A に一致しているときは、A をねじれ群といいます。

このときは、アーベル群 A のすべての元が有限位数ということです。

なお、0 ∈ T なので、どんなアーベル群についても、必ず T は空集合ではないということになります。

ここで、アーベル群の二項演算は可換なので、どんな部分群も正規部分群ということになります。

そのため、コセットを考え、剰余群を定義することができます。

ねじれ群 – ねじれ部分群 :コセットを考えると

T をアーベル群 A のねじれ部分群とします。

T は A の正規部分群なので、コセットを考えて剰余群を定義することができます。

※ 詳しくは第二同型定理という記事で説明をしています。

A/T という剰余群についての基本となる定理を証明します。

言葉の注意ですが、アーベル群 A の元について、有限位数の元が零元 0 のみのとき、A はねじれがない群といいます。


【定理1】

T をアーベル群 A のねじれ部分群とする。

このとき、
剰余群 A/T は、ねじれのないアーベル群である。


<証明>

もし a + T ∈ A/T (a ∈ A かつ a は T の元ではない)の位数が有限だったとします。

※ 背理法を用いて、A/T がねじれのない群ということを示します。

a が T の元ではないということから、T の定義より、a の位数は有限位数ではないということになります。

すなわち、ある正の整数 n が存在して、
n(a + T) = 0 + T

これは、(na) + T = 0 + T ということなので、
na = na + 0
∈ {na + x | x ∈ T} = (na) + T

また、n(a + T) = (na) + T であり、
(na) + T = 0 + T なので、
na ∈ (na) + T
= 0 + T = { 0 + x | x ∈ T}

よって、ある y ∈ T が存在して、
na = 0 + y = y ∈ T

na ∈ T より、T の定義から、
na は有限位数なので、ある正の整数 k が存在して、k(na) = 0

これは、(kn)a = k(na) = 0 ということなので、a が位数有限であることを示しています。

しかし、a の位数は有限位数ではなかったので、矛盾です。

よって、A/T の零元 0 + T を除く全ての元について、位数が有限ではないということが示せました。

つまり、A/T はねじれのない群です。【証明完了】

この【定理1】から、ねじれ部分群 T について A/T を考えると、ねじれ元を分断できることが分かりました。

さらに、ねじれのないアーベル群について確実に成立する定理を考えます。

ねじれがないとき

さきほど、A/T がねじれのない群ということを示しました。

さらに議論を進めるために、一つ定理を準備します。


【定理2】

ねじれがない有限生成アーベル群 A は、有限階数の自由アーベル群である。


<証明>

x1, … , xn という有限個の元で A が生成されていたとします。
 
これら n 個の元が一次独立だと、示したい結論が導けたことになります。そこで、これらが一次従属であるとして矛盾を導きます。

x1, … , xn から元を選び、一次独立となる個数が最大となるときを考えます。

そして、それらを {y1, … , yk} とします。

{y1, … , yk} という k 個(k < n) で生成される A の部分群を H とします。

つまり、H = <y1, … , yk>

この H は、{y1, … , yk} を基底とする自由アーベル群です。

今、x1, … , xn が一次従属という仮定の下で議論をしているので、H は A に一致していません。

x1, … , xn について、{y1, … , yk} に使われなかった残りを、zk+1, … , zn と置きます。

k < i ≦ n である自然数 i に対して、一次従属であることから、
m1y1 + … + mkyk + mizi = 0 を満たす正の整数 mi が存在します。

※ もし ni = 0 だとすると、y1 から yk が一次独立であることから、m1 から mk がすべて 0 となり、一次従属ということに反してしまいます。

今、mizi ∈ <y1, … , yk> (i は k + 1 以上 n 以下の自然数)となっています。

y1, … , yk の一次結合で表された mixi たちの整数部分 mk+1, … , mn を固定します。

そして、
m = mk+1×…×mn と置きます。

各 mi > 0 より、m > 0 となっています。

ここで、f : A → H を、a ∈ A に対して、
f(x) = ma と定義します。

a, b ∈ A に対して、
f(a + b) = m(a + b)
= (ma) + (mb) = f(a) + f(b) なので、f は準同型写像になっています。

A がねじれのない群ということから、f が単射ということが導かれます。

ねじれなしの仮定の効果

t ∈ ker f とします。

このとき、mt = f(t) = 0 となっています。

これは、t の位数が有限ということを表しています。

仮定より、A にはねじれがないことから、零元を除く全ての A の元の位数は有限ではありません。

そのため、t は A の零元 0 ということになります。

ゆえに、ker f = {0} となります。

群準同型定理から、
A/ker f は Im f と群として同型ですが、
ker f = {0} なので、
A と A/ker f が同型ともなっています。

よって、A と Im f は群として同型です。

ここで、Im f は有限階数の自由アーベル群 H の部分群です。

自由アーベル群という以前に書いたブログ記事に証明を書いているのですが、有限階数の自由アーベル群の部分群も有限階数の自由アーベル群となります。

そのため、Im f は有限階数の自由アーベル群です。

ゆえに、A は Im f と群として同型なので、A も有限階数の自由アーベル群ということになります。【証明完了】

ここまでで証明をした【定理1】と【定理2】を合わせると、次の定理が得られます。

ねじれ群 :コセットを利用して分解

【定理3】

A を有限生成アーベル群とし、T を A のねじれ部分群とする。

このとき、A は T と A/T の外部直和に同型である。


<証明>

記号ですが、A/T の元 x + T のことを x’ と表すことにします。

【定理1】より、A/T はねじれがない有限生成アーベル群です。そのため、【定理2】より、有限階数の自由アーベル群となっています。

{a1', … , an'} を A/T の基底とします。

そして、f : A → A/T を自然な全射準同型写像とします。

すなわち、a ∈ A に対して、
f(a) = a’ = a + T です。

ここで、f が全射であることから、A/T の基底を構成する各元 ai' について、
f(ai) = ai' となる ai ∈ A となっています。

※ ai' ≠ 0’ なので、ai の元の位数は有限ではありません。

今、A/T の代表元を a1, … , an に固定します。

すると、{a1', … , an'} が基底なので、
g : A/T → A を
g(z1a1'+…+znan')
= z1a1+…+znan(各 zi は整数)と定義することができます。

※ 基底の取り方に依存する写像 g です。

合成写像 fg は A/T から A/T への恒等写像となっています。

このことから、g は単射ということになります。

実際、x’, y’ ∈ A/T に対して、
g(x’) = g(y’) とし、これらを f で移すと、
(fg)(x’) = (fg)(y’)

fg が恒等的なので、x’ = y’ となり、g が単射ということになります。

そのため、Im g = g(A/T) は A/T と群として同型になっています。
※ Im g を B と置きます。

{a1, … , an} は B を生成していますが、全体 A を生成しているかは定かではありません。

しかし、A が有限生成という仮定から、有限個の元を補充すると、A の生成系とすることができます。

{a1, … , an, b1, … , bi} を A の生成元とします。

すると、A の任意の元 x はこれらの一次結合で表され、b1 + T, … , bi + T が 、
{a1', … , an'} という A/T の基底の一次結合で表されるので、次のようになります。

これは、A = T + B ということを示しています。

さらに、x ∈ T ∩ B とすると、x ∈ B だから、
ある a + T ∈ A/T が存在して、
x = g(a + T) … (1)

x ∈ T だから、f(x) = 0 + T なので、
0 + T = f(x)
= fg(a + T) = a + T

よって、
g(a + T) = g(0 + T) = 0

(1) より、x = g(a + T) = 0

したがって、T ∩ B = {0}

これは、A = T + B が内部直和ということを示しています。
 
よって、B が A/T と群として同型だったので、
A は T と A/T の外部直和と群として同型になります。【証明終了】

さらに、T が有限群だということが分かります。

T の位数が有限な理由

有限生成アーベル群 A のねじれ部分群 T は、位数が有限な有限群ということまで決定できます。

今、証明した定理から、A は T と A/T の外直和(外直積)と群として同型です。

A から T と A/T の外直積への群同型写像を Ψ とします。

そして、 T × A/T の元 (t, a + T) に対して、
t ∈ T を対応させるという射影を p とします。

Ψ と p で写像を合成すると、
A から T × A/T を経由して T への群準同型写像となります。

よって、p(Ψ(A)) = T となります。

A が有限生成なアーベル群だったので、
p(Ψ(A)) = T も有限生成です。

そして、T のどの元の位数も有限というねじれ部分群の定義から、位数 | T | が有限と結論づけられます。

有限個の生成元の元の位数が有限なので、生成されている集合 T は、有限個の元となっているということです。

このねじれ群 T は有限生成アーベル群のねじれ群です。そのため、A が有限生成ということと全射準同型像の関係から、T が有限群ということを導けました。

つまり、有限生成のアーベル群が有限階数の自由アーベル群とねじれ群の直和に分解することが分かりました。

ここからは、有限生成アーベル群のねじれ部分群がアーベルp群の直和に分解することを説明します。

アーベルp群 :まず準備の巡回群

有限位数のアーベル群を考えるときに、整数の最大公約数についての議論を使います。

その内容を加法群 Z(整数環の加法群)について、巡回群の内容で準備しておきます。

なお、アーベル群の単位元は 0 と表すことにし、二項演算は + で表すことにします。


【命題1】

巡回群 G = <x> の部分群 H も巡回群である。


<証明>

H が単位群 {0} のときは、H = <0> なので定理が成立します。
そのため、以下で、H ≠ {0} とします。

<x> = G ⊃ H なので、ある正の整数が存在して、
nx ∈ H となります。

そのような整数 n の中で最小の正整数を m と置くと、
mx ∈ H です。

H の各元は ax (a は整数) という形で表されます。

ax ∈ H という状況で、a と m で除法の定理の形で表すと、
a = mq + r(ここで 0 ≦ r < m)

この整数 q と r は、a を m で割ったときの商が q で、余りが r ということです。
ユークリッド整域というブログで、除法の定理を証明しています。

今、
ax = (mq + r)x
= mqx + rx = q(mx) + rx

さらに、ax と mx は部分群 H の元なので、
rx = ax – q(mx) ∈ H

m の最小性から、r = 0 でなければなりません。

よって、a = qm となり、a は m の倍数となります。

以上より、H のどの元も mx もしくは mx の逆元を有限個の和ということになり、H が mx の一元で生成されているということになります。

つまり、H = <mx>【証明完了】

ここから、環論でもよく使う最大公約数が 1 となっているときの等式について証明をします。

記号ですが、z1, … , zn ∈ Z の最大公約数を
gcd(z1, … , zn) と表すことにします。

よく使う等式

【命題2】

z1, … , zn ∈ Z について、
gcd(z1, … , zn) = d であるとき、
ある整数 m1, … , mn が存在して、
m1z1 + … + mnzn = d


<証明>

加法群 Z は 1 のみで生成されている巡回群です。

H = <z1, … , zn> という Z の部分群に対して、【命題1】を適用すると、
ある d’ ∈ Z が存在して、H = <d’>

よって、d’ ∈ H なので、
ある整数 m1, … , mn が存在して、
m1z1 + … + mnzn = d’

ここで、この d’ が z1, … , zn の最大公約数となっていることが次のようにして確かめられます。

1 ≦ i ≦ n について、zi ∈ H = <d’> より、
ある整数 ki が存在し、zi = kid’

よって、d’ は zi の約数ということになります。

そのため、d’ ≦ d = gcd(z1, … , zn)

また、m1z1 + … + mnzn = d’

の左辺は d で割り切れるので、d は 右辺の d’ の約数となっています。

そのため、d ≦ d’ でもあるので、d = d’【証明完了】

具体的な最大公約数を求める方法については、互除法というブログ記事に書いています。

それでは、準備が完了したので、有限位数のアーベル群の構造の考察をします。

以前の記事で、次の【定理4】を証明しています。

アーベルp群 :記号の導入から始めて

上で示した【定理3】によって、有限生成アーベル群は、ねじれ群 T と剰余群 A/T に直和に分けられています。

そして、A/T は有限階数の自由アーベル群です。

そのため、ねじれ群 T の構造が分かれば、有限生成アーベル群の構造が分かるということになります。

T が有限群ということも示しています。

そのため、有限位数のアーベル群がどうなっているのかを、ここからは考えます。

【記号の導入】

有限位数のアーベル群 A と素数 p について、元の位数が p のべきとなっている A の元をすべて集めた集合を T(p) と表すことにします。
※ ただし、どの素数 p についても T(p) に 0 を含めておくこととします。

この T(p) は、A の部分群となっています。そのことを次で証明します。

実際に確認

【命題3】

アーベル群 A の元で、元の位数が素数 p のべきとなっているものが少なくとも 1 つは存在したとする。

このとき、T(p) は A の部分群である。


<証明>

x, y ∈ T(p) とし、x と y の元の位数をそれぞれ a と b とします。

ここで、max{a, b} = c と置きます。

すると、
pc(x – y) = pcx – pcy = 0 – 0 = 0 となり、x – y の位数も素数 p のべきということになります。

よって、x – y ∈ T(p) となり、T(p) が A の部分群であることが証明できました。【証明完了】

この T(p) は、どの元の位数も素数 p のべきで、p ではない他の素数が使われていません。

シローの定理に関連する考察をすると、
T(p) の位数が p とは異なる素数 q を素因子としてもつと、元の位数が q となっている元が T(p) の中に含まれることになります。

しかし、T(p) のどの元も、元の位数が p べきなので、そのようにはなっていません。

そのため、T(p) は p 群ということになります。

では、有限位数のアーベル群の構造へと切り込みます。位数有限のアーベル群は、アーベルp群の直和に分解します。

アーベルp群 :アーベルp群の直和になる

【定理5】

A を有限位数のアーベル群とし、A の各元に現れる素因子のすべてが、p1, … , pn だとする。

このとき、
A = T(p1)+…+T(pn) であり、しかも、これは直和である。


<証明>

まずは、T(p1) + … + T(pn) が A と等しいことを示します。

A の各元の位数に現れる素因子全体を P と置きます。

P = {p1, … , pn} という有限集合になっています。

p ∈ P とすると、P の定め方から、p は A のある元 a の位数の素因子となっています。

a の元の位数を r とすると、r = pk (k は整数) と表せ、
ka ≠ 0, p(ka) = 0

つまり、0 ≠ ka ∈ T(p) となります。

T(p) ≠ {0} だと位数 p の A の元は存在するので、
p ∈ P と T(p) ≠ {0} が同値となります。

任意の a ∈ A について、a の元の位数を r とします。

そして、r の素因数分解を
r = pk1pk2 … pks とします。
(ただし、s ≦ n です。)

qi = r ÷ pki (i = 1, 2, … , s) と置きます。

gcd(q1, … , qs) = 1 となっているので、
【命題2】より、ある整数 m1, … , ms が存在して、1 = m1q1 + … + msqs となります。

よって、
a = 1a = (m1q1 + … + msqs)a
= m1q1a + … + msqsa

ここで、
pi(miqia) = {mi(piqi)}a = mira = 0 なので、
miqia ∈ T(pi) です。

これで、A の任意の元 a が、
T(p1) + … + T(ps) という部分群に含まれることが示せました。

s ≦ n なので、
A = T(p1) + … + T(pn)

次に、これが内直積(内直和)となっていることを示します。

その証明

ai ∈ T(pi) について、
a1 + … + an = 0 だとします。

a1 = … = an = 0 ということを示せば、A の元の表し方が一意的ということになり、直和であることが示せたことになります。

各 ak の元の位数を pktk という p べきだとし、
1 ≦ i ≦ n である任意の i について、
p1t1×…×pk-1tk-1×pk+1tk+1×…×pntn を qi と置きます。

piti と qi の最大公約数は 1 なので、【定理5】より、ある整数 x と y が存在して、
xpiti + yqi = 1 となります。

つまり、
ai = (xpiti + yqi)ai = xpitiai + yqiai

ここで、
ai = -a1– … -ai-1 – ai+1 – … – an です。

そして、各 ak の元の位数が pktk から、
pktkak = 0 なので、
ai = xpitiai + yqiai = 0 + yqiai
= yqi(-a1– … -ai-1 – ai+1 – … – an)

p1t1×…×pk-1tk-1×pk+1tk+1×…×pntn が qi だったので、
k ≠ i のとき、
qiak = 0 ということから、ai = 0

1 ≦ i ≦ n の任意の i について、ai = 0 が示せたので、
T(p1) + … + T(pn) が直和であることが示せました。【証明終了】

アーベルp群群の直積に分解するということが示されました。

【補足】

★については、
x1 + … + xn = y1 + … + yn
とすると、右辺を左辺に移項して、
(x1 – y1) + … + (xn – yn) = 0

ai として xi – yi と見ると、★より、
ai = 0 となるので、xi = yi となり、表し方の一意性が従います。

この内容まで押さえると、有限生成アーベル群の構造がかなり見えてきます。

それでは、これで今回の記事を終了します。

読んで頂き、ありがとうございました。

フォローする