Лекции по алгебре. В 2 частях. Ч.1. Учебное пособие
.pdf§11. Кольца. Многочлены, формальные степенные ряды
Алгебраическая система K = K; +, · , K ̸= , с двумя бинарными операциями + (сложение) и · (умножение) называется кольцом, если
K; + — абелева группа и a · (b + c) = a · b + a · c, (b + c) · a = b · a + c · a
для любых a, b, c K.
Алгебраическую систему K; + называют аддитивной группой кольца K.
Если K; · — полугруппа, то кольцо называется ассоциативным, а алгебраическую систему K; · называют мультипликативной полугруппой кольца K.
Если K; · — моноид, то K — кольцо с единицей.
Если a · b = b · a для любых a, b K, то кольцо K называют комму-
тативным.
Подмножество H K называют подкольцом, если H — кольцо относительно операций кольца K.
Примеры:
1)Z; +, · Q; +, · R; +, · ;
2)Mn (Z) ; +, · Mn (Q) ; +, · Mn (R) ; +, · ;
3)кольца функций относительно обычного сложения и умножения вещественных функций: C1[0, 1] (кольцо дифференцируемых функций
на [0, 1]) |
C[0, 1] (непрерывных) |
¯ |
(ограниченных) R[0, 1] |
R[0, 1] |
|||
(всех); |
|
|
|
4)пусть A; + — произвольная абелева группа. Её легко превратить
вкольцо A; +, · , определив умножение по правилу: a·b = 0 для любых
a, b A.
Общие свойства колец.
1.Для любого a K имеем a·0 = 0·a = 0. Действительно, a·(0+0) = a · 0 + a · 0 = a · 0, т. е. a · 0 = 0. Аналогично 0 · a = 0.
2.Если 0 = 1, то K = {0}. Значит, в нетривиальном кольце 0 ̸= 1.
3.Для любых a, b K: (−a) · b = a · (−b) = −(a · b). Действительно,
0 = a·0 = a·(b+(−b)) = a·b+a·(−b), т. е. a·(−b) = −(a·b). Аналогично
(−a) · b = −(a · b).
81
4. Для любых a1, . . . , an, b1, . . . , bm K справедливо |
|||
n |
! m |
! |
n m |
X |
X |
|
XX |
ai |
bi |
= |
aibj. |
i=1 |
i=1 |
|
i=1 j=1 |
Доказательство индукцией по n и m. В частности, из 3) и 4) следует, что для любого n Z справедливо (na) · b = a · (nb) = n (a · b).
5. Если K — коммутативное кольцо, то для любых a, b K, n N,
n
(a + b)n = XCni ai · bn−i.
i=0
Кольцо многочленов. Пусть K — некоторое кольцо и x — символ, не принадлежащий K (x называют неизвестной). Выражение вида
n
X
a = a0 + a1x + . . . + anxn = aixi,
i=0
где ai K и n N, называют многочленом от x с коэффициентами ai K (если an = 1, многочлен называется унитарным). Множество всех многочленов от x обозначают через
n
X
K [x] = {a = aixi : ai K, n N}.
i=0
n |
|
m |
Два многочлена a = |
aixi и b = |
bixi равны, если бесконечные век- |
i=0 |
|
i=0 |
из коэффициентов многочленов a и b, совпадают |
||
торы, составленные P |
|
P |
покоординатно:
(a0, a1, . . . , an, 0, . . .) = (b0, b1, . . . , bm, 0, . . .) .
Пример: a = 1 + 2x2 = b = 1 + 0 · x + 2x2 + 0 · x7.
Поэтому всегда можно считать, что два многочлена a и b имеют одинаковые границы суммирования. Для этого можно добавить необходимое число нулевых коэффициентов.
Определим операции на K[x] по правилу:
|
n |
|
n |
|
n |
|
|
|
i n |
aixi |
i=0 |
|
n+m |
|
|
|
|
|
P |
i |
mP |
i |
P |
i |
ai1 bi2 . |
|
|
|
aix |
bix |
= cix , где ci = |
||||
|
=0 |
|
|
|
i=0 |
|
i1+Pi2=i |
|
|
iP P |
|
P |
|
|
|||
|
|
|
· i=0 |
|
|
|
|
· |
|
=0 |
|
|
i=0 |
|
|
||
|
|
|
|
|
||||
82
Докажем, что K [x] ; +, · является кольцом. Для простоты изложения будем записывать многочлены в виде бесконечных векторов:
n
X
a = aixi = (a0, a1, . . . , an, 0, . . . , 0, . . .) = (ai) .
i=0
Тогда K [x] = {(ai) : ai K, n N} — алгебраическая система с операциями:
(
a + b = (ai + bi) ,
a · b = (ci) , где ci = P ai1 · bi2 .
i1+i2=i
Теорема 1. K [x] ; +, · — кольцо.
Доказательство. Ясно, что K [x] ; + — абелева группа, так как сложение векторов покоординатно. Докажем дистрибутивность умножения. Для любых a, b, c K[x] имеем:
|
|
i1 X2 |
· (bi2 + ci2 )) = |
|
a · (b + c) = a · (bi + ci) = ( |
ai1 |
|||
|
X |
+i |
=i |
|
|
X |
|
|
|
= ( |
ai1 · bi2 + |
ai1 · ci2 ) = a · b + a · c. |
||
|
i1+i2=i |
i1+i2=i |
|
|
Аналогично получаем (b + c) · a = b · a + c · a. |
□ |
|||
Элементы a, b K называют делителями нуля, если a, b ̸= 0, но при этом a · b = 0. Коммутативное ассоциативное кольцо с единицей и без делителей нуля называют областью целостности.
Число deg (a) = max {i : ai ̸= 0} называют степенью многочлена a =
i
n
P aixi, обычно полагают deg (0) = −∞. Отметим свойства степени
i=0
многочленов:
deg (a + b) ≤ max {deg (a) , deg (b)} ,
deg (a · b) ≤ deg (a) + deg (b) .
Лемма 1. 1. Если кольцо K ассоциативно, то K[x] ассоциативно. 2. Если кольцо K коммутативно, то и кольцо K[x] коммутативно. 3. Если K — область целостности, то K[x] — область целостности, причём deg (a · b) = deg (a) + deg (b) для любых a, b K[x].
Доказательство. 1. Докажем ассоциативность умножения. Для любых a, b, c K[x] имеем:
X |
ai1 · bi2 ) · c = ( |
X |
X |
(a · b) · c = ( |
( |
ai1 · bi2 ) · ci3 ) = |
|
i1+i2=i |
|
k+i3=i i1+i2=k |
|
83
k X3 1 X2 |
|
1 |
X2 |
3 |
|
· bi2 |
· ci3 ). |
= ( |
ai1 · bi2 · ci3 ) = ( |
|
|
ai1 |
|||
+i =i i +i =k |
|
i +i +i =i |
|
|
|||
Аналогично вычисляем: a · (b · c) = ( |
P |
|
ai1 · bi2 · ci3 ). |
||||
|
|
i1+i2+i3=i |
|
|
|||
Следовательно, (a · b) · c = a · (b · c). |
|
|
|
|
|
||
2. Для любых a, b K[x] имеем: |
X |
|
|
|
|
|
|
X |
ai1 · bi2 ) = ( |
bi2 · ai1 ) = b · a. |
|||||
a · b = ( |
|
||||||
i1+i2=i |
i1+i2=i |
|
|
|
|
||
3. Если a, b ̸= 0, deg(a) = n и deg(b) = m, то an, bm ̸= 0, а потому cn+m = an · bm ̸= 0, т. е. c = a · b ̸= 0. При этом выполняются равенства
deg(c) = n+m = deg(a)+deg(b). Если a = 0, то a·b = 0 и deg(a·b) = −∞ и deg(a) + deg(b) = −∞. □
Переход от кольца K к K[x] называют кольцевым присоединением x. Присоединяя к K[x] неизвестную y, получим кольцо многочленов K[x, y] от двух неизвестных. Этот процесс можно продолжать:
K K [x] K [x, y] K [x, y, z] . . .
Замечание. По правилу умножения в кольце K[x] многочлены
nn
P aixi и P bixi можно перемножать и складывать как обычные функ-
i=0 i=0
ции, используя правило: xk ·xs = xk+s, akxk +bkxk = (ak +bk)xk. Но при этом следует различать, что многочлены — это не функции на кольце
K |
. Например, превратим группу Z2 |
2в кольцо, |
полагая 0 |
· |
1 = 1 |
· |
0 = 0, |
|||||
|
|
4 |
¯ |
¯ ¯ |
¯ ¯ |
|||||||
1·1 = 1. Тогда многочлены f = 1+1·x , g = 1+1·x |
|
|
Z2 [x] различны, но |
|||||||||
¯ ¯ ¯ |
¯ ¯ |
¯ |
¯ |
|
= 1, f (1) = g (1) = 0. |
|||||||
как функции из Z2 в Z2 |
совпадают: f (0) = g (0) |
|||||||||||
|
|
|
¯ |
|
¯ |
|
|
¯ ¯ |
¯ |
¯ |
||
Кольцо формальных степенных рядов. Рассмотрим множество бесконечных векторов с координатами из K:
K [[x]] = {a = (a0, a1, . . . , an, . . .) = (ai) : ai K} .
Заметим, что K [x] K [[x]]. В отличие от множества K[x], в K [[x]] векторы могут иметь бесконечное число ненулевых координат. Определим операции на K [[x]] по правилу:
(
a + b = (ai + bi) ,
a · b = (ci) , где ci = P ai1 · bi2 .
i1+i2=i
Так как число операций сложения и умножения при определении координат суммы и произведения векторов из K [[x]] является конечным, то операции в K [[x]] определены корректно.
84
Теорема 2. K [[x]] ; +, · — кольцо.
Доказательство без изменений повторяет доказательство теоремы 1, так как мы никогда не использовали конечность числа ненулевых координат бесконечных векторов. □
Кольцо K [[x]] называют кольцом формальных степенных рядов. Векторы a = (ai) K [[x]] обозначают как бесконечные формальные суммы:
∞
X
a = (a0, a1, . . . , an, . . .) = aixi, ai K.
i=0
Операции на этих суммах определены по правилу:
∞ |
|
|
|
∞ |
|
|
∞ |
|
|
|
i=0 aixi |
+ i=0 bixi = i=0 (ai + bi) xi, |
|
||||||||
P |
|
|
|
P |
|
|
P |
|
|
|
|
aix |
i |
|
|
i |
= |
as |
|
bt |
i |
|
|
· |
bix |
· |
x . |
|||||
i=0 |
|
|
i=0 |
|
|
i=0 s+t=i |
|
|
||
∞ |
|
|
|
∞ |
|
|
∞ |
|
|
|
P |
|
|
|
P |
|
|
P P |
|
|
|
Как видно из определения, формальные степенные ряды довольно просты в обращении. Используя известные тождества из математического анализа, можно получить ряд красивых формул для K [[x]]. Единственным условием такого переноса является конечность числа операций сложения и умножения элементов из K при вычислении коэффициентов рядов.
Примеры:
1) e2x · e1+x2 = e(x+1)2 тогда и только тогда, когда
1 + |
2x 22 |
x2 |
+ . . . |
x2 |
+ 1 |
|
x2 + 1 |
|
2 |
+ . . .! = |
||||
|
|
+ |
|
· |
1 + |
|
|
+ |
|
|
||||
1! |
|
2! |
|
1! |
2! |
|||||||||
= 1 + (x + 1)2 + (x + 1)4 + . . . ; 1! 2!
2) sin2 x + cos2 x = 1 тогда и только тогда, когда
|
x3 |
x5 |
x7 |
2 |
|
x2 |
x4 |
2 |
||||
|
|
|
|
|||||||||
x − |
|
+ |
|
− |
|
+ . . . |
|
+ 1 − |
|
+ |
|
− . . . = 1. |
3! |
5! |
7! |
|
2! |
4! |
|||||||
85
§12. Гомоморфизмы и идеалы колец. Фактор-кольцо и основная теорема о гомоморфизмах колец. Кольцо Zn
Пусть K; +, · , K′; , — кольца. Отображение φ : K → K′ называется гомоморфизмом, если оно сохраняет операции, т. е. для любых a, b K справедливо
φ(a + b) = φ (a) φ (b) ,
φ(a · b) = φ (a) φ (b) .
Так как φ является гомоморфизмом групп K; + и K′; , то в силу доказанного в § 7 имеем φ(0) = 0′ (0′ — ноль кольца K′) и φ(na) = nφ(a) для любых a K, n Z (в частности, φ(−a) = −φ(a)).
Множество Ker φ = {x K : φ (x) = 0′} называется ядром гомоморфизма φ. Подкольцо I кольца K называют идеалом, если ai I, ia I для любых a K, i I (это обозначают ещё так: KI I, IK I). Идеал I кольца K обозначают следующим образом: I K.
Лемма 1. Если φ : K → K′ — гомоморфизм колец, то Ker φ K, Im φ — подкольцо в K′.
Доказательство. Обозначим Ker φ через I. В силу леммы 1 § 7 достаточно доказать, что ab I, ba I для любых a K, b I, и a′ · b′ Im φ для любых a′, b′ Im φ.
Для любых a K, b I имеем φ (a · b) = φ (a) φ (b) = φ (a) 0′ = 0′. Следовательно, a · b I и KI I. Аналогично доказывается, что
IK I.
Далее для любых a′, b′ Im φ существуют a, b K такие, что a′ = φ (a) , b′ = φ (b). Следовательно, a′ b′ = φ (a) φ (b) = φ (a · b), а потому a′ b′ Im φ. □
Фактор-кольцо. Пусть I K. Рассмотрим K/I — множество смежных классов K; + по I; + и определим операции на K/I по правилу:
(a + I) (b + I) = (a + b) + I,
(a + I) (b + I) = a · b + I.
Будем для краткости записывать a + I = a¯. Итак, K/I = {a¯ : a K} с операциями
¯
a¯ b = a + b,
¯ · a¯ b = a b.
86
Докажем, что операции определены корректно. По лемме 1 § 8 имеем:
¯ |
|
|
|
|
|
|
|
|
|
|
|
|
¯ |
|
|
|
¯ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
a¯ = b a − b I. Пусть a¯ = b, c¯ = d, тогда |
|
|
|
|
|
|
¯ ¯ ¯ |
|||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
a + c − b + d = a + c − b − d = a − b + c − d = a − b + c − d = 0 + 0 = 0, |
|||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
¯ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
a · c − b · d = a · c − b · c + b · c − b · d = (a − b) · c + b · (c − d) = 0. |
||||||||||||||||||||||||||||||||||||||||
Следовательно, |
|
|
= |
|
и |
|
|
|
= |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
a + c |
b + d |
b · d. |
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||
a · c |
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||
|
Лемма 2. K/I; , — кольцо; если K ассоциативно, то K/I |
|||||||||||||||||||||||||||||||||||||||||
ассоциативно. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
Доказательство. |
Проверим |
|
все аксиомы |
кольца. Во-первых, |
|||||||||||||||||||||||||||||||||||||
K/I; — группа по теореме 1 из § 8. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
¯ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Далее, для любых a,¯ b, c¯ K/I имеем: |
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
¯ |
|
¯b c¯ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
¯ |
|
|
|
|
|
|
||||||||||||
|
|
|
a¯ = ¯b |
|
|
a¯ |
|
|
c¯ |
|
|
a¯. |
|
|
|
|
|
|
||||||||||||||||||||||||
|
Аналогично |
|
|
|
|
|
|
|
|
|
b a¯ c¯. |
|
||||||||||||||||||||||||||||||
|
|
|
|
|
a¯ b |
c¯ = a · (b + c) = a |
· b + a · c = a¯ |
|
||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
· |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
Наконец, K/I; — полугруппа, так как для любых a,¯ ¯b, c¯ K/I |
|||||||||||||||||||||||||||||||||||||||||
справедливы равенства: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
¯ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
¯ |
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
a¯ b c¯ = a · b c¯ = (a · b) · c = a · (b · c) = a¯ (b · c) = a¯ b c¯ . □
Кольцо K/I; , называется фактор-кольцом кольца K по идеалу I. Пусть φ : K → K′. Тогда φ — изоморфизм, если φ — гомоморфизм и
φ— взаимно однозначное отображение. Если φ — изоморфизм, то кольца K и K′ называют изоморфными; обозначение: K K′. Отображение
φ— эпиморфизм, если φ — гомоморфизм и Im φ = K′. Отображение φ
— мономорфизм, если φ — гомоморфизм и Ker φ = 0.
Теорема 1 (основная теорема о гомоморфизмах колец). Пусть φ : K → K′ — эпиморфизм, тогда Ker φ K и K′ K/Ker φ. Наоборот, пусть I K и π : K → K/I определено правилом π(a) = a¯ для a K. Тогда π — эпиморфизм и Ker π = I.
Доказательство. Обозначим Ker φ = I. По лемме 1 I K. Положим φ˜ : K/I → K′, где φ˜ (¯a) = φ (a) для a¯ K/I. Проверим корректность определения φ˜.
Пусть ¯, тогда − , поэтому − ′ и
a¯ = b a b Ker φ φ(a b) = 0 φ(a) = φ(b).
Докажем, что φ˜ — изоморфизм колец K/I и K′. 1. Покажем, что φ˜ взаимно однозначно.
Для любого a′ K′ существует такой a K, что φ(a) = a′. Тогда φ˜ (¯a) = a′ по определению. Для любых a, b K выполняется:
φ˜ (¯a) = φ˜ ¯b |
φ (a) = φ (b) φ (a − b) = 0′ a − b Ker φ a¯ = ¯b. |
|
2. |
|
|
|
Покажем, что φ˜ — гомоморфизм. |
|
87
Для любых a, b K имеем:
φ˜ a¯ ¯b ¯= φ˜ |
a + b |
= φ (a + b) = φ (a) φ (b) = φ˜ (¯a) φ˜ ¯b , |
|||||
|
|
¯ |
|||||
Таким |
|
|
|
|
|
||
φ˜ a¯ |
b = φ˜ a · b = φ (a · b) = φ (a) φ (b) = φ˜ (¯a) · φ˜ b . |
||||||
|
образом, K/I |
K′. |
|
||||
Обратно, пусть π : K → K/I, где π(a) = a¯ для любого a K. Тогда
очевидно, что π — эпиморфизм и справеливы равенства: |
|
|
¯ |
{a K : a I} = I. |
□ |
Ker π = {a K : π (a) = a¯ = 0} = |
||
Лемма 3. Всякое подкольцо кольца |
Z; +, · имеет вид nZ |
= |
{nz : z Z}, где n N. |
|
|
Доказательство. Пусть K — подкольцо в Z; +, ·, тогда K — подгруппа в Z. По теореме 2 из § 7 K = nZ. Легко проверить, что nZ замкнуто относительно умножения. □
Очевидно, что nZ Z, так как m(nZ) = n(mZ) nZ для любого
m Z.
Кольцо Z/nZ называют кольцом вычетов по модулю n и обозначают
через . По определению ¯ ¯ − с операциями
Zn Zn = 0, 1, . . . , n 1
¯
a¯ + b = a + b,
· ¯ · a¯ b = a b,
где через a¯ обозначен остаток от деления a на n.
§13. Поле, простое подполе, расширение поля. Поле Fp. Характеристика поля
Алгебраическая система F ; +, · типа 2, 2 называется полем, если:
(F 1) |
F ; + — абелева группа; |
(F 2) |
F \ {0}; · — абелева группа; |
(F 3) |
(x + y)z = xz + yz для всех x, y, z F . |
По определению считаем, что в поле 0 ̸= 1. Если в аксиоме (F 2) не требовать, чтобы группа была абелевой, то такая алгебраическая система называется телом, т. е. тело — это некоммутативное поле.
Другими словами, F ; +, · является полем, если F ; +, · — ассоциативное коммутативное кольцо с 1, а F = F \ {0}; · — коммутативная группа.
Теорема 1. Zm — поле m = p — простое число.
88
Доказательство. Если Zm — поле и m = n1 · n2, то n¯1 · n¯2 |
= m¯ = 0. |
|
¯ |
Следовательно, n¯1 = 0 или n¯2 = 0, т. е. n1 = m или n2 = m.
Обратно, если m = p — простое, то для любого k {1, . . . , p − 1} имеем (k, p) = 1. Следовательно, существуют s, t Z такие, что s · k +
¯ |
¯ |
|
|
|
¯ |
|
¯ |
· p¯ = s |
|
= s¯ |
|||||
t · p = 1, поэтому s¯ · k + t |
· k + t · p = 1 |
· k. Таким образом, |
|||||
элемент k¯ является обратимым и |
Zp; · — группа. |
□ |
|||||
Заметим, что вместо Zp пишут часто Fp (или GF (p)) и называют это поле полем Галуа. Подкольцо F P поля P , само являющееся полем, называется подполем, а P называется расширением поля F . (Заметим, что пересечение любого числа подполей поля P является подполем (как и групп, колец).) Поле F называется простым, если в нём нет собственных подполей.
Примеры:
1)Fp — простое поле. Пусть P — подполе в Fp. Тогда 1 P , а потому
2, . . . , p − 1 P , т. е. P = Fp;
2)Q — простое поле. Пусть P — подполе в Q. Тогда 1 P и n, m P для любых n, m Z, откуда mn P (m ̸= 0) и P = Q.
Теорема 2. В любом поле P существует единственное простое подполе P0. При этом P0 Q или P0 Fp.
Доказательство. Пусть P1, P2 — простые подполя в P . Тогда P1 ∩P2
— подполе в P1 и P2, т. е. P1 ∩ P2 = P1 = P2.
Пусть e — единица поля P . Возможны два случая: либо ne ̸= 0 для любого n N, либо существует n N такое, что ne = 0. Рассмотрим
отдельно эти случаи. |
|
|
|
|||
1. Пусть P0 |
= |
n (me)−1 : n Z, m N . Докажем, что P0 — про- |
||||
стое подполе в |
P |
|
Заметим, что na = ne |
|
a, na mb = nm(ab). Далее, |
|
|
. n |
· |
o |
· |
||
|
|
|
|
|
||
имеем 0 P0, e = 1(1e)−1 P0. Пусть n1 (m1e)−1 + n2 (m2e)−1 = a.
Тогда
a · (m1m2e) = (n1m2 + n2m1) · e a = (n1m2 + n2m1) (m1m2e)−1 P0,
n1 (m1e)−1 · n2 (m2e)−1 = n1n2 (m1m2e)−1 P0,
−n (me)−1 = (−n) (me)−1 P0.
Если n ̸= 0, то n (me)−1 · m (ne)−1 = nm (nme)−1 = (nme) (nme)−1 = e,
поэтому n (me)−1 −1 = m (ne)−1 и P0 — подполе в P .
89
Докажем, что P0 Q. Определим отображение φ : P0 7→Q прави-
лом: φ n (me)−1 = mn . Покажем корректность определения φ:
|
n1 (m1e)−1 = n2 (m2e)−1 n1m2e = n2m1e |
|||||||||||
|
(n1m2 − n2m1) e = 0 n1m2 − n2m1 = 0 |
n1 |
|
n2 |
||||||||
|
|
= |
|
. |
||||||||
|
m1 |
m2 |
||||||||||
Покажем, что φ — гомоморфизм: |
|
|
|
|||||||||
φ n1 (m1e)−1 + n2 (m2e)−1 = φ (n1m2 + n2m1) (m1m2e)−1 |
||||||||||||
|
n1m2 + n |
m |
1 |
|
n1 |
|
n2 |
|
|
|
||
= |
2 |
|
= |
|
+ |
|
= φ n1 (m1e)−1 + φ n2 (m2e)−1 |
|||||
m1m2 |
|
|
m1 |
m2 |
||||||||
=
,
φ n1 (m1e)−1 · n2 (m2e)−1 = φ n1n2 (m1m2e)−1 =
= |
n1n2 |
= |
n1 |
· |
n2 |
= φ n1 (m1e)−1 · φ n2 (m2e)−1 . |
m1m2 |
m1 |
m2 |
Покажем, что φ — эпиморфизм: φ n (me)−1 |
= |
n |
для любого |
n |
Q. |
||
m |
m |
||||||
Проверим, что φ — мономорфизм: |
|
|
|
|
|
|
|
Ker φ = nn · (me)−1 : φ n · (me)−1 |
= |
n |
= 0 n = 0o = {0} . |
||||
|
|||||||
m |
|||||||
По основной теореме о гомоморфизмах колец P /Ker φ = P0/{0} P0 Q. Следовательно, P0 Q — простое подполе в P .
2. Существует n N такое, что ne = 0. Выберем такое минимальное m, что me = 0. Тогда m = p простое, так как если m = m1 ·m2, то me =
(m1·m2)e = (m1e)·(m2e) = 0. Следовательно, либо m1e = 0, либо m2e = 0, т. е. либо m1 = m, либо m2 = m. Пусть P0 = {0, e, . . . , (p − 1) e}. Тогда для любых k, s P0 имеем:
ke + se = (k + s) e = (k + s)e,
(ke) · (se) = (k · s) e = (k · s)e,
где n¯ обозначает остаток от деления n на p. Легко видеть, что P0 Fp
— простое подполе в P . |
□ |
Следствие. Любое поле является расширением Fp или Q. |
□ |
Если P0 Q, то говорят, что поле P имеет характеристику 0 (обозначение: char P = 0). Если P0 Fp, то говорят, что поле P имеет характеристику p (обозначение: char P = p).
Очевидно, что если char P = 0, то na ̸= 0 для любого ненулевого a P и любого n N. Если же char P = p, то pa = 0 для любого a P.
90
