Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Lektsii_3_semestra_po_algebre

.pdf
Скачиваний:
77
Добавлен:
16.03.2016
Размер:
2.36 Mб
Скачать

(здесь k − u ненулевых прямых слагаемых). Поскольку ci = ci для i < u и cu < cu, то, используя второе разложение, получаем

 

 

 

 

i

 

 

k=l

Zp

j

 

k=l

j′ − u

 

 

 

Zp

 

pcu A =

pcu

c

 

=

c

c

;

j=1

 

 

 

=u

 

 

где

+1 − cu ≤ : : : ≤ ck− cu; k = l

1 ≤ cu− cu ≤ cu

(здесь k − (u − 1) = (k − u) + 1 ненулевых прямых слагаемых).

Таким образом, для конечной абелевой p-группы pcu A получили два разложения в прямую сумму ненулевых p-примарных циклических групп, содержащих разное число слагаемых (k −u и (k −u) + 1 соответственно), что невозможно в силу уже доказанного утверждения 2а). Тем самым мы пришли к противоречию, что завершает доказательство.

14

ЛЕКЦИЯ 6

КОНЕЧНЫЕ АБЕЛЕВЫ ГРУППЫ

СВОБОДНЫЕ АБЕЛЕВЫ ГРУППЫ

СТРУКТУРНАЯ ТЕОРЕМА

1

КОНЕЧНЫЕ АБЕЛЕВЫ ГРУППЫ

Напомним ключевую лемму, которую мы доказали на прошлой лекции.

Лемма 1. Пусть A — конечная абелева p-группа, a A — элемент с максимальным порядком O(a) = pr в группе A. Тогда A = a H для некоторой подгруппы H (другими словами, циклическая подгруппа a , порожденная элементом a, является прямым слагаемым группы A).

Вкачестве непосредственного следствия леммы получаем теорему

остроении конечной абелевой p-группы.

Теорема 1. 1) Каждая конечная абелева p-группа A, |A| = pr, r ≥ 1, разлагается в прямую сумму p-примарных циклических групп (далее не разложимых в прямую сумму)

A = A1 . . . Ak, Ai = ai , O(ai) = pcii , 1 ≤ c1 ≤ . . . ≤ ck,

|A| = pr = pc1+c2+:::+ck ,

r = c1 + c2 + . . . + ck,

Zp

 

 

. . .

Zp

ck .

A =

c1

 

 

2

2) последовательность элементарных делителей

pc1 , . . . , pck , c1 ≤ c2 ≤ . . . ≤ ck

(совпадающая в этом случае с последовательностью инвариантных множителей 1 ≤ d1 = pc1 | d2 = pc2 | . . . | dk = pck ) определена однозначно, а именно: если

 

i

 

 

 

 

k

 

l

 

Zp

Zp j

 

A =

 

ci =

c

,

 

=1

 

j=1

 

1 ≤ c1 ≤ c2 ≤ . . . ≤ ck, 1 ≤ c1 ≤ c2 ≤ . . . ≤ cl,

то k = l, c1 = c1,. . . , ck = ck.

Доказательство.

1) В силу доказанной леммы: A = a H, a A, O(a) — максимальный порядок элементов группы A. Проведем индукцию по |A|. Пусть, в силу индуктивного предположения,

H = A1 . . . Ak−1, Ai = ai , O(ai) = pci , 1 ≤ c1 ≤ . . . ≤ ck−1,

при этом pck−1 ≤ O(a). Полагая ak = a, pck = O(a), Ak = a , получаем, что

A = A1 . . . Ak−1 Ak,

Ai = ai , O(ai) = pci , 1 ≤ c1 ≤ c2 ≤ . . . ≤ ck−1 ≤ ck,

и следовательно,

 

 

 

 

 

 

 

 

|A| = pr = pc1+c2+:::+ck ,

 

r = c1 + . . . + ck,

Zp

 

 

. . .

Zp

ck .

 

A =

c1

 

 

 

Как мы отмечали, прямые слагаемые

A

i Zp

ci

, являющиеся примарны-

 

 

 

 

=

 

 

ми циклическими группами, далее в нетривиальную прямую сумму уже не разлагаются.

2а) Пусть

i

 

 

 

 

 

 

 

k

 

l

 

Zp

Zp j

,

A =

 

ci =

c

 

=1

 

j=1

 

1 ≤ c1 ≤ c2 ≤ . . . ≤ ck, 1 ≤ c1 ≤ c2 ≤ . . . ≤ cl.

3

Для доказательства равенства k = l вычислим, используя эти два прямых разложения, подгруппу A[p] = {x A | px = 0} группы A, зная,

что

 

 

 

k

k

 

( i=1 Ai)[p] =

i=1 Ai[p]

и

A[p]

 

(

Zp

 

Zp

:

 

 

 

 

 

 

 

 

 

t

)[p] =

 

 

 

 

 

 

 

 

 

i

 

 

 

 

 

 

 

 

 

k

 

 

 

 

k

Zp

 

 

Zp

 

 

 

Zp

 

=

(

 

 

ci )[p] =

 

 

 

. . .

 

 

,

 

=1

 

 

 

 

 

|

 

 

 

{z

 

 

}

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

j

 

 

 

 

 

 

 

 

l

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

l

 

Zp

 

 

Zp

 

 

 

Zp

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

A[p] =

(

 

 

dj )[p] =

 

 

. . .

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

k

l

=1

 

 

 

 

 

|

 

 

{z

 

 

 

 

 

 

}

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Поэтому |A[p]| = p = p , и следовательно, k = l.

 

 

 

 

 

 

 

 

 

 

 

 

2б) Допустим противное, т. е. что последовательности (c1, . . . , ck) и

(c1, . . . , ck), k

= l, различны. Пусть u — такой индекс, что c1

= c1,. . . ,

c

u−1

= c

,

c

= c

, скажем

c

u

< c

 

 

 

 

pcu

Zp

ci = 0

для

c

i

c

u, то,

 

u−1

 

u ̸ u

 

 

 

u. Так как

 

 

 

 

 

 

 

 

используя первое разложение, получаем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k

 

 

 

Zp

 

 

k

 

Zp

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

pcu A =

 

 

pcu

 

ci =

 

 

 

 

 

ci

 

cu ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=1

 

 

 

 

i=u+1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

где

cu+1 − cu ≤ cu+2 − cu ≤ . . . ≤ ck − cu

(здесь k − u ненулевых прямых слагаемых). Поскольку ci = ci для i < u и cu < cu, то, используя второе разложение, получаем

 

 

 

 

i

 

 

k=l

Zp

j

 

k=l

j′ − u

 

 

 

Zp

 

pcu A =

pcu

c

 

=

c

c

,

j=1

 

 

 

=u

 

 

где

+1 − cu ≤ . . . ≤ ck− cu, k = l

1 ≤ cu− cu ≤ cu

(здесь k − (u − 1) = (k − u) + 1 ненулевых прямых слагаемых).

Таким образом, для конечной абелевой p-группы pcu A получили два разложения в прямую сумму ненулевых p-примарных циклических групп,

4

содержащих разное число слагаемых (k −u и (k −u) + 1 соответственно), что невозможно в силу уже доказанного утверждения 2а). Тем самым мы пришли к противоречию, что завершает доказательство.

Теперь мы готовы собрать вместе все полученные факты, сформулировать и доказать основную теорему о конечных абелевых группах.

Теорема 2 (о строении и классификации конечных абелевых групп).

1) Конечная абелева группа A порядка n = |A| = pr11 pr22 . . . prtt , где {p1, p2, . . . , pt} — все различные простые делители числа n, ri 1, 1 ≤ i ≤ t, разлагается в прямую сумму примарных циклических групп

t

 

ki

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

A = i=1

( j=1 Aij ), Aij = aij , O(aij) = picij ,

где

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1. ..

c11

≤ c12 ≤ . . . ≤ c1k1 ,

 

 

 

 

 

 

 

 

 

 

1

ct1

ct2

. . .

ctkt ,

 

 

 

 

 

 

 

 

 

 

 

 

 

t

ki

 

 

 

 

 

 

 

 

 

 

 

 

 

 

c

 

:::+c

 

c

+:::+c

 

 

 

c

+:::+c

 

i

 

+

 

 

 

 

 

 

 

 

tkt =

 

picij ,

n = |A| = p111

1k1 p221

 

 

2k2 . . . ptt1

 

 

=1 j=1

r1 = c11 + . . . + c1k1 , . . . , rt = ct1 + . . . + ctkt .

Таким образом,

 

(

Zpj

)

 

t

kj

 

A =

 

cij .

 

i=1

j=1

 

2) Таблица элементарных делителей

pc111 , pc112 , . . . , pc11k1 , 1 ≤ c11 ≤ c12 ≤ . . . ≤ c1k1 , pc221 , pc222 , . . . , pc22k2 , 1 ≤ c21 ≤ c22 ≤ . . . ≤ c2k2 ,

. . .

pctt1 , pctt2 , . . . , pcttkt , 1 ≤ ct1 ≤ ct2 ≤ . . . ≤ ctkt ,

5

прямого разложения в п. 1) определена однозначно и однозначно определяет конечную абелеву группу A (с точностью до изоморфизма).

Доказательство.

1) В силу теоремы о разложении конечной абелевой группы A, |A| =

pr11 . . . prtt , имеем

t

A = Api , |Api | = prii .

i=1

Применяя к каждой конечной абелевой pi-группе Api теорему 1 о строении конечных абелевых p-групп, получаем

 

 

 

 

ki

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

j

 

, Aij = aij , O(aij ) = picij ,

 

 

 

Api =

=1

Aij

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

где

 

 

 

 

 

 

 

 

 

 

 

 

ci1+:::+ciki

ri

 

1 ≤ ci1 ≤ ci2 ≤ . . . ≤ ciki ,

 

 

 

.

|Api | = pi

= pi

Таким образом,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t

ki

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

A = i=1 ( j=1 Aij), Aij = aij , O(aij ) = picij ,

 

 

 

 

 

 

1. ..

c11 ≤ c12

≤ . . . ≤ c1k1 ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

ct1

ct2

. . .

ctkt ,

 

 

n =

|

A

= p1r1

. . . prt = p1c11+:::+c1k1 p2c21+:::+c2k2 . . . ptct1+:::+ctkt ,

 

|

 

t

 

 

 

 

 

 

 

 

 

 

поэтому

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

r1 = c11 + . . . + c1k1 , . . . , rt = ct1 + . . . + ctkt .

 

Отсюда следует, что

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t

 

ki

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

A =

 

 

 

cij .

 

 

 

 

 

 

 

 

 

i=1

( j=1 Zpi

)

 

 

6

2) Пусть

pd111 , pd112 , . . . , pd11l1 , 1 ≤ d11 ≤ d12 ≤ . . . ≤ d1l1 , pd221 , pd222 , . . . , pd22l2 , 1 ≤ d21 ≤ d22 ≤ . . . ≤ d2l2 ,

. . .

pdt t1 , pdt t2 , . . . , pdt tlt , 1 ≤ dt1 ≤ dt2 ≤ . . . ≤ dtlt ,

таблица элементарных делителей другого разложения конечной абелевой группы A в прямую сумму примарных циклических групп,

t

li

 

), Aij

 

 

 

 

 

 

 

 

 

 

 

 

A = i=1 ( j=1 Aij

= aij, O(aij) = pidij ,

 

r1

rt

 

d11+:::+d1l1

d21+:::+d2l2

dt1

+:::+dtlt

,

n = |A| = p1

. . . pt

= p1

 

p2

. . . pt

 

r1 = d11 + . . . + d1l1 , . . . , rt = dt1 + . . . + dtlt .

Для каждого простого числа pi {p1, . . . , pt} вычислим однозначно определенную pi-примарную компоненту Api конечной абелевой группы Ai по первому и второму разложениям (см. теорему о единственности разложения в сумму примарных абелевых групп по разным простым числам):

ki

li

 

j

Api = Aij = Aij,

j=1

=1

|Aij | = pciij , |Aij| = pdi ij , 1 ≤ ci1 ≤ . . . ≤ ciki , 1 ≤ di1 ≤ . . . ≤ dili ,

|Api | = prii = pcii1+:::+ciki = pdi i1+:::+dili .

К pi-примарной конечной абелевой группе Api применим теорему о единственности последовательности элементарных делителей):

ki = li, ci1 = di1, . . . , ciki = diki = dili .

Таким образом, таблица элементарных делителей, определяющая разложение конечной абелевой группы в прямую сумму примарных циклических групп, определена однозначно. Ясно, что две прямые суммы примарных циклических групп с одной и той же таблицей элементарных делителей изоморфны.

7

СВОБОДНЫЕ АБЕЛЕВЫ ГРУППЫ

Совокупность элементов {e1, . . . , em} абелевой группы F называется

базисом, если:

1) любой элемент a F является целочисленной линейной комбинацией

a = k1e1 + . . . + kmem, ki Z;

2) совокупность элементов {e1, . . . , em} линейно независима над Z: если

l1e1 + . . . + lmem, li Z,

то

l1 = l2 = . . . = lm = 0.

Замечание 1. а) Из условий 1) и 2) следует: если

a = k1e1 + . . . + knen = k1e1 + . . . + knen, ki, kiZ,

то

k1 = k1, . . . , kn = kn.

Действительно,

0 = (k1 − k1)e1 + . . . + (kn − kn)en,

в силу 2)

k1 − k1= 0, . . . , kn − kn= 0.

б) Из 1) и 2) следует 2). Действительно,

l1e1 + . . . + lnen = 0 = 0 · e1 + . . . + 0 · en,

в силу 2)

l1 = 0, . . . , ln = 0.

8

в) Таким образом, системы условий {1), 2)} и {1), 2)} равносильны, при этом отображение

a = k1e1

+ . . . + knen F 7→(k1

, . . . , kn) Z . . . Z

 

 

|

 

{z

 

}

 

 

 

 

n

является изоморфизмом,

F Z . . . Z .

= | {z }

n

Если абелева группа F обладает базисом {e1, . . . , en}, то она называется свободной абелевой группой.

Лемма 2. Если {e1, . . . , em} и {f1, . . . , fn} — два базиса свободной абелевой группы F , то m = n (это число n называется рангом свободной абелевой группы F , обозначение: m = n = rk (F ), F = Fn).

Доказательство. Если f : G → G— изоморфизм абелевых групп, то f(2G) = 2f(G) = 2G, и поэтому отображение

f : G/2G → G/2G, x + 2G 7→f(x) + 2G,

является изоморфизмом групп.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Так как

Z

 

 

 

 

 

 

Z

Z

 

 

 

 

 

 

Z

 

 

 

 

 

 

. . .

. . .

 

,

 

 

 

 

 

F =

 

 

 

 

 

 

 

 

=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

то

 

 

|

 

 

 

{z

 

 

 

}

 

 

|

 

 

 

 

{z

 

 

 

 

 

 

}

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

m

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

2F

 

2

Z

. . .

Z

 

2

Z

. . .

Z

,

 

=

 

 

 

 

 

2

 

=

 

 

 

 

 

 

 

2

 

 

 

и поэтому

 

|

 

 

 

 

{z

 

 

 

 

 

}

 

 

|

 

 

 

 

 

{z

 

 

 

 

 

}

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

m

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

Z2

. . .

Z2

Z2

 

 

 

. . .

Z2

.

F/2F =

 

 

 

 

 

 

 

 

 

 

=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

|

 

 

 

 

 

 

{z

 

 

 

 

}

 

 

 

|

 

 

 

 

 

 

 

{z

 

 

 

 

 

}

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

m

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

Таким образом, 2m = 2n, следовательно, m = n.

9

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]