Лекции по алгебре. В 2 частях. Ч.1. Учебное пособие
.pdf§14. Матричная конструкция поля C. Групповые свойства корней из единицы
Теорема 1. P = |
a |
b |
: a, b R — подкольцо в M2(R), яв- |
||||||||||||
−b |
a |
||||||||||||||
ляющееся полем. |
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Доказательство. Заметим, что 0, E P . Кроме того, |
|
|
|||||||||||||
|
a b |
+ |
x y |
= |
|
a + x |
|
(b + y) |
|
|
|||||
|
−b a |
−y x |
−(b + y) a + x P, |
||||||||||||
|
a |
b |
|
x |
y |
|
= |
|
ax − by |
|
(bx + ay) |
|
P, |
||
−b a |
· −y x |
|
−(bx + ay) ax − by |
|
|||||||||||
|
|
|
− |
a |
b |
= |
|
a |
−b |
|
P. |
|
|
||
|
|
|
−b a |
−b |
−a |
|
|
|
|||||||
|
det |
a |
b |
|
|
+ b2 и |
a |
b |
|
|
|
|
|
||
Далее, |
−b |
a = a2 |
−b |
a — обратимая матрица, |
|||||||||||
если она ненулевая, с обратной из P . Остальные аксиомы поля легко |
|||||||||||||||
проверяются. Таким образом, P — поле. |
|
|
|
|
|
□ |
|||||||||
Замечание. |
a |
b |
|
|
a |
0 |
|
0 |
|
b |
|
|
|||
−b |
a |
= 0 |
a + |
−b |
|
0 = aE + bJ, где |
|||||||||
J = |
0 |
1 |
. Тогда {a · E : a R} R, J2 = (−J) |
2 |
= |
−E, т. е. J, |
|||
− |
1 |
0 |
|
||||||
|
|
|
|
|
|
|
|
|
|
−J — решения уравнения x2 + 1 = 0. |
|
|
|
|
|
||||
Вспомним определение поля C: C = {(a, b) : a, b R}. |
|
|
|
|
|||||
Теорема 2. C; +, · является полем, изоморфным P . |
|
|
|
||||||
Доказательство. Определим φ : P → C правилом |
φ |
a |
b |
= |
|||||
−b |
a |
||||||||
(a, b). Тогда φ — эпиморфизм, т. е. C — кольцо. Поскольку Ker φ = {0},
то P/Ker φ = P/ {0} = P C. |
|
|
|
|
|
|
|
□ |
|||||
Обозначим через Pn следующее множество: |
|
|
|
|
|||||||||
Pn := |
εk = cos 2n |
+ i sin n |
: 0 ≤ k ≤ n − 1 . |
|
|
||||||||
|
|
|
|
|
πk |
|
2πk |
|
|
|
|
|
|
Теорема 3. Pn; · Zn. |
|
|
|
|
|
|
|
|
|||||
Доказательство. Имеем: |
|
|
|
|
|
|
|
|
|||||
εk · εj = cos |
2π (k + j) |
+ i sin |
2π (k + j) |
= εr = cos |
2πr |
+ i sin |
2πr |
, |
|||||
|
|
|
|
|
|
|
|||||||
|
n |
n |
n |
n |
|||||||||
91
где r = r(k, j) — остаток от деления (k + j) на n.
Определим отображение → правилом ¯.
φ : Pn Zn φ (εk) = k
Покажем, что φ — гомоморфизм. Пусть r определено как и раньше,
тогда |
|
|
|
|
|
|
|
|
|
¯ |
¯ |
|
|
|
|||
φ (εk · εj) = φ (εr) = r¯ = k + j = k + j = φ (εk) + φ (εj) . |
|||||
Поскольку φ (εi) = 0 |
i = 0, то i = 0, и Ker φ = {1}. Очевидно, что |
||||
¯ |
¯ |
¯ |
|
|
|
φ сюръективно. Следовательно, Pn Zn. |
□ |
||||
§15. Максимальные идеалы колец и поля вычетов
Идеал I кольца K называется максимальным, если I ̸= K и для любого J K такого, что I J K, либо J = I, либо J = K. Обозначение: I max K.
Теорема 1. Пусть K — ассоциативное коммутативное кольцо с 1, I — идеал в K. Тогда K/I — поле I max K.
Доказательство. Пусть K/I — поле, I J K и I ̸= J. Тогда существует j J \ I. Так как K/I — поле, то существует x¯ K/I
такой, что j ·x¯ = 1. Следовательно, j ·x + I = 1 + I и 1 −j ·x I. Тогда |
|
¯ |
¯ |
j · x J, I J, и 1 J. Значит, 1 · k = k J для любого k K, т. е.
K = J.
Обратно, пусть I max K. Рассмотрим a K \ I и определим J := a · K + I := {ak + i : k K, i I}. Тогда J K, a J, и I J.
Следовательно, a ·K + I = K, а потому 1 = a ·x + i, где i I, и 1 |
= a¯ ·x¯ |
|
в K/I (1 / I, т. е. 1 |
¯ |
|
— единичный элемент в K/I). Таким образом, K/I |
||
¯ |
|
|
— поле. |
|
□ |
Поле K/I, где I maxK, а K — ассоциативное коммутативное кольцо с единицей, называется полем вычетов.
Пример. Как мы видели ранее, Zp = Z/pZ, где p — простое число, является полем. Следовательно, pZ max Z. Более того, все максимальные идеалы в Z имеют вид pZ, где p — простое число.
92
§16. Целостные кольца и поля частных. Поле рядов Лорана
Кольцо A называется целостным, если A — ассоциативное коммутативное кольцо без делителей нуля. Например, Z и Q — целостные кольца.
Наша цель — вложить целостное кольцо A в поле, т. е. построить такое поле F , что A можно рассматривать как подкольцо в F .
Построение поля частных. Рассмотрим множество
A × A = {(a, b) : a A, b A = A \ {0}} .
Разобьём A × A на классы эквивалентности:
(a, b) (c, d) ad = bc.
Лемма 1. “ ” — отношение эквивалентности на A × A . Доказательство. Очевидно, что (a, b) (a, b) и (a, b) (c, d)
(c, d) (a, b). Пусть (a, b) (c, d) , (c, d) (e, f), т. е. ad = bc, |
cf = ed. |
|||
Тогда adf = bcf, bcf = bed. Следовательно, af = be. |
□ |
|||
В силу теоремы |
1 из |
§ 1.5 |
A × A разбивается на клас- |
|
сы эквивалентности: |
Q (A) |
= |
{a/b : a, b A, b ̸= 0} , где |
a/b = |
{(x, y) A × A : (x, y) (a, b)} , причём a/b = c/d ad = bc. Определим операции (корректность легко проверяется) на Q (A):
a/b + c/d = (ad + bc) /bd, a/b · c/d = ac/bd.
Теорема 1. Для любого целостного кольца A алгебраическая система Q (A) ; +, · является полем, которое называется полем частных кольца A. При этом вложение f : A → Q (A), где f (a) = a/1, является изоморфизмом между A и f(A).
Доказательство. Легко |
видеть, что (a/b + c/d) + e/f = a/b + |
(c/d + e/f) , −a/b + a/b = 0, |
a/b + 0/b = a/b, a/b + c/d = c/d + a/b, |
(a/b · c/d) · e/f = a/b · (c/d · e/f) , a/b · 1/1 = a/b, a/b · b/a = 1/1, a, b ̸= 0, a/b · c/d = c/d · a/b. Таким образом, Q(A) — поле.
Пусть ¯ . Тогда
A = f (A) f (a + b) = (a+b)/1 = a/1+b/1 = f (a)+f (b) и f (a · b) = (a·b)/1 = a/1·b/1 = f (a)·f (b). Далее f (a) = f (b) a/1 =
¯ |
□ |
b/1 a = b. Таким образом, f — изоморфизм A и A. |
|
Пример: Q (Z) = Q, Z Q. |
|
Выясним, что из себя представляют Q(F [x]), Q(F [[x]]). |
|
93
|
Пусть f = a0 +akxk +ak+1xk+1 +. . . F [[x]] и ak ̸= 0. Назовём ниж- |
|||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
min |
{ |
k : a |
|
|
= 0 |
}. Положим |
||||||
ней степенью элемента f число v(f) = k = k |
≥ |
1 |
|
|
|
k |
̸ |
|||||||||||||||||||||||||||||
v a0 + 0 · x + 0 · x2 + . . . = ∞. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
Лемма 2. Пусть F |
— целостное кольцо. Тогда и F [[x]] целостно. |
||||||||||||||||||||||||||||||||||
|
Доказательство. Пусть |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
f = akxk + ak+1xk+1 + . . . F [[x]], ak ̸= 0, |
|
|
|||||||||||||||||||||||||||||||||
|
g = bmxm + bm+1xm+1 + . . . F [[x]], bm ̸= 0, |
|||||||||||||||||||||||||||||||||||
тогда f · g = akbmxk+m + . . . ̸= 0. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
□ |
|||||||||||||||
|
Лемма 3. Пусть f |
= 1 + h, где h = a1x + a2x2 + . . . Положим |
||||||||||||||||||||||||||||||||||
g = 1 − h + h2 − h3 + . . . Тогда f · g = 1. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
Доказательство. Если v (f) = ∞, то h = 0 и f = 1 = g, т. е. f ·g = 1. |
|||||||||||||||||||||||||||||||||||
Если v (f) < ∞, то v (g) = v (h) < ∞. Пусть v (f · g) = k < ∞. Тогда |
||||||||||||||||||||||||||||||||||||
f |
g = (1 + h) 1 − h + h2 − h3 + . . . − h2k+1 |
+(1 + h) h2k+2 − h2k+3 + . . . |
||||||||||||||||||||||||||||||||||
· |
|
= 1 |
− |
h2k+2 + (1 + h) h2k+2 |
|
h2k+3 + . . . = |
|
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
− |
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
2k+2 |
+ h |
2k+2 |
|
h2k+3 + . . . + h h2k+2 |
|
h2k+3 + . . . . |
||||||||||||||||||||||||||||
|
= 1 − h |
|
|
|
|
|
− |
=f1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
−=f2 |
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
| |
|
|
|
|
|
{z |
|
|
} |
|
|
| |
|
|
|
|
|
|
|
|
{z |
|
|
|
} |
|||||
|
v (f |
· |
g) |
≥ |
min v |
|
h2k+2 |
|
, v (f1), v (f2) |
≥ |
2k + 2. |
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
2k+2 |
|
|
|
|
+2 ≥ |
2k |
+2 |
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2k |
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
| |
|
|
{z |
|
} |
|
|
{z |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
≥ |
|
|≥ |
} | {z } |
|
|
|
|
|
|
|
|
□ |
||||||||||||
Следовательно, v (f · g) = +∞ и f · g = 1. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
no
Поле Q (F [x]) = F (x) = |
f(x) |
|
называется полем рацио- |
|||
|
: g(x) ̸= 0 |
|||||
g(x) |
||||||
нальных дробей, а Q (F [[x]]) = F ((x)) — полем рядов Лорана. |
||||||
|
∞ aixi |
|
|
|
|
|
=0 |
|
|
|
|
|
|
Обозначим |
iP |
из F ((x)) через |
∞ aixi. Докажем равенство: |
|||
xk |
||||||
|
|
|
|
|
i=−k |
|
|
|
|
|
|
P |
|
( ∞ )
X
F ((x)) = aixi : ai F, k N .
i=−k
Пусть g = ckxk (1 + h), где ck ̸= 0, k N, h F [[x]]. Тогда
f |
|
f |
|
c−1f |
· |
1 |
− |
h + h2 |
− |
h3 |
+ . . . |
|
∞ |
|
|
|
= |
|
= |
k |
|
|
|
|
= i= |
|
k aixi. |
||||
g |
ckxk (1 + h) |
|
|
|
|
xk |
|
|
|
− |
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
X |
||
94
Предметный указатель
аргумент комплексного числа, 11
базис, 26 вектор, 22 векторы
линейно зависимые, 25 линейно независимые, 25
гомоморфизм групп, 74 колец, 86 группа, 63, 64 абелева, 63
бесконечная, 67 знакопеременная, 72 конечная, 67 линейная полная, 64
линейная специальная, 64 симметрическая, 68 циклическая, 67
группоид, 64 группы
изоморфные, 74 декремент, 71 делитель
нуля, 83 детерминант, 51 дополнение
алгебраическое, 51 единица, 10
матричная, 33 знак
подстановки, 72 идеал, 86
максимальный, 92 изоморфизм, 62
групп, 74 колец, 87 пространств, 28
индекс подгруппы, 77
класс смежный, 76
кольца изоморфные, 87
кольцо, 81
Zn, 88 ассоциативное, 81
вычетов, 88 коммутативное, 81 степенных рядов, 84, 85 целостное, 93
координаты, 28 корень
из единицы, 12 коэффициенты
биномиальные, 12 системы, 14
матрица, 16
95
единичная, 39 квадратная, 38 невырожденная, 39 обратимая, 39 обратная, 39 преобразования, 35 присоединённая, 58 расширенная, 19 системы, 19 ступенчатая, 18 транспонированная, 42
матрицы эквивалентные, 44
минор, 51 многообразие
линейное, 48 многочлен, 82
унитарный, 82 модуль
комплексного числа, 11 моноид, 64 мономорфизм
колец, 87 неизвестная, 82 неизвестные
главные, 21, 46 свободные, 21, 46 системы, 14
область целостности, 83
оболочка линейная, 24
образ, 28 ограничение
отображения, 43 операция
n-арная, 62 бинарная, 9
ассоциативная, 9, 63
коммутативная, 9, 63 определитель, 51 отношение, 12
бинарное, 13 эквивалентности, 13
отображение биективное, 28 единичное, 38 инъективное, 28
кососимметрическое, 55 линейное, 32 невырожденное, 41 обратимое, 38 обратное, 38 полилинейное, 55 сюръективное, 28 тождественное, 38
пересечение пространств, 30
подгруппа, 66 нормальная, 78
порождённая элементом, 67 подкольцо, 81 подполе, 89 подпространство, 24 подсистема, 62 подстановка, 68
нечётная, 72 чётная, 72
подстановки независимые, 69
поле, 10, 88 Галуа, 89 вычетов, 92
комплексных чисел, 10 простое, 89 рациональных дробей, 94 рядов Лорана, 94 частных, 93
96
полугруппа, 64 кольца мультипликативная,
81
порядок группы, 67 элемента, 67
представитель класса, 76 преобразование
элементарное, 44 I типа, 15, 17 II типа, 15, 17 III типа, 44
проекция, 32 произведение декартово, 9 пространство векторное, 22
конечномерное, 26 линейное, 22 решений, 24 столбцов, 23 строк, 23
разбиение, 13 размерность, 27 ранг матрицы, 42
вертикальный, 41 горизонтальный, 41 по минорам, 60 по столбцам, 41 по строкам, 41
расширение поля, 89
рефлексивность, 13 решение
системы, 14 свободные
члены системы, 14
симметричность, 13 система
алгебраическая, 62 неопределённая, 14 несовместная, 14 однородная, 14 определённая, 14 решений фундаментальная,
48 совместная, 14 ступенчатая, 19
системы эквивалентные, 15
скаляр, 10, 22 степень
декартова, 9 многочлена, 83 элемента группы, 66
строка матрицы, 16
сумма пространств, 30
пространств прямая, 31 суперпозиция, 35 тело, 88 теорема
Кронекера — Капелли, 47 Кэли, 75 Лагранжа, 77
огомоморфизмах групп, 80
огомоморфизмах колец, 87
опростом подполе, 89
оразложении определителя, 57
об обобщённой ассоциативности, 65
об окаймляющем миноре, 60 транзитивность, 13 транспозиция, 68
97
умножение |
бесконечного порядка, 67 |
строки на матрицу, 33 |
единичный, 63 |
фактор-группа, 79 |
конечного порядка, 67 |
фактор-кольцо, 86 |
нейтральный, 10 |
формула |
нулевой, 10, 22 |
Муавра, 12 |
обратный, 10, 64 |
разложения определителя, |
порождающий, 67 |
51 |
противоположный, 10, 22 |
формулы |
эпиморфизм |
Крамера, 59 |
групп, 74 |
характеристика |
колец, 87 |
поля, 90 |
ядро |
цикл, 69 |
гомоморфизма групп, 74 |
эквивалентность, 13 |
гомоморфизма колец, 86 |
элемент |
линейного отображениия, 40 |
98
Учебное издание
Пожидаев Александр Петрович Сверчков Сергей Робертович Шестаков Иван Павлович
ЛЕКЦИИ ПО АЛГЕБРЕ Часть 1
Учебное пособие
Редактор Е. П. Войтенко Обложка Е. В. Неклюдовой
Подписано в печать 07.09.2022 г.
Формат 60 × 84 1/16. Уч.-изд. л. 6,2. Усл.-печ. л. 5,75. Тираж 110 экз. Заказ № 202
Издательско-полиграфический центр НГУ 630090, Новосибирск, ул. Пирогова, 2.
