Студопедия

КАТЕГОРИИ:


Архитектура-(3434)Астрономия-(809)Биология-(7483)Биотехнологии-(1457)Военное дело-(14632)Высокие технологии-(1363)География-(913)Геология-(1438)Государство-(451)Демография-(1065)Дом-(47672)Журналистика и СМИ-(912)Изобретательство-(14524)Иностранные языки-(4268)Информатика-(17799)Искусство-(1338)История-(13644)Компьютеры-(11121)Косметика-(55)Кулинария-(373)Культура-(8427)Лингвистика-(374)Литература-(1642)Маркетинг-(23702)Математика-(16968)Машиностроение-(1700)Медицина-(12668)Менеджмент-(24684)Механика-(15423)Науковедение-(506)Образование-(11852)Охрана труда-(3308)Педагогика-(5571)Полиграфия-(1312)Политика-(7869)Право-(5454)Приборостроение-(1369)Программирование-(2801)Производство-(97182)Промышленность-(8706)Психология-(18388)Религия-(3217)Связь-(10668)Сельское хозяйство-(299)Социология-(6455)Спорт-(42831)Строительство-(4793)Торговля-(5050)Транспорт-(2929)Туризм-(1568)Физика-(3942)Философия-(17015)Финансы-(26596)Химия-(22929)Экология-(12095)Экономика-(9961)Электроника-(8441)Электротехника-(4623)Энергетика-(12629)Юриспруденция-(1492)Ядерная техника-(1748)

Упражнения. Примеры числовых полей хорошо известны – это

Поля.

Примеры числовых полей хорошо известны – это

< Q ,+, ×, -(), 0, 1 >, < R ,+, ×, -(), 0, 1 >, < C ,+, ×, -(), 0, 1 >.

Также мы доказали, что " простого числа p Î Z полем яв­ляется < Zp ,+, ×, -(), , >.

Определение. Если P = <P, +, ×, -(), 0K, 1K > - поле,

FÍ P и F = <F,+, ×, -(), 0K, 1K > - поле, то F называют подполем поля P, а P называют надполем поля F или расширением поля F. Если ясно, какие операции имеются в виду, то говорят, что F – подполе поля P, а P – расширение поля F.

Определение. Если Р1, Р2 поля, то отображение j: Р1® Р2 называется изоморфизмом полей, если j - биекция, и " x,yÎ Р1 j(x+y) = j x +j y, j(x×y) = j x ×j y. Если для полей Р1 и Р2 такой изоморфизм существует, то говорят, что поля Р1 и Р2 изоморфны и пишут Р1» Р2.

1. Доказать, что id: Р1® Р1 является изоморфизмом, то есть Р1» Р1.

2. Доказать, что если j:Р1®Р2 – изоморфизм, то j -11®Р2 – изоморфизм, то есть если Р1» Р2, то Р2» Р1.

3. Доказать, что если j:Р1® Р2, y:Р2® Р3 – изоморфизмы,

то y ◦j:Р1® Р3 – изоморфизм, то есть если Р1» Р2 и Р2» Р3, то Р1» Р3.

4. Доказать, что если j:Р1® Р2 – изоморфизм, то

j(0)=j(0), j(1)=j(1),j(-х)= - jх "хÎР1,

j(х -1)= (j х)-1 "хÎ Р1, х ¹ 0.

Пусть P - поле. Будем обозначать элементы вида

ab-1 = b-1a дробями . Тогда = Û ab-1 = cd -1Û

ad = bc, += ab-1+cd -1 =(ab-1+cd -1)×bd×(bd) -1 =

= (ad + bc)(bd) -1= , × = ab-1×cd -1 =ac(bd) -1= .

Любое поле P содержит элементы 0Р, 1Р, 1Р + 1Р = 2(1Р), 1Р + 1Р +1Р =3(1Р),…, m(1Р) "m Î N. Возможны два случая:

1) все элементы вида m(1Р), m Î N, различны.

2) среди этих элементов $ одинаковые, то есть в N $ m ¹ n: m(1Р)= n(1Р) (такой случай имеет место всегда для конечного поля Р). Пусть m > n. Тогда (m – n)(1Р)= 0Р , то есть существует такое t Î N, что t(1Р)= 0Р .

Определение. Характеристикой поля Р называется наименьшее натуральное число t такое, что t(1Р)= 0Р . Если такого числа не существует (как в случае 1), то говорят, что характеристика поля равна 0 или ∞. Характеристика поля обозначается через char P.

Очевидно, char Q = char R = char C = 0, char Zp = p.

Теорема. Если р = char P ¹ 0, то р – простое число.

Доказательство. Пусть р – не простое, p = kl, где k, l ¹ 1.

Тогда 0Р = p(1Р)= (kl)(1Р) = k(1Р)× l(1Р), и k(1Р) ¹ 0Р, l(1Р) ¹ 0Р. Но в поле нет делителей нуля (см. 6.3), то есть мы получили противоречие. Значит, р – простое число.

ÿ

Определение. Поле Р называется простым, если у него нет подполей, отличных от Р.

Теорема. Поле Q – простое.

Доказательство. Пусть Q Ê Р – подполе. Тогда Р ' 0, 1, 1+1=2, 2+1=3,…, n ("n Î N ), - n ("n Î N ), ±("n Î N ), ×m ("n Î N, m Î Z ), то есть Р Ê Q Þ Р = Q. Других подполей в Q нет.

ÿ

 

Теорема. Поле Zp – простое.

Доказательство. Пусть Zp Ê Р – подполе. Тогда Р ' ,, +=, +=, …, , то есть Р Ê Zp Þ Р = Zp. Других подполей в Zp нет.

ÿ

Теорема. Пусть Р – поле, и char P = 0. Тогда

1) P содержит наименьшее (по включению) подполе Р0,

2) подполе Р0 – простое,

3) Р0» Q.

Доказательство. Очевидно, пересечение всех подполей в Р является, во-первых, подполем, во-вторых, оно является наименьшим подполем (так как содержится в любом другом) и, в-третьих, оно является простым подполем, так как не содержит собственных (меньших) подполей. Отсюда следуют 1-е и 2-е утверждения теоремы.

Но мы докажем теорему иначе. Пусть поле P содержит под­поле Р1. Тогда Р1 ' 0Р, 1Р, 1Р+1Р=2(1Р), 2(1Р)+1Р =3(1Р),…, n(1Р) ("n Î N ), (- n)(1Р) ("n Î N ), ±(n(1Р))- 1 ("n Î N ), m(1Р)×(n(1Р))- 1 ("n Î N, m Î Z ). Пусть

Р0={m(1Р)×(n(1Р))- 1| nÎ N, mÎ Z }= { | mÎ Z, nÎ N }. Тог­да Р0 - подполе, так как

I.+= Î Р0 (*)

и = Î Р0 " , Î Р0 , (**)

II.2. при m = 0, n = 1 получаем, что 0P Î Р0 ,

3. - = Î Р0 , 6. при m = 1, n = 1 получаем, что 1PÎ Р0 , 7. при m ¹ 0 = Î Р0 - при m < 0 здесь используется правило знаков из 6.2. Выполнение остальных свойств из определения поля в Р0 следует из выполнения их в поле Р.

Подполе Р0 - наименьшее, так как любое другое подполе Р1 содержит Р0. Отсюда следует, что Р0 - простое подполе, так как оно не содержит собственных (меньших) подполей.

Докажем, что поле Р0 изоморфно полю Q. Определим отображение j: Q ® Р0 так: пусть " Î Q по определению j()= Î Р0. Тогда j - инъекция. В самом деле, если j()=j(), то =Þ m(1Р)×n¢(1Р) =

= m¢(1Р)×n (1Р) Þ (mn¢)(1Р) =(m¢n)(1Р)Þ (mn¢ - m¢n)(1Р))=0Р Þ

mn¢ - m¢n = 0 (так как char P = 0) Þ = . Сюръективность j очевидна. Таким образом, j - биекция. Сохранение операций при j следует из (*) и (**). Следовательно, j - изоморфизм.

ÿ

Теорема. Пусть Р – поле, и char P = р. Тогда

1) P содержит наименьшее (по включению) подполе Р0,

2) подполе Р0 – простое,

3) Р0» Zp.

Доказательство аналогично доказательству предыдущей теоремы 3.

Упражнение. Доказать эту теорему.

 

Лекция 13.

 

<== предыдущая лекция | следующая лекция ==>
Доказательство. Þ. Пусть $ Î Zm такой, что = | Упражнения. Примеры линейных пространств
Поделиться с друзьями:


Дата добавления: 2014-01-04; Просмотров: 393; Нарушение авторских прав?; Мы поможем в написании вашей работы!


Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет



studopedia.su - Студопедия (2013 - 2024) год. Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав! Последнее добавление




Генерация страницы за: 0.023 сек.