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

Лекции по алгебре. В 2 частях. Ч.1. Учебное пособие

.pdf
Скачиваний:
0
Добавлен:
12.08.2026
Размер:
839 Кб
Скачать

Нетрудно заметить, что представление в виде произведения транспозиций неоднозначно: если σ Sn, то σ = (12) · (12) · σ.

Пусть σ Sn, σ ̸= id и σ = σ1 · . . . · σk — разложение в произведение попарно независимых циклов. Число

k

 

длина i-цикла

− k

N (σ) = |D (σ)| − k = i=1

в разложении

X

 

 

называется декрементом подстановки σ Sn. Декремент тождественной подстановки по определению полагают равным нулю, т. е.

N(id) = 0.

Лемма 2. Пусть σ = τ1 · . . . · τk — разложение на транспозиции. Тогда k ≡ N(σ) ( mod 2), т. е. чётность числа транспозиций в разложении любой подстановки совпадает с чётностью её декремента.

Доказательство. Найдём, как меняется декремент подстановки σ при умножении её на транспозицию. Если σ = id, то (ij)σ = (ij)id = (ij) и N((ij)σ) = 2 − 1 = N(σ) + 1. Пусть σ ̸= id. Разложим σ в произведение независимых циклов σ = σ1 · . . . · σ. Подсчитаем N((ij)σ). Рассмотрим все возможные случаи:

1) i, j / D (σ). Тогда (ij)σ1 · . . . · σ— произведение независимых циклов и

N ((ij) σ) = |D (σ) | + 2 − (ℓ + 1) = |D (σ) | − ℓ + 1 = N (σ) + 1;

2) i D (σ) и j /

D (σ). Пусть i входит в цикл (ii1 . . .

ik),

тогда (ij)(ii1 . .

. ik) = (iji1 . . .

ik). Так как независимые циклы

пе-

рестановочны,

считаем,

что

i D (σ1). Поэтому N ((ij) σ)

=

N((iji1 . . . ik) · σ2 · . . . · σ) = |D (σ) |+ 1 −ℓ = |D (σ) |−ℓ + 1 = N (σ) + 1;

3)аналогично рассматривается случай i / D (σ) и j D (σ);

4) i, j

D (σ) и входят в один цикл. С точностью до переста-

новки независимых циклов

считаем, что i, j D (σ1). Тогда, если

σ1 = (ii1 .

. . ikjj1 . . . js) и {i1 .

. . ik} ̸= , то

(ij)(ii1 . . . ikjj1 . . . js) = (ij1j2 . . . js) · (ji1 . . . ik). Поэтому N ((ij) σ) = N ((ij1 . . . js) · (ji1 . . . ik) · σ2 · . . . · σ) =

= |D (σ) | − (ℓ + 1) = |D (σ) | − ℓ − 1 = N (σ) − 1.

Случай, когда {i1 . . . ik} = , разбирается аналогично;

5) i, j D (σ) и входят в два различных цикла. С точностью до перестановки можно считать, что i D (σ1) и j D (σ2). Тогда

(ij)(ii1 . . . ik)(jj1 . . . js) = (ij1 . . . jsji1 . . . ik).

71

Поэтому N ((ij) σ) = N ((ij1 . . . jsji1 . . . ik) · σ3 · . . . · σ) =

= |D (σ) | − (ℓ − 1) = |D (σ) | − ℓ + 1 = N (σ) + 1.

Таким образом, для любой подстановки σ Sn и для любой транспозиции τ имеем N (τ · σ) = N (σ) ± 1 и N (τ · σ) ≡ 1 + N (σ) (mod 2).

Пусть σ = τ1 · . . . · τk — разложение σ на транспозиции, тогда

N (σ) = N (τ1 · . . . · τk) ≡ 1 + N (τ2 · . . . · τk) (mod 2) ≡

2 + N (τ3 · . . . · τk) (mod 2) ≡ . . . ≡ (k − 1) + N (τk) (mod 2) ≡ k (mod 2).

Для подстановки π Sn число Sg(π) = (−1)N(π) называется знаком подстановки π.

Теорема 1. Пусть π Sn и π = π1 · . . . · πk — разложение в произведение транспозиций, тогда:

1) чётность числа k не зависит от способа разложения π в произведение транспозиций;

2)Sg(π) = (−1)k;

3)Sg(σ · π) = Sg(σ) · Sg(π) для любых σ, π Sn.

Доказательство. 1. В силу леммы 2 чётность числа k совпадает

счётностью декремента.

2.По лемме 2 k ≡ N (π) (mod 2) Sg(π) = (−1)N(π) = (−1)k.

3.Пусть σ = τ1 · . . . · τ— разложение в произведение транспозиций,

тогда Sg (σ · π) = (−1)ℓ+k = (−1)· (−1)k = Sg(σ) · Sg(π).

Подстановка σ Sn называется чётной, если Sg(σ) = +1, и нечётной, если Sg(σ) = −1.

Теорема 2. An = {σ Sn : Sg(σ) = +1} является подгруппой в Sn

и |An| = n2! .

Доказательство. Подстановка id An, так как Sg(id) = +1. Пусть

σ, τ An, тогда Sg (σ · τ) = Sg(σ) · Sg(τ) = +1 и σ · τ An. Пусть

σ An и σ = τ1 · . . . · τ2k — разложение в произведение транспозиций. Нетрудно заметить, что σ−1 = τ2k ·. . . ·τ1 и σ−1 An. По предложению 1 из § 3 An — подгруппа Sn.

Пусть Bn — множество всех нечётных подстановок из Sn. Тогда (12)An := {(12)σ : σ An} — множество, состоящее из различных нечётных подставок, (12)Bn := {(12)σ : σ Bn} — множество, состо-

ящее из различных чётных

подстановок. Поэтому

|An| ≤ |

B

n| ≤ |An|

.

 

1

|Sn| .

 

 

Следовательно, |An| = |Bn|

=

2

 

 

Группа An называется знакопеременной группой.

72

§6. Теорема о полном развёртывании определителя

Теорема 1. Для любой A Mn(F ) справедливо равенство

X

|A| = Sg(σ)a1σ(1) · a2σ(2) · . . . · anσ(n).

σ Sn

Доказательство. В силу теоремы 1 из § 1.25 определитель |A| есть полилинейная кососимметрическая нормированная функция D строк

матрицы A, т. е. |A| = D(A1, . . . , An), где Ai — i-строка матрицы A. Разложим A1, . . . , An по стандартному базису {e1, . . . , en} простран-

ства Fn:

n

 

 

Xj

 

 

 

Ai = aijej, i = 1, . . . , n.

Тогда |A| = D

i1

=1

= i1=1 a1i1 D (ei1 , A2, . . . , An) =

=1 a1i1 ei1 , A2, . . . , An

 

n

n

 

P

P

nn

XX

=

. . .

a1i1 a2i2 . . . anin D (ei1 , ei2 , . . . , ein ) =

i1=1

in=1

 

 

n

 

 

X

 

=a1i1 a2i2 . . . anin D (ei1 , ei2 , . . . , ein ) .

i1,...,in=1

В силу кососимметричности функции D имеем D(. . . , ei, . . . , ei, . . .) = 0, поэтому

X

|A| = a1σ(1)a2σ(2) . . . anσ(n)D eσ(1), . . . , eσ(n) .

σ Sn

Найдём число D eσ(1), . . . , eσ(n) . Заметим, что в силу кососимметричности D для любой транспозиции τ Sn и для любых различных i1, . . . , in имеем

D eτ(i1), . . . , eτ(in) = D (ei1 , . . . , ein ) .

Разложим σ в произведение транспозиций: σ = τ1 · . . . · τk. Тогда

 

D

eτ

 

... τ

 

 

 

(1), . . .

, eτ ... τ

 

 

k

 

(n)

= D eτ ... τ

(1)

, . .. , eτ

 

 

... τ

 

(n)

=

 

D

eσ(1)

, . . . , eσ(n)

= D eτ

 

k

1(...τ1(1)...)), . . . , eτk

(τk

1(...τ1

(n)...))

=

 

1

·

·

 

k

1

= . . . =·

(·

 

1)k D (e1, . . . , en· ) ·= Sg(σ).

 

1

·

·

k−2

 

 

 

 

 

 

 

 

1

 

k−1

 

1

k−2

 

 

 

 

 

 

Следовательно, |A| =

 

Sg(σ)a1σ(1)a2σ(2) . . . anσ(n).

 

 

 

 

 

 

P

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

σ Sn

73

§7. Изоморфизм групп, теорема Кэли

Рассмотрим две группы G и Gс операциями и ◦. Отображение f : G → Gназывается гомоморфизмом, если

f (a b) = f (a) ◦ f (b)

для любых a, b G. Гомоморфизм f называется эпиморфизмом, если отображение f сюръективно (отображение на), гомоморфизм f называется изоморфизмом, если отображение f биективно. В этом случае группы G и Gназываются изоморфными, и это обозначается G G.

Простейшие свойства гомоморфизмов. Пусть f — это гомо-

морфизм из G в G. Тогда справедливы следующие свойства.

 

 

 

1. f(e) = e, где e— единица в G.

 

 

 

 

 

 

 

 

 

Действительно, a e = e a = a. Следовательно, f (a) ◦ f (e) =

f (e) ◦ f (a) = f (a), и потому f (e) = e.

 

 

 

 

 

 

 

 

2. (f (g))−1 = f

 

g−1

для любого g G.

 

 

 

 

 

 

 

Действительно, f (g) ◦ f

 

g−1

 

= f g g−1

 

 

= f (e) = f g−1

g

=

 

g−1

f (g) = e

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f

 

 

Следовательно, (f (g))−1 = f g−1

.

 

 

 

3.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пусть f — изоморфизм, тогда f−1 — изоморфизм Gи G.

 

 

 

Действительно, f−1 существует, так как f биективно. Далее, пусть

f−1 (a)

= a, f−1 (b) =

b

для любых a, bG. Тогда a=

f (a) ,

b= f (b). Следовательно, a

◦ b

= f (a) ◦ f (b) = f (a b), а потому

f−1 (a◦ b) = a b = f−1 (a) f−1 (b) .

 

 

 

 

 

 

 

 

Множество Ker f = {g G : f (g) = e} называется ядром гомомор-

физма f : G → G.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Лемма 1. Ker f ≤ G, Im f ≤ G.

 

 

 

 

 

 

 

 

 

Доказательство. По свойству 1) e Ker f, следовательно, Ker f ̸=

. Далее, для любых a, b Ker f имеем f

a b−1 = f (a) ◦ f

b−1

=

e

(f (b))−1 = e

, откуда

a

 

b−1

 

Ker f

. По

предложению 1 из § 3

 

 

 

 

 

 

 

 

 

 

 

 

Ker f ≤ G.

 

 

e

 

Im f

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

Im f =

 

 

 

По свойству 1)

 

 

 

 

 

̸ . Для любых

a, bIm f существуют a, b G такие, что f (a) = a, f (b) = b. Тогда

f a b−1 = f (a)◦f b−1 = a◦(b)−1 a◦(b)−1 Im f Im f ≤ G.

Докажем, что изоморфизм определяет отношение эквивалентности на множестве всех групп.

74

Для любой группы G имеем G G: тождественное отображение id : G → G очевидно является изоморфизмом.

Для любых групп G, Gимеем G GGG: если f : G → G— изоморфизм, то f−1 : G— изоморфизм по свойству 3).

Докажем, что для любых групп G1, G2, G3 изоморфизмы G1 G2, G2 G3 влекут G1 G3. Действительно, если f : G1 → G2, f2 : G2 → G3 — изоморфизмы, то f1 ◦ f2 : G1 → G3 — биективное отображение, и для любых a, b G1 имеем:

(f1 ◦ f2) (a 1 b) = f2 (f1 (a 1 b)) = f2 (f1 (a) 2 f1 (b)) =

= f2 (f1 (a)) 3 f2 (f1 (b)) = (f1 ◦ f2) (a) 3 (f1 ◦ f2) (b) ,

где i — операция в группе Gi. Таким образом, f1 ◦ f2 : G1 → G3

гомоморфизм, и G1 G3.

В силу теоремы 1 из § 1.5 множество всех групп распадается на классы изоморфных групп. С точки зрения алгебры естественно изучать неизоморфные объекты.

Лемма 2. Все циклические группы одного порядка изоморфны.

Доказательство. Пусть G — циклическая группа.

1. Пусть G — бесконечная группа. Тогда G = a = {an : n Z}. Рассмотрим бесконечную циклическую группу Z = Z; + и отображение φ : G → Z, определённое правилом: φ(an) = n для любого n Z. Очевидно, что φ биективно, и для любых n, m Z имеем:

 

 

φ (an · am) = φ an+m = n + m = φ (an) + φ (am) .

 

 

 

Следовательно,

φ

изоморфизм и G

Z

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2. Пусть G =

 

e, a, . . . , an−1

и G= e

, b, . . . , bn−1

 

— циклические

группы порядка n, т. е. G = a , |a|

 

 

 

;

G

=

 

, |

|

= n

. Пусть

 

 

такое, что

 

 

m

k

 

= n

 

 

b

 

 

b

 

 

. rТогда

 

G

 

 

для всех

 

 

m

 

 

k

 

 

 

 

φ : G

 

 

 

 

 

φ(ak) = bk

 

 

 

 

 

 

 

0

 

k

 

 

 

n

 

1

 

φ биективно и для любых a

 

, a

G имеем φ a

 

a

 

 

= φ (a ), где

r — остаток от деления m + k на n, т. е. (m + k) =·

qn · q + r. Тогда

φ am · ak

= φ am+k = φ (ar) = br = e· br = (bn)

 

· br = bnq+r =

bm+k = b

· bk = φ (am) · φ

ak . Следовательно, G G.

 

 

 

 

 

 

m

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Следующая теорема показывает, что все конечные группы с точностью до изоморфизма являются подгруппами в Sn.

Теорема 1 (Кэли). Любая конечная группа порядка n изоморфна некоторой подгруппе группы Sn.

Доказательство. Пусть G — группа порядка n и Sn — группа биективных отображений из G на G относительно суперпозиции, т. е.

75

Sn = S(G); ◦ . Для любого g G определим отображение Tg : G → G

по правилу: Tg(a) = a · g для любого a G.

 

 

 

 

 

Докажем, что Tg S(G), т. е. Tg является биективным.

 

 

Для любого b

 

G имеем T

g

b

·

g−1

 

= b

·

g−1

·

g = b, т. е. T

g

сюръек-

тивно.

 

 

 

 

 

 

 

Для любых a, b G равенство Tg (a) = Tg (b) влечёт a · g = b · g, откуда a = b. Следовательно, Tg инъективно и Tg S(G).

Так как a·e = a для любого a G, то Te = id. Поэтому Tg ◦Tg−1 (a) =

Tg−1 (Tg (a)) = (a · g) · g−1 = a · e = a = Te (a) для любого g G. Следовательно, Tg−1 = Tg−1 для любого g G.

Рассмотрим множество H всех отображений Tg, g G. Докажем, что H = {Tg : g G} ≤ Sn. Действительно, id = Te H, т. е. H ̸= . Далее, для любых Ta, Tb H и c G имеем:

Ta ◦ Tb−1 (c) = Tb−1 (Ta (c)) = (c · a) · b−1 = c · a · b−1 = Ta·b−1 (c) .

Следовательно, Ta ◦ Tb−1 = Ta·b−1 H и H ≤ Sn по предложению 1 § 3. Рассмотрим отображение φ : G → H, определённое по правилу φ (g) = Tg. Докажем, что φ — это изоморфизм. По определению φ

сюръективно. Пусть φ (a) = φ (b), т. е. Ta = Tb. Тогда для любого x G справедливо

Ta (x) = x · a = Tb (x) = x · b a = b Ta = Tb.

Таким образом, φ инъективно. Далее, φ (g1 · g2) = Tg1·g2 для любых

g1, g2 G. Для любого x G имеем Tg1·g2 (x) = x·(g1 · g2) = (x · g1)·g2 = (Tg1 ◦ Tg2 ) (x), откуда Tg1·g2 = Tg1 ◦ Tg2 . Поэтому φ (g1 · g2) = Tg1·g2 = Tg1 ◦ Tg2 = φ (g1) ◦ φ (g2). Следовательно, φ — изоморфизм и G H. □

§8. Смежные классы по подгруппе. Теорема Лагранжа

Пусть H — подгруппа группы G и g G. Множество gH = {gh : h H} называется левым смежным классом группы G по подгруппе H, элемент g называют представителем этого класса.

Лемма 1. H, K ≤ G. Тогда gH = g1K H = K, g−1 · g1 H. Доказательство. “ ” Существует k K такой, что g ·e = g = g1 ·k.

Следовательно, g1−1 · g = k K и аналогично g−1 · g1 H. Тогда для любого h H существует k K такой, что g · h = g1 · k. Значит,

h = g−1 · g1 · k = g1−1 · g −1 · k K. Поэтому H K. Аналогично доказываем, что K H. Следовательно, K = H.

76

“ ” Имеем gH = g1 ·

−1

· g

· H = g1

· g

·

−1

 

−1

·

H

 

g1H, и

g1

g1

 

аналогично g1H gH. Значит, g1H = gH.

 

 

 

 

Следствие 1. Два левых смежных класса G по H либо совпадают, либо не пересекаются.

Доказательство. Если gH ∩ g1H ̸= , то существует a gH ∩ g1H,

а потому

существуют h, h

1

H такие, что g

·

h = g

1 ·

h

. Следовательно,

 

1

 

 

 

1

g−1 · g1 = h · h1

 

H и gH = g1H.

 

 

 

 

Теорема 1 (Лагранж). Порядок конечной группы G делится на порядок любой её подгруппы H.

Доказательство. Очевидно, что g gH для любого g G. Поэтому G = S gH. В силу следствия 1 можно выбрать все различные смеж-

g G

k

ные классы g1H, . . . , gkH, где giH ∩ gjH = при i ̸= j и G = S giH.

i=1

Докажем, что |giH| = |H|. Действительно, если gi · h1 = gi · h2, то

h1 = h2. Следовательно, |G| =

k

=1 |gi · H| = k · |H|.

iP

 

Множество всех различных левых смежных классов обозначается через (G/H)l. Их число называется (левым) индексом H в G и обозна-

чается через (G : H)l.

Таким образом, теорему Лагранжа можно записать следующим образом:

|G| = |H| · (G : H)l .

Аналогично определяются правые смежные классы и (G : H)r — их правый индекс в G и доказывается, что

|G| = |H| · (G : H)r .

Таким образом, (G : H)l = (G : H)r и можно говорить об индексе подгруппы H в G.

Следствие 2. Порядок любого элемента конечной группы делит порядок группы. Группа простого порядка p всегда циклическая.

Доказательство. По теореме 1 § 3 имеем |g| = | g | для любого g G. По теореме Лагранжа |g| делит |G|. Пусть |G| = p и a G, a ̸= e. Тогда |a| делит p, т. е. |a| = | a | = p и a = G. □

Обратное утверждение теоремы Лагранжа в общем случае неверно. В группе A4 нет подгрупп порядка 6. Но для циклических групп это утверждение верно.

77

Теорема 2. Всякая подгруппа циклической группы является циклической. В циклической группе порядка n для любого делителя d числа n существует единственная подгруппа порядка d.

Доказательство. Пусть H ≤ Z = Z; + и k = min {m H}. Тогда

m>0

ℓ = k · q + r для любого ℓ H, при этом 0 ≤ r < k. Следовательно, r = ℓ − q · k H, r = 0, и H = {s · k : s Z} = k — бесконечная циклическая группа. Более того, по лемме 2 § 7 H Z.

Рассмотрим случай конечной циклической группы:

G = e, a, . . . , an−1 = a .

Пусть H ≤ G и k — это минимальное натуральное число такое, что ak H. Пусть am H и m = k · q + r, где 0 ≤ r < k. Как и в случае бесконечной циклической группы, имеем

 

 

 

 

 

ar = am−kq = am

·

ak

−q

 

H,

 

 

 

откуда r = 0, т. е. H = ak

 

— конечная циклическая

группа.

 

 

Далее пусть

n = d

·

m и H = am

. Найдём порядок элемента am.

 

 

 

 

 

 

 

 

 

 

 

 

Если

|

am

|

= s, то am·s = e и n делит m

·

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

d и

m

 

 

 

 

 

 

 

 

 

 

 

 

 

 

|a | = d = |H|.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Рассмотрим произвольную подгруппу K ≤ G порядка d. По доказанному K = as , где |as| = d. Имеем as·d = e, т. е. n делит s ·d. Таким

образом, d

·

m

·

l = s

·

d, откуда m

·

l = s и m делит s. Следовательно,

a

s

a

m

 

 

 

 

 

 

 

= H и K H. Так как |K| = |H| = d, то K = H.

§9. Нормальные подгруппы и факторгруппы

Подгруппа H группы G называется нормальной, если gH = Hg для любого g G. Обозначение: H G.

Лемма 1. H G g−1Hg H для любого g G.

Доказательство. Пусть H G. Тогда для любых h H, g G существует h1 H такой, что gh1 = hg, откуда g−1hg = h1 H и g−1Hg H для любого g G.

Наоборот, для любых h H, g G существует h1 H такой, что

g−1hg = h1. Тогда h · g = g · h1

g · H. Следовательно, Hg gH

и ghg−1 = h2 для некоторого h2

H, откуда g · h = h2 · g Hg и

gH Hg. Значит, gH = Hg для любого g G.

78

Пусть H ≤ G. Тогда если g−1Hg H для всех g G, то g−1Hg = H для всех g G. Действительно, если g−1Hg H для всех g G, то

g−1Hg H g−1 gHg−1 g g−1Hg g−1Hg = H.

Определение фактор-группы. Пусть H G. Рассмотрим множество смежных классов:

G/H = {gH : g G} .

Определим операцию на G/H по следующему правилу:

g1H · g2H = (g1 · g2) H.

Проверим корректность определения операции. Выберем другие представители в смежных классах g1H и g2H. Пусть aH = g1H, bH = g2H. Необходимо доказать, что (a · b) H = (g1 · g2) H.

По лемме 1 § 8 имеем:

g1H = aH a−1 · g1 = h1 H,

g2H = bH b−1 · g2 = h2 H.

Так как H G, то b−1 · h1 = h3 · b−1 для некоторого h3 H. Поэтому

(a · b)−1 ·(g1 · g2) = b−1 ·a−1 ·g1 ·g2 = b−1 ·h1 ·g2 = h3 ·b−1 ·g2 = h3 ·h2 H.

Следовательно, по лемме 1 § 8 (a · b) H = (g1 · g2) H.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Теорема 1. G/H; · является группой.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Доказательство. Для a G обозначим смежный класс aH через

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

¯

 

G/H

имеем

a¯. Тогда по определению умножения для любых a,¯ b

 

 

 

¯

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a¯ · b = a · b. Проверим аксиомы группы:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

¯

 

G/H имеем:

 

 

¯

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

c¯ = a

 

b

 

 

c¯ = (a

 

 

b)

 

c =

 

1) для любых a,¯ b, c¯

 

 

 

b

 

 

 

 

 

 

 

 

 

 

= a¯ ¯b c¯ ;

 

 

 

 

 

·

 

·

 

 

 

 

 

·

 

 

·

 

 

 

 

·

 

·

 

 

a

(b c)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

· 2)·для любого· · a¯ G/H справедливо e¯ · a¯ =

 

 

= a¯ =

 

 

= a¯ · e¯,

 

e · a

a · e

т. е. e¯ — единица G/H;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3) для любого a¯ G/H выполняется a¯ ·

a−1

=

a · a−1

= e¯ =

a−1 · a

=

a−1

· a¯. Следовательно, a¯−1 =

a−1

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Рассмотрим произвольную подгруппу H ≤ Z. Так как Z — абелева группа, то H Z. По теореме 2 из § 8 H является циклической группой и имеет вид H = nZ, где n ≥ 0. Пусть H ̸= 0. Докажем, что Zn = Z/nZ при n > 0 является циклической группой порядка n.

Теорема 2. Zn = Z/nZ — циклическая группа порядка n.

79

Доказательство. Для любого a Z имеем a = n·q+r, где 0 ≤ r < n,

¯

a ≡ b (mod n), а потому Z/nZ

поэтому a¯ = r¯. Более того, a¯ = b

состоит из следующих смежных классов: ¯ ¯ − . Очевидно, что

0, 1, . . . , n 1

|1| = n. Следовательно, Z/nZ = 1 — циклическая группа порядка n.

¯

¯

В силу леммы 2 из § 7 и доказанной теоремы имеем

Следствие 1. Все циклические группы порядка n изоморфны Zn.□

§10. Теорема о гомоморфизмах групп

Пусть G, G— группы и φ : G → G— эпиморфизм. Найдём некоторое описание группы G.

Теорема 1. Пусть φ : G → G— эпиморфизм групп. Тогда Ker φ G и GG/Ker φ. Наоборот, если H G, то ψ(g) = g¯ есть эпиморфизм

G на G/H и Ker ψ = H.

Доказательство. Обозначим Ker φ = H. По лемме 1 § 7 H ≤ G. Легко видеть, что g−1Hg H.

Определим отображение φ˜ : G/H → Gпо правилу φ˜ (¯g) = φ (g) для

g¯ G/H.

Проверим корректность определения этого отображения. Пусть g¯ = gH, a¯ = aH и g¯ = a¯. Докажем, что φ(g) = φ(a). По лемме 1 § 8 имеем:

g¯ = a¯ a−1·g Ker φ φ a−1 · g = e= φ (a)−1·φ (g) φ (a) = φ (g) ,

где e— единица в G. Докажем, что φ˜ — изоморфизм групп G/H и G. Для любого aGсуществует такой a G, что φ(a) = a. Тогда

φ˜ (¯a) = aпоэтому φ˜ сюръективно. Далее, φ˜ (¯a) = φ˜

¯b

 

 

φ (a) =

φ (b)

 

φ (,a)−1

·

φ (b) = e

 

φ a−1

·

b = e

 

a−1

·

b

H

 

a¯ = ¯b.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Следовательно,

φ˜

— биективное

отображение G/H на G.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Для любых

 

 

¯

 

 

 

 

 

 

 

 

¯

= φ˜ a · b =

a,¯ b G/H имеем равенства: φ˜ a¯ · b

φ (a

b) = φ (a)

φ (b) = φ˜ (¯a)

φ˜ b . Таким образом,

 

 

 

 

 

.

 

 

Обратно,·

отображение·

ψ :·

 

¯

 

 

 

 

G/H

G

 

 

 

 

G → G/H, где ψ(g) = g¯, сюръективно, и

так как ψ (g1 · g2) = g1 · g2 = g¯1 ·g¯2 = ψ (g1)·ψ (g2) , то ψ — эпиморфизм. Далее

a Ker ψ ψ (a) = a¯ = e¯ a H Ker ψ = H. □

80

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