- 9 名前：Kummer ◆g2BU0D6YN2 [2006/11/24(金) 12:53:10 ]
- M を x_1, ..., x_n を基底とする自由アーベル群とする。
簡単のために、この事実を M = [x_1, ..., x_n] と書くことにする。
y_1 = a_(1,1)x_1 + ..., + a_(1,n)x_n
.
.
y_m = a_(m,1)x_1 + ..., + a_(m,n)x_n
を M の元とし y_1, ..., y_m で生成される M の部分群を N とする。
N = <y_1, ..., y_m> と書くことにする。
M/N は有限群とは限らないが、N の自由群としての基底は
前スレ３の989の考えを利用して以下のように求めることが出来る。
