Минимальные алг. Элементов и их свойства 


Мы поможем в написании ваших работ!



ЗНАЕТЕ ЛИ ВЫ?

Минимальные алг. Элементов и их свойства



Поле

Опр. 1.1 Пусть Х-непустое мн-во,будем говорить,что на Х задана бинарная алг. Операция,если для х,у Х задан элемент х у

Опр. 1.2 Бинарная операция на мн. Х наз ассоциативной если , если опер. Ассоц,то <X, > наз. подгруппой

Опр. 1.3 Пусть на непустом мн М задана ассоц.опер. ,эл-т наз нейтральным, если если операция обозн. «+» и наз сложением,то тогда эл-т е наз нулевым,если операция обозн «» и на умнож. то нейтральный эл-т обычно наз еденицей, если в полугр. М есть нейтр. эл-т,то М наз моноидом

Опр. 1.4 если в моноиде <M, > для эл-та х ,то эл-т у наз. симметричным эл-ту х;если операция «+»,то эл-т у наз противоположным эл-ту х и обозн у=-х;если операция «»и наз умнож,то тогда у=х-1 наз обратным к х(х )

Опр.1.5 Пусть <M, > монод и каждому эл-т из М-обратимый,т.e. к нему есть обратный,тогда М наз. группой

Опр. 1.6 Пусть на непустом мн К задана бинарная алг.опер <K;+>-коммут.группа(аддитивная тоже);<K; >-полугруппа и эти операц. связаны условием дистрибутивности,т.е. ,то тогда К-наз кольцом

Если операц. умнож в К-коммут,то кольцо К наз. коммут.Если в кольце К есть еденица,то кольцо К наз кольцом с еденицей

Опр.1.7 если в кольце К,кот комм.и с еденицей,у каждого ненулевого эл-та сущ обратный,то тогда К наз полем

Опр. 1.8 Пусть F-поле,PсF,кот само явл полем относ операции слож и умнож кот в F,тогда говорят,что Р-подполе поля F или,что F явл расширением поля Р

Опр. 1.9 Пусть Р-некот.поле, V≠ зада бинарная опер слож на 0

1) 1) слож ассоц

2) 8) 1

3) Слож коммут = 3) 4)

0) определено умнож в скалярах(эл-тов из Р) на векторы (эл-ты из Р) т.е.

5) 6 )

7)

Тогда говорят,что явл линейным(векторным)пространством над Р

Опр. 1. 10 Пусть F-поле,непустое подмножество Р наз подполем поля F,если само явл полем отномит тех операций которые сущ в F,в этом случае еще говорят,что F явл расширением поляР


2-3 Простое расширение поля.

Опр 2.1. Пусть Р-подполе в F, РсА и z F.Будем обозначать P(z)={ / }

Теор. 2.2 В условиях опр 2.1 Р(z) явл полем и это найм подполе а F,содержит Р и эл-т z

Опр 2.3 Р(z) наз простым расширением поля Р с помощью примитивного элемента z

Прим2.4 P=Q F=К z=

Q()={ / }

={a+b /a,b Q} Q cQ f(x)=a+bx g(x)=1

Ввиду минимальности расширения получаем =Q f(x)=x2-2 g(x)=1

Опр. 2.5 Пусть РсF,эл-т z наз алгебраическим над Р,если сущ многочлен f(x) такой,что f(x) 0 и при этом f(z)=0.Если элемент z не явл алгебраич над Р,то он наз трансцендентным над Р

Опр.2.6 PcF. Расширение P(z) наз простым алг расширением,если эл-т z алгебр над Р и трансцинд,если z-трансцинд над Р

1.1.Простое расширение поля.

Пусть P[x] — кольцо полиномов от x над полем P, где P — подполе поля F. Напомним, что элемент a поля F называется алгебраическим над полем P, если a является корнем какого-нибудь полинома положительной степени из P [x].

Определение. Пусть P < F и a0F. Простым расширением поля P с помощью элемента a называется наименьшее подполе поля F, содержащее множество Р и элемент a. Простое расширение P с помощью a обозначается через P (a), основное множество поля P (a) обозначается через Р(a).

Пусть a0F, P [x] — кольцо полиномов от x и P[x]={f(a)*f0P[x]},т. е. P [a] есть множество всех выражений вида a0 + a 1 a+...+ anan, где а0, a1,...an0P и n — любое натуральное число.

Теорема 1.1. Пусть P [x]— кольцо полиномов от х над P и P (a)— простое расширение поля P. Пусть y — отображение P[x] на P[a] такое, что y(f)=f(a) для любого f из P[x]. Тогда:

(а) для любого а из Р y (а) = а; (b) y(x) = a; (с) y является гомоморфизмом кольца P [x] на кольцо P [a];

(d) Ker y ={f0P[x]*f(a)=0}; (е) фактор-кольцо P [x]/Кег y изоморфно кольцу P [a].

Доказательство. Утверждения (а) и (Ь) непосредственно следуют из определения y. Отображение y сохраняет главные операции кольца P [x], так как для любых f и g из P[x] y(f + g)=f(a)+g(a), y(fg)= f(a)g(a), y(1)=1.

Далее, по условию, y есть отображение Р[х] на Р[a]. Следовательно, y является гомоморфизмом кольца P [x] на кольцо P [a]. Утверждение (d) непосредственно следует из определения отображения y.Поскольку y — гомоморфизм кольца P [x] на P [a], то фактор-кольцо P[x]/Кег y изоморфно кольцу P [a].

Следствие 1.2. Пусть a — трансцендентный элемент над полем P. Тогда кольцо полиномов P [x] изоморфно кольцу P [a].

Доказательство. В силу трансцендентности a над P Kery={0}. Поэтому P[x]/{0}– P [a]. Кроме того, фактор-кольцо кольца P [x] по нулевому идеалу изоморфно P [x]. Следовательно, P [x]– P [a].

ТЕОРЕМА(о строении простого расширения с примитивным алгебраическим элементом):

, z – алгебраический над , p(x) – min полином z.

Тогда , где

P(z) P(z), f(x)=f(z)/1 P(z). Тогда , но НОД(g(x),p(x))=1 существуют u(x),v(x) ,g(x)u(x)+p(x)v(x)=1

g(z)u(z)+p(z)v(z)=1, но p(z)=0 g(z)u(z)=1

 

 


Конечное расширение поля.

Пусть P — подполе поля F. Тогда мы можем рассматривать F как векторное пространство над P, т. е. рассматривать векторное пространство F + { 0P},где - операция умножения элементов из F на скаляр 0P.

Определение. Расширение F поля P называется конечным, если F, как векторное пространство над P, имеет конечную размерность. Эта размерность обозначается через [F: P].

Cв-во 2.1. Если a — алгебраический элемент степени n над P, то [P (a):P]=n.Это свойство непосредственно следует из теоремы (Пусть a — алгебраический над полем P элемент положительной степени n. Тогда любой элемент поля P(a) однозначно представим в виде линейной комбинации n элементов 1, a,..., an-1 с коэффициентами из Р.).

Определение. Расширение F поля P называется алгебраическим, если каждый элемент из F является алгебраическим над P.

Теорема 2.2. Любое конечное расширение F поля P является алгебраическим над P.

Доказательство. Пусть n-размерность F над P. Теорема, очевидно, верна, если n = 0. Предположим, что n>0. Любые n+1 элементов из F линейно зависимы над P. В частности, линейно зависима система элементов 1, a,..., an, т. е. существуют в P такие элементы с0, с1,…,cn не все равные нулю, что с01+ с1a+…+cn an = 0.

Следовательно, элемент a является алгебраическим над P.

Отметим, что существуют алгебраические расширения поля, не являющиеся конечными расширениями.

Теор.2.7 Конечное расширение конечного расширения явл конечным

Пусть F — конечное расширение поля L и L — конечное расширение поля P. Тогда F является конечным расширением поля P и [F: P] = [F: L][ L: P].

Доказательство. Пусть(1) a1,…,am — базис поля L над P (как векторного пространства) и (2) 1,…, n— базис поля F над L. Любой элемент d из F можно линейно выразить через базис:(3) d = l1 1+...+ln n (lk L).

Коэффициенты 1k можно линейно выразить через базис (1):(4) lk = p1k a +…+ pmk am (pik P).Подставляя выражения для коэффициентов lk в (3), получаем d = pik ai k. i {1,…,m}k {1,…,n}.Таким образом, каждый элемент поля F представим в виде линейной комбинации элементов множества B, где B = { a i k /{1,..., m}, k 0 {l,..., n}}.Отметим, что множество B состоит из nm элементов.Покажем, что B есть базис F над полем P. Нам надо показать, что система элементов множества B линейно независима. Пусть (5) cikai k = 0, I,k

где cik 0 P. Так как система (2) линейно независима над L, то из (5) следуют равенства (6) с1ka 1+...+сmka m = 0 (k = 1,..., n).

Поскольку элементы a1,..., am линейно независимы над P, то из (6) следуют равенства c1k = 0,…,cmk = 0 (k = 1,..., n),показывающие, что все коэффициенты в (5) равны нулю. Таким образом, система элементов B линейно независима и является базисом F над P.Итак установлено, что [F, P] = nm = [F: L][L: P]. Следовательно, F является конечным расширением поля P

 

Конечно порождённые расширения. Определения и строение.

Опр.5.1 Пусть заданы вложения полей Р с Т с F (1)’. Тогда (1) наз. цепочкой расширения.

P=P1 c P2 c…c Pz=F (1). Включения могут оказаться равенствами.

5.2 Пусть Р с F, z1, z2 Î F. Рассм. P1=P(z1)- простое расширение Р. Р1 с F, P1(z2)=P(z1)(z2).

Т 5.3 Пусть Р – подполе поля F. Z1, z2 ÎF.

Р(z1)(z2)=

Док-во: M c P(z1;z2); ; f(x;y)

f(x;y) = (x) , (z1)

g(x;y)

x=z1

f(z1;y)=

f(z1;z2)=

g(z1;z2)=

Возьмём произвольный эл-т из P(z1)(z2)

t= (*)

t , все

Домножим числитель и знаменатель на общий знаменатель дробей, который получается в результате сложения Получим, что в числителе и знаменателе из Р1=Р(z1) на степени элементов z2 F2

 

По определению P[x;y]=P(x)(y)

Р(z1)

Св-во 5.4 Пусть Р – подполе F. Z1, z2 .

Тогда P(z1;z2)=P(z2;z1)

Док-во: Р(z2;z1)=

Поэтому М=М1. Отсюда P(z1)(z2)=P(z2;z1). Это расширение обозначим P(z1;z2) и назавём расширением Р,с порождающими z1, z2.

Опр. 5.5. Аналогично предыдущему, если дано включение полей P c F, z1, z2 Рассм. P(z1,z2,….,zk), кот. наз. Расширением поля P c конечным числом (сk) пораждающих.


 

Алгебраические расширения.

Опр.6.1 Пусть Р с F. Расширение F наз. Алгебраическим расширением Р, если

Пр 6.2.1 R с C, z= a+bi; a, b Î R.

f(x) =(x-(a+bi))(x-(a-bi))=((x-a)-bi)((x-a)+bi)=(x-a)2-(bi)2 = x2-2ax+(a2+b2)

f(a+bi)=0

комплексное число явл. корнем многочлена с комплексными коэффициентами, значит

C является алгебраическим расширением R.

Пр.6.2.2 Q c Q[ ]

a+b

(x-(a+b ))(x+(a-b ))=((x-a)-b )((x+a)+b )= (x-a)2-2b2=x2-2ax+(a2-2b2)

Т 6.3. конечное расширение явл. алгебраическим.

Д-во: Пусть дано P c F. [F:P]=n.

Возьмём z F,

(n+1) эл-тов dim . Значит 1, - линейно зависим. над Р. Это значит

Т.е. произвольный эл-т из F является алгебраическим над Р, значит F- алгебраическое расширение Р.

Следствие6.4. Пусть дано расширение P c F, z F, z – алгебр. эл-т над P. => Р(z) - алгебраическое расширение Р.

Следствие6.5. Р(z) - алгебраическое расширение Р. Пусть z – алгебр. эл-т над P => такой, что р(х) – min z. В таком случае [P(z):P]= deg p(x)

Тогда по 6.4. расширение P(z) поля Р – конечно.

Св-во 6.6. Пусть дано расширение P c F, z1,z2 F, – алгебр. эл-т над P, a z2 - алгебр. эл-т над P1=P1(z1). Тогда z2- алгебраичен над Р.

Док-во: P c P(z1) c P(z1)(z2) c F. z1 – алгебр. эл-т над P=> deg [P(z1):P] =m = deg p(x)

z2 – алгебр. эл-т над P1=> deg [P1(z2):P1] =k deg p1(x)

где р(х) – min эл-т z2 над Р1.

[P(z1)(z2):P]= [P(z1)(z2):P(z1)]

P c P(z1)(z2) – его степень над Р =mk, т.е. она конечна, зн. она алгебр. над P. z2 этому расширению => z2- алгебр. над Р эл-т.

 

 


 

Поле алгебраических чисел.

Лемма 7.1. Пусть Р c F и u, v . Тогда P(u;v) явл. подполем в К, где К – мн-во всех алгебраических над Р эл-тов из (u,v - алгебраичны над

Из § 6(Алгебраические расширения) => P(u;v) – конечное алгебраическое расширение поля Р, значит все эл-ты из расширения P(u;v) алгебраичны над Р => P(u;v) с К (подмножество).

Т. 7.2 В обозначениях Леммы 7.1 К является полем.

Док-во: Возьмём Они принадлежат P(u;v), кот. само содержится в К. =>

u+v

u-v

K – замкнуто относительно сложения и умножения эл –тов

1

u u-1

0

(-u)

Аксиомы ассоциативности, коммутативности и дистрибутивности выполняются в К так как они выполняются в F => К – поле.

Р с => Р с К – расширение полей.

Обозначение 7.3. В обозначении 7.2 и 7.2 К= F и называется алгебраическим замыканием поля Р в поле F.

Обозначение 7.4. Т.к. имеет место расширение Q c R. Тогда R – алгебраическое замыкание поля Q в поле R.

Q c C => R c

Алгебраическое замыкание R и являются алгебраическими расширениями Q и не являются конечными расширениями.

Имеем Q c R c . Q c C => R является алгебраическим расширением

R не является конечным расширением Q. По признаку Эйзенштейна рn(х)=xn-2 неприводим.

[Q():Q]=n

Q() c QR и эл-ты 1, ,….., R

линейно независ.

Получим R линейно независимых эл-тов на Q2.

[ R:Q]=m

 

T.7.7 - алгебраическое замкнутое поле!.

Док-во: Возьмём р(x)= a0, а1x,…., аnxn [x], т.е. возьмём многочлен с коэффициентами из алгебраического замыкания.

Т.к. поле С комплексных чисел алгебраически замкнуто, то такое, что z- корень р(х).

Эл-ты a0, а1,…., аn . В таком случае по определению, они все алгебр. над Q. Тогда по 6.7(P c F, z1, z2,…..,zn . Тогда расширение P c P(z1;z2;……;zn) явл. конечным и алгебраичным расширением поля Р) расширение Q(a0, а1,…., аn)- алгебраическое расширение Q. Но тогда Q(a0, а1,…., аn)(z1) – простое расширение Q(a0, а1,…., аn) с примитивмым алгебраическим эл-том z. Имеем, зная, что оно конечно, [Q(a0, а1,…., аn,z): Q(a0, а1,…., аn)]=m. Мы отмечаем, что [Q(a0, а1,…., аn):Q]=k (конечно). Тогда [Q(a0, а1,…., аn,z): Q]= m => оно алгебраическое расширение Q => z – алгебраический эл-т над Q => z => - алгебраически закнуто.

Следствие 7.8 Пусть поле Р является алгебраическим замыканием поля F. Тогда алгебраическое замыкание F является алгебраически замкнутым полем.

Док-во: В предыдущем док-ве заменить Q P, C F, F

Опр.7.9 – поле алгебраических чисел.

Р с Т . . (P[x] c T[x])

f – корень g(x)

f – алгебраичен над Т => T c F - алгебр..

2) Пусть Р с Т и Т с F - алгебраические.

Т с F => a0, а1,…., аn T, аn .

f – корень g(x)= a0, а1x,…., аnxn

a0, а1,…., аn – алгебраические над Р. Тогда по 6.8. Р(a0, а1,…., аn)[x] и f - корень g(x), то f – алгебраический над Р(a0, а1,…., аn). Имеем Р(a0, а1,…., аn)(f) ⊃ Р(a0, а1,…., аn) с помощью примитивного алгебраического эл-та. Это расширение конечное Р(a0, а1,…., аn)⊃Р

Следствие: Алгебраическое расширение алгебраического расширения явл. алгебраическим расширением.

Р с Т – алгебраическое расширение и Т с F – алгебраическое расширение => Р c F - алгебраическое расширение.

Опред.

Пусть дана группа <G;◦> и H<G. Введем на G бинарное отношение(~н) определив g1~H g2 тогда и только тогда, когда g1-1◦g2 из Н.

 

Теорема. Бинарное отношение ~Н на G из определения является отношением эквивалентности.

Док-во: 1) Рефлексивность

Для любого х, х ϸ х, где ϸ=~Н, х=g из G

Для любого g, g~H g тогда и только тогда, когда для любого g, g-1◦g=e из Н.

2) Симметричность

Для любых х,у (х ϸ у) следует у ϸ х

Для любых g1, g2 g1~H g2 следует g2~H g1

g1~H g2 ↔ g1-1◦g2 из Н ↔│Н-группа│↔(g1-1◦g2)-1 из Н ↔g2-1◦g1-1 из Н ↔g2-1◦g1 из Н ↔g2~H g1

Транзитивность

Для любых x,y,z (x ϸ y и y ϸ z) следует х ϸ z

Для любых g1, g2, g3 g1~H g2 и g2~H g3 cледует g1~H g3 -?

g1~H g2 и g2~H g3 ↔g1-1◦g2 из Н↔g2-1◦g3 из Н→(т.к. Н<G)→(g1-1◦g2)◦(g2-1◦g3) из Н→ g1-1◦((g2◦g3-1)◦g3)=g1-1◦(e◦g3) из Н→g1-1◦g3 из Н→g1~H g3

©

Опред. Фактор-множество группы G относительно эквивалентности ~Н -- G/~Н-фактор-множество группы G по подгруппе Н.

 

 


 

Гомоморфный образ подгруппы

ОПРЕД.: Пусть даны две группы <G1;◦>, <G2; >. Гомоморфизм из группы G1 в G2 – отображение f: , которое «сохраняет операцию», т.е.

Св-во. Гомоморфный образ подгруппы является подгруппой.

Док-во. Пусть дан гомоморфизм <G1, °>; <G2,*> — группа. f: G1 ®G2 — гомоморфизм, то тогда

H1<G1Þf (H1)<G2. f (H1)={f(h1)/h1 H1}={h2|h2 H2 сущ. h1|h1 H1 и f(h1)=h2}. по критерию подгруппы f(H1) содержит f(h1) и f(H1) f(h1~)Þh2-1*h2~ f(H1)Þh2-1*h2~ = =f(h1)-1*f(h1~)=f(h1-1)*f(h1~) =f(h1-1°h1~) f(H1) По критерию подгруппы f(H1)<G2. Доказано.

Композиция гомоморфизмов

Композиция гомоморфизмов групп является гомоморфизмом групп. <G1, °>; <G2,*>, <G3, >.

f:G1→G2 h:G2→G3 — гомоморфизм, тогда h°f ÷G1→G3— гомоморфизм.

Док-во. h°f, G1→G3 — определено.

g1, g1~ (h°f)(g1°g1~)=(h°f)g1 (h°f) g1~Þ (h°f)(g1°g1~)=h(f(g1°g1~))=/f—гомоморфизм/ =h(f(g1)*f(g1~))= /g2= f(g1), g2~=f(g1~)/=h(g2*g2~)= /h— гомоморфизм/ =h(g2) h(g2~)= =h(f(g1)) h(f(g1~))=(h°f)g1 (h°f) g1~

 


 

29.Изоморфизм групп. Определения, примеры, простейшие свойства.

Опр. 12.1 Если отображение f из <G1, °>; <G2,*> — группы.

f:G1®G2 — гомоморфизм, инъективно, то гомоморфизм f— вложение G1 в G2.

Опр. 12.2 Если в <G1, °>; <G2,*> — группы. f: G1 ®G2 — гомоморфизм, отображение f является сюръективным, то гомоморфизм f называется эпиморфизмом.

Опр.12.3 Если гомоморфизм <G1, °>; <G2,*> — группы. f: G1 ®G2 — гомоморфизм, является и вложением, и эпиморфизмом, то группы G1, G2 называются изоморфными при помощи изоморфизма f. Или пишут: G1 G2.

Св-во. 12.6 Каждая группа изоморфна сама себе.

Док-во. Пусть дана группа <G1, °>. Докажем, что G1 id G1

Id:G1→G1; x→x (тождественное отображение). id (g1 °g1~)= g1 °g1~=id(g1)°id(g1~) (сохраняет операцию). Заметим, что id —биекция.

Теорема.12.7 Пусть даны группы <G1, °>; <G2,*>, G1 f G2, тогда G2 f-1 G1.

Док-во. По условию f: G1 ®G2 —изоморфизмÞf—биекцияÞ f -1: G2 ®G1. f -1 °f=idG1. f -1 —биекция. Покажем, что f -1сохраняет операцию

g2, g2~ f -1(g2*g2~)=f -1(g2)°f -1(g2~). Т.к.f—биекция, то g1, g1~ из G1/f(g1)=g2 и f(g1~)=g2~. Тогда имеем f -1(g2* g2~)= f -1 (f(g1)* f(g1~))=/ f —гомоморфизм/= f -1 (f(g1) ° f(g1~))=(f -1 °f)(g1° g1~)= =idG1(g1° g1~)= g1° g1~=/g1= f -1 (g2), g1~= f -1 (g2~)/= f -1 (g2) ° f -1 (g2~).

Теорема.12.8 Отношение «быть изоморфным» является отношением эквивалентности на множестве групп.

Док-во. 1)рефлексивность G G G (12.6)

2)симметричность G1,G2 G1 G2 G2 G1 (12.7)

3)транзитивность G1,G2, G3 G1 f G2 и G2 h G3 Þ G1 h° f G3 h° f G1 ®G3 h° f — гомоморфизм (12.3). По условию h° f — биекция Þ h° f — изоморфизм.

Теорема 12.9 Пусть f: G1 ®G2 — вложение. Тогда f1: G1 ® f (G1 ): x→f(x), (т.е. x G1(f1(x))=f(x)) то тогда f1 является изоморфизмом групп G и f(G1).

Док-во. 1) отображение f1 инъективно. X1 x1~ допустим f1(x1)= f1(x1~)Þf(x1)= f (x1~), что противоречит тому, что f инъективно. Значит f1(x1) f1(x1~)

2) f1 сюръекция Þ f1 — изоморфизм.

Свойства вложений групп

Св-во: Пусть f:G1→G2 вложение. Тогда отображение f1:G1→Imf(Imf∙f(G1)∙{f(g1),g1 G1}. g1 G1 f1(g1)=f(g1)-изоморфизм(G1 Imf)

Док-во: Знаем, что если G1 подгруппа G2, то f(G1<G2) Imf<G2

g1 => f(g1) => f1(g1) инъекция

g2 Imf, значит g1 G1 f(g1)=g2, т.е. f1(g1)=g2 –сюрьекция

g1 , f1( = f( = | f- гомоморфизм |= f(g1)*f()=f1(g1)* f1() (по опред)

 


Теорема Лагранжа

Лемма: G-группа,Н-подгруппа,тогда для любого g принадл. G отображение lg:H

является биекцией.Док-во: lg-отображение,инъекция; пусть h1 , lg(h1) (т.е не является инъекцией) g°h1= g°h2 тогда g°h1=g-1°g°h2 след-но h1= h2(противоречие);

lg-сюрьекция?для любого g°h принадлежит H, то lg(h)= g° h.

Опр. Если конечное множество и модуль G⁄H=k то число к –индекс подгруппы H в группе G.Обознач:[G:H]

Теорема Лагранжа: G-конечная группа, |G| =m, H⁄G, |H|= h, [G:H]=к,тогда |G|=|H|*[G:H] или m=n*k(порядок группы=произв. порядка подгруппы на ее индекс)

Док-во: т.к явл. отношением эквивалентности, при этом для любого g принадл. G, g с чертой= g°H, то левые смежные классы по подгруппе H задают разбиение множества G, т.е G= g1 °H

Модуль G=модуль g1 °H∪g2°H∪…∪gк°H отсюда |G|= |g1°H|+ |g2°H|+..+ |gк°H|,но по лемме gi°H = |H| след-но m=n+n+n+…+n(k-раз)

Следствие: m=n*k порядок подгруппы в конечной группе делит порядок подгруппы.


Группа подстановок

S(M)-группа подстановок на множестве М,если во множестве М=n элементов, то S(M)=sim(n)симметрическая группа на мн-ве из n элементов.Элементы из S(M)-подстановка элем.мн-ва.

Теорема: Пусть G конечная группа,модуль G=n, тогда существует G1< такое,что G <Sn.Док-во: для любого g принадл. G отображение lg: G → G:х (умножение слева)

1) lg-биекция.Инъективность х1 , lg(х1)=lg(х2)отсюда g*х1= g*х2 тогда g-1°g°х1=g-1°g°х2, х1= х2(противоречие);

2) lg-сюрьекция: для любого у принадлежит G: то lg(х)= у, g*x=у,то х= g-1*у,

lg(g-1*у)=у

3)lg-биекция.cлед-но для любого g принадл. G, lg принадл.S(G)отображение F:G S(G):g lg.Покажем,что F инъекция:g1 , lg1=lg2 след-но, lg1(е)=lg2(е) отсюда g*е= g*е тогда g1= g2(противоречие);Покажем, что сохраняет операцию:

Для любого g1, g2 F(g1,*g2)= F(g1) F(g2) отображение F:G→ G

Для любого x: F(g1,*g2)(x)- lg1*g2(x)= (g1*g2)*x=F(g1*g2)(x) знач. F(g1,*g2)= F(g1)° F(g2)

F-инъективный гомоморфизм,т.е F вложение.


Cтепени элементов в группе

Опр. Пусть <G, > g принадл. G, n принадл. Z,тогда n=0,то =е,

n пррнадл.N, =g (n раз),



Поделиться:


Последнее изменение этой страницы: 2016-09-20; просмотров: 158; Нарушение авторского права страницы; Мы поможем в написании вашей работы!

infopedia.su Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав. Обратная связь - 107.21.176.63 (0.209 с.)