Вы находитесь на странице: 1из 2

Задание: Доказать, что любое кольцо изоморфно подкольцу некоторого кольца с единицей.

Решение:
Пусть R=(R, +, –, , 0) — кольцо без единицы (кольцо с единицей тривиальным образом
изоморфно само себе, хотя в дальнейшем построении это не принципиально — можно брать и кольцо с
единицей). Пусть eR — формальный символ. Построим расширение R[e] следующим образом
R[e]={r+qe | r, qR}. Сложение  и умножение  на R[e] определим следующим образом:
(r1+q1e)(r2+q2e)=(r1+r2)+(q1+q2)e и (r1+q1e)(r2+q2e)=(r1r2+r1q2+q1r2)+q1q2e. Утверждаем, что
R[e]=(R[e], , 2, , 0+0e, 0+1e) — кольцо с единицей, где роль нуля играет элемент 0+0e, единицы —
0+1e (в дальнейшем для простоты не будем различать R и R, R[e] и R[e]).
Проверим.
Поскольку r1+r2, q1+q2, r1r2+r1q2+q1r2 и q1q2R, то (r1+q1e)(r2+q2e)R[e] и
(r1+q1e)(r2+q2e)R[e], т.е.  и  — операции на R[e].
Коммутативность и ассоциативность сложения  на R[e] следует из коммутативности и
ассоциативности сложения на R, действительно:
(r1+q1e)(r2+q2e)=(r1+r2)+(q1+q2)e=(r2+r1)+(q2+q1)e=(r2+q2e)(r1+q1e) и ((r1+q1e)(r2+q2e))(r3+q3e)=
=((r1+r2)+(q1+q2)e)(r3+q3e)=((r1+r2)+r3)+((q1+q2)+q3)e=(r1+(r2+r3))+(q1+(q2+q3))e=
(r1+q1e)((r2+q2e)(r3+q3e)).
Проверим наличие нуля и противоположных элементов:
(r+qe)(0+0e)=(r+0)+(q+0)e=r+qe=(0+r)+(0+q)e=(0+0e)(r+qe), т.е. 0+0e — ноль относительно ;
(r+qe)(2(r+qe))=(r+qe)(–r–qe)=(r–r)+(q–q)e=0+0e=(–r+r)+(–q+q)e=(–r–qe)(r+qe) , т.е. –r–qe —
элемент, противоположный элементу r+qe.
Итак, R[e] — абелева (коммутативная) группа по сложению.
Проверим ассоциативность умножения на R[e]:
((r1+q1e)(r2+q2e))(r3+q3e)=((r1r2+r1q2+q1r2)+q1q2e)(r3+q3e)=(r1r2+r1q2+q1r2)r3+(r1r2+r1q2+q1r2)q3+q1q2r3
+q1q2q3e=r1r2r3+r1q2r3+q1r2r3+r1r2q3+r1q2q3+q1r2q3+q1q2r3+q1q2q3e;
(r1+q1e)((r2+q2e)(r3+q3e))=(r1+q1e)((r2r3+r2q3+q2r3)+q2q3e)=r1(r2r3+r2q3+q2r3)+r1q2q3+q1(r2r3+r2q3+q2r3)
+q1q2q3e=r1r2r3+r1q2r3+q1r2r3+r1r2q3+r1q2q3+q1r2q3+q1q2r3+q1q2q3e. Итак,
((r1+q1e)(r2+q2e))(r3+q3e)=(r1+q1e)((r2+q2e)(r3+q3e)).
Проверим дистрибутивность умножения относительно сложения на R[e]:
((r1+q1e)(r2+q2e))(r3+q3e)=((r1+r2)+(q1+q2)e)(r3+q3e)=(r1+r2)r3+(r1+r2)q3+(q1+q2)r3+(q1+q2)q3e=
=r1r3+r2r3+r1q3+r2q3+q1r3+q2r3+(q1q3+q2q3)e (здесь использовалась дистрибутивность в R);
((r1+q1e)(r3+q3e))((r2+q2e)(r3+q3e))=(r1r3+r1q3+q1r3+q1q3e)(r2r3+r2q3+q2r3+q2q3e)=r1r3+r1q3+q1r3+r2r3+
r2q3+q2r3+(q1q3+q2q3)e. Итак, ((r1+q1e)(r2+q2e))(r3+q3e)=((r1+q1e)(r3+q3e))((r2+q2e)(r3+q3e)).
(r1+q1e)((r2+q2e)(r3+q3e))=(r1+q1e)((r2+r3)+(q2+q3)e)=r1(r2+r3)+r1(q2+q3)+q1(r2+r3)+q1(q2+q3)e=
r1r2+r1r3+r1q2+r1q3+q1r2+q1r3+q1(q2+q3)e=r1r2+r1r3+r1q2+r1q3+q1r2+q1r3+(q1q2+q1q3)e;
((r1+q1e)(r2+q2e))((r1+q1e)(r3+q3e))=(r1r2+r1q2+q1r2+q1q2e)(r1r3+r1q3+q1r3+q1q3e)=r1r2+r1q2+q1r2+r1r3+
r1q3+q1r3+(q1q2+q1q3)e. Итак, (r1+q1e)((r2+q2e)(r3+q3e))=((r1+q1e)(r2+q2e))((r1+q1e)(r3+q3e)).
Проверим, что элемент 0+1e играет роль единицы кольца R[e]:
(r+qe)(0+1e)=r0+r1+q0+q1e=r+qe; (0+1e)(r+qe)=0r+0q+1r+1qe=r+qe.
Окончательно имеем, что R[e] — кольцо с единицей.
Рассмотрим R[e]0={r+qeR[e] | q=0}R[e] и докажем, что R[e]0 — подкольцо кольца R[e]:
пусть r1+0e, r2+0eR[e]0, тогда 2(r1+0e)=(–r1–0e)=(–r1+(–0)e)R[e]0;
(r1+0e)(r2+0e)=(r1+r2)+(0+0)e=(r1+r2)+0eR[e]0; 0+0eR[e] и
(r1+0e)(r2+0e)=r1r2+r10+0r2+00e=r1r2+0eR[e]0. Согласно критерию подкольца R[e]0 — подкольцо
кольца с единицей R[e].
Рассмотрим соответствие f:RR[e]0 действующее по правилу f(r)=r+0e. Докажем, что f —
изоморфизм R на R[e]0.
Если r1r2 то f(r1)=r1+0er2+0e=f(r2), значит f — функция. Очевидно, что область определения
функции f — Dom f =R (т.к. для всякого rR, r+0eR[e]0) поэтому f — отображение. Так же очевидны
сюръективность и инъективность f, т.е. f — биективное отображение R на R[e]0.
Проверим сохранение операций:
f(r1+r2)=(r1+r2)+0e=(r1+r2)+(0+0)e=(r1+0e)(r2+0e)=f(r1)f(r2); f(0)=0+0e; f(–r)=(–r1+0e)=
=(–r1–0e)=2(r+0e);
f(r1r2)=r1r2+0e=r1r2+0e=r1r2+r10+0r2+00e=(r1+0e)(r2+0e)=f(r1)f(r2).
Итак, все условия изоморфизма колец выполнены для f:RR[e]0. Тем самым доказано, что всякое
кольцо изоморфно некоторому подкольцу кольца с единицей (если бы исходное кольцо R было бы
кольцом с единицей 1, то 1 соответствовал бы элемент 1+0e — единица колец R[e] и R[e]0).