Алгебра phys 1 сентябрь–октябрь

1  Основы алгебры

								По мере развития науки нам хочется получить нечто большее, чем просто формулу. Сначала мы наблюдаем явления, затем с по- мощью измерений получаем числа и, наконец, находим закон, связывающий эти числа. Но истинное величие науки состоит в том, что мы можем найти такой способ рассуждения, при котором закон становится очевидным. Р. Фейнман, Р. Лейтон, М. Сэндс. Фейнмановские лекции по физике. Том 3
								В принципе математику можно рассматривать как разновидность утонченной, усовершенствованной логики. Замечательно, что, построив правила этой логики и выучив их, человек получил орудие гораздо более мощное, чем обыкновенный «здравый смысл», основанный на традиционной, «домашней» логике. Человек руками создает простые орудия, применяя их, строит станки, с помо- щью которых создает еще более совершенные и сложные механизмы — и с помощью этих механизмов он способен сделать то, что недоступно голым рукам. Вот так же точно и математика, развивая все более сложные теории и создавая новые понятия, да- ет возможность овладеть самыми необычными явлениями природы. Я.Б. Зельдович, И.М. Яглом. Высшая математика для начинающих физиков и техников
								Развитие современной физики потребовало такого математического аппарата, который непрерывно расширяет свои основания и становится все более и более абстрактным. Неевклидова геометрия и некоммутативная алгебра, которые одно время считались чистой игрой разума и упражнениями для логических размышлений, теперь оказались необходимыми для описания весьма общих закономерностей физического мира. Похоже, что этот процесс возрастания степени абстракции будет продолжаться и в будущем и что развитие физики следует связывать с непрерывной модификацией и обобщением аксиом, лежащих в основе математики, а не с логическим развитием какой бы то ни было математической схемы, построенной на фиксированном основании. П.А.М. Дирак. Квантованные сингулярности в электромагнитном поле

1.1  Множества, отображения, отношения

1.1.1  Множества

• Логические связки: $\lnot$ — отрицание («не»), $\lor$ — дизъюнкция («или»), $\land$ — конъюнкция («и»), $\Rightarrow$ — импликация («влечет»), $\Leftrightarrow$ — эквивалентность.
• Лемма о логических связках. Пусть $a$, $b$, $c$ — высказывания; тогда
  (1) $(a\lor b)\lor c=a\lor (b\lor c)$, $a\lor b=b\lor a$, $(a\land b)\land c=a\land (b\land c)$, $a\land b=b\land a$;
  (2) $a\land (b\lor c)=(a\land b)\lor (a\land c)$, $a\lor (b\land c)=(a\lor b)\land (a\lor c)$;
  (3) $\lnot (a\lor b)=\lnot a\land \lnot b$, $\lnot (a\land b)=\lnot a\lor \lnot b$, $(a\Rightarrow b)=\lnot a\lor b$, $(a\Rightarrow b)=(\lnot b\Rightarrow \lnot a)$.
• Кванторы: $\exists$ — существование, $\forall$ — всеобщность («для любых»). Утверждение: $\lnot {\bigl (}\exists \,x\;(p(x)){\bigr )}\!=\!{\bigl (}\forall \,x\;(\lnot p(x)){\bigr )}$, $\lnot {\bigl (}\forall \,x\;(p(x)){\bigr )}\!=\!{\bigl (}\exists \,x\;(\lnot p(x)){\bigr )}$.
• Задание множества перечислением элементов: $\{\ldots \}$; $\in$ — принадлежность, $\varnothing$ — пустое множество, $\subseteq$ — включение, $\subset$ — строгое включение.
• Выделение подмножества: $\{x\in X\mid p(x)\}$. Операции над множествами: $\cup$ — объединение, $\cap$ — пересечение, $\setminus$ — разность, $\times$ — произведение.
• Лемма об операциях над множествами. Пусть $X$, $Y$, $Z$ — множества; тогда
  (1) $(X\cup Y)\cup Z=X\cup (Y\cup Z)$, $X\cup Y=Y\cup X$, $(X\cap Y)\cap Z=X\cap (Y\cap Z)$, $X\cap Y=Y\cap X$;
  (2) $X\cap (Y\cup Z)=(X\cap Y)\cup (X\cap Z)$, $X\cup (Y\cap Z)=(X\cup Y)\cap (X\cup Z)$;
  (3) если $U$ — множество и $X,Y\subseteq U$, то $U\setminus (X\cup Y)=(U\setminus X)\cap (U\setminus Y)$ и $U\setminus (X\cap Y)=(U\setminus X)\cup (U\setminus Y)$.
• Числовые множества: $\mathbb {N}$, $\mathbb {Z}$, $\mathbb {Q}$, $\mathbb {R}$ — натуральные, целые, рациональные, вещественные числа; $\mathbb {N} _{0}=\mathbb {N} \cup \{0\}$ и $\mathbb {Z} /n=\{0,\ldots ,n-1\}$ ($n\in \mathbb {N}$).
• $|X|$ — порядок (количество элементов) множества $X$, $2^{X}$ — множество подмножеств множества $X$, $X^{n}$ — $n$-я степень множества $X$ ($n\in \mathbb {N} _{0}$).

1.1.2  Отображения

• Множество отображений, действующих из мн.-ва $X$ в мн.-во $Y$: $\mathrm {Map} (X,Y)$. Область, кообласть, график отображения $f$: $\mathrm {Dom} \,f$, $\mathrm {Codom} \,f$, $\mathrm {Gr} \,f$.
• Образ множества $A$ относительно $f$ ($A\subseteq X$): $f(A)$, прообраз множества $B$ относительно $f$ ($B\subseteq Y$): $f^{-1}(B)$, образ отображения $f$: $\mathrm {Im} \,f=f(X)$.
• Сужения отображения $f$ ($A\subseteq X$ и $f(A)\subseteq B\subseteq Y$): $f|_{A}$ и $f|_{A\to B}$. Сокращенная запись образа: $\{f(x)\mid x\in X\}=\{y\in Y\mid \exists \,x\in X\;{\bigl (}f(x)=y{\bigr )}\}$.
• Инъекции: $\mathrm {Inj} (X,Y)=\{f\in \mathrm {Map} (X,Y)\mid \forall \,y\in Y\;{\bigl (}|f^{-1}(y)|\leq 1{\bigr )}\}$. Сюръекции: $\mathrm {Surj} (X,Y)=\{f\in \mathrm {Map} (X,Y)\mid \forall \,y\in Y\;{\bigl (}|f^{-1}(y)|\geq 1{\bigr )}\}$.
• Биекции: $\mathrm {Bij} (X,Y)=\mathrm {Inj} (X,Y)\cap \mathrm {Surj} (X,Y)$. Композиция отображений: $(g\circ f)(x)=g(f(x))$. Тождественное отображение: $\mathrm {id} _{X}(x)=x$.
• Теорема о композиции отображений. Пусть $X$, $Y$ — множества и $f\in \mathrm {Map} (X,Y)$; тогда
  (1) $f\circ \mathrm {id} _{X}=f$, $\mathrm {id} _{Y}\circ f=f$ и, если $Z$, $W$ — множества, $g\in \mathrm {Map} (Y,Z)$ и $h\in \mathrm {Map} (Z,W)$, то $(h\circ g)\circ f=h\circ (g\circ f)$;
  (2) если $X\neq \varnothing$, то $f\in \mathrm {Inj} (X,Y)$, если и только если $\exists \,f'\in \mathrm {Map} (Y,X)\;{\bigl (}f'\circ f=\mathrm {id} _{X}{\bigr )}$;
  (3) $f\in \mathrm {Surj} (X,Y)$, если и только если $\exists \,f'\in \mathrm {Map} (Y,X)\;{\bigl (}f\circ f'=\mathrm {id} _{Y}{\bigr )}$;
  (4) $f\in \mathrm {Bij} (X,Y)$, если и только если $\exists \,f'\in \mathrm {Map} (Y,X)\;{\bigl (}f'\circ f=\mathrm {id} _{X}\,\land \,f\circ f'=\mathrm {id} _{Y}{\bigr )}$ ($f'=f^{-1}$ — биекция, обратная к биекции $f$).
• Утверждение: $\sum _{y\in \mathrm {Im} \,f}\!|f^{-1}(y)|=|X|$. Принцип Дирихле. Пусть $X,Y$ — множества, $|X|=|Y|<\infty$; тогда $\,\mathrm {Inj} (X,Y)=\mathrm {Surj} (X,Y)=\mathrm {Bij} (X,Y)$.

1.1.3  Отношения

• Множество отношений между множествами $X$ и $Y$: $\mathrm {Rel} (X,Y)$. Область, кообласть, график отношения $\Delta$: $\mathrm {Dom} \,\Delta$, $\mathrm {Codom} \,\Delta$, $\mathrm {Gr} \,\Delta$. Примеры.
• Отношения эквивалентности: $\mathrm {EquivRel} (X)=\{{\sim }\in \mathrm {Rel} (X,X)\mid \forall \,x,y,z\in X\;{\bigl (}x\sim x\,\land \,(x\sim y\,\Rightarrow \,y\sim x)\,\land \,(x\sim y\,\land \,y\sim z\,\Rightarrow \,x\sim z){\bigr )}\}$.
• Класс эквивалентности: $\mathrm {cl} _{\sim }(x)=\{{\breve {x}}\in X\mid x\sim {\breve {x}}\}$. Утверждение: $x\sim {\breve {x}}\,\Leftrightarrow \,\mathrm {cl} _{\sim }(x)=\mathrm {cl} _{\sim }({\breve {x}})$. Фактормножество: $X/{\sim }=\{\mathrm {cl} _{\sim }(x)\mid x\in X\}$.
• Разбиения: $\mathrm {Part} (X)=\{{\mathcal {P}}\subseteq 2^{X}\!\setminus \!\{\varnothing \}\mid \bigcup _{A\in {\mathcal {P}}}A=X\;\land \;\forall \,A,B\in {\mathcal {P}}\;{\bigl (}A\neq B\,\Rightarrow \,A\cap B=\varnothing {\bigr )}\}$. Утверждение: $X/{\sim }\in \mathrm {Part} (X)$. Трансверсали.
• Теорема об отношениях эквивалентности и разбиениях. Пусть $X$ — множество; тогда отображение ${\biggl (}\!{\begin{aligned}\mathrm {EquivRel} (X)&\to \mathrm {Part} (X)\\\sim &\mapsto X/{\sim }\end{aligned}}\!{\biggr )}$ — биекция.
• Отношение ${\underset {\scriptscriptstyle f}{\sim }}$: $x\;{\underset {\scriptscriptstyle f}{\sim }}\;{\breve {x}}\,\Leftrightarrow \,f(x)=f({\breve {x}})$. Слои отображения $f$: $\{f^{-1}(y)\mid y\in \mathrm {Im} \,f\}$ ($=X/{\underset {\scriptscriptstyle f}{\sim }}$). Факторотображение ${\Biggl (}\!\!{\begin{aligned}X/{\underset {\scriptscriptstyle f}{\sim }}&\to \mathrm {Im} \,f\\\mathrm {cl} _{\underset {\scriptscriptstyle f}{\sim }}(x)&\mapsto f(x)\end{aligned}}{\Biggr )}$ — биекция.

1.2  Группы (часть 1)

1.2.1  Множества с операцией

• Внутренняя $n$-арная операция на $S$ — отображение, действующее из $S^{n}$ в $S$ (нульарная операция на $S$ — выделенный элемент множества $S$).
• Гомоморфизмы между мн.-вами с операцией: $\mathrm {Hom} (S,V)=\{f\in \mathrm {Map} (S,V)\mid \forall \,s_{1},\ldots ,s_{n}\in S\;{\bigl (}f(o_{S}(s_{1},\ldots ,s_{n}))=o_{V}(f(s_{1}),\ldots ,f(s_{n})){\bigr )}\}$.
• Утверждение: пусть $f\in \mathrm {Hom} (S,V)$ и $g\in \mathrm {Hom} (V,Y)$; тогда $g\circ f\in \mathrm {Hom} (S,Y)$. Изоморфизмы: $\mathrm {Iso} (S,V)=\mathrm {Hom} (S,V)\cap \mathrm {Bij} (S,V)$.
• Утверждение: пусть $f\in \mathrm {Iso} (S,V)$; тогда $f^{-1}\!\in \mathrm {Iso} (V,S)$. Эндоморфизмы: $\mathrm {End} (S)=\mathrm {Hom} (S,S)$. Автоморфизмы: $\mathrm {Aut} (S)=\mathrm {Iso} (S,S)$.
• Обозначение по Минковскому: $o_{S}(S_{1},\ldots ,S_{n})=\{o_{S}(s_{1},\ldots ,s_{n})\mid s_{1}\in S_{1},\ldots ,s_{n}\in S_{n}\}$. Примеры: $\mathbb {N} +\mathbb {N} =\mathbb {N} \!\setminus \!\{1\}$, $\mathbb {N} \cdot \mathbb {N} =\mathbb {N}$, $\mathbb {Z} +\mathbb {Z} =\mathbb {Z}$.
• Инфиксная запись бинарных операций. Ассоциативность: $\forall \,s,t,u\in S\;{\bigl (}(s\cdot t)\cdot u=s\cdot (t\cdot u){\bigr )}$. Коммутативность: $\forall \,s,t\in S\;{\bigl (}s\cdot t=t\cdot s{\bigr )}$.
• Полугруппа — множество с ассоциативной операцией. Гомоморфизмы полугрупп. Примеры полугрупп. Лемма об обобщенной ассоциативности.

  Лемма об обобщенной ассоциативности. Пусть $S$ — полугруппа, $n\in \mathbb {N}$ и $s_{1},\ldots ,s_{n}\in S$; тогда значение выражения $s_{1}\cdot \ldots \cdot s_{n}$ не зависит от
  расстановки скобок (то есть от порядка выполнения операций при вычислении этого выражения).

1.2.2  Моноиды и группы (основные определения и примеры)

• Моноид — полугруппа с нейтральным элементом (единицей). Единственность единицы, единица как нульарная операция. Гомоморфизмы моноидов.
• Примеры: числовые моноиды (по умножению или сложению), моноиды функций, моноиды слов $\mathrm {W} _{\otimes }(x_{1},\ldots ,x_{n})$, моноиды отображений $\mathrm {Map} (X)$.
• Обратимые элементы: $M^{\times }\!=\{m\in M\mid \exists \,m'\in M\;{\bigl (}m'\,m=m\,m'=1{\bigr )}\}$. Единственность обратного элемента. Утверждение: $M^{\times }\!\cdot M^{\times }\!\subseteq M^{\times }$.
• Группа — моноид, в котором любой элемент обратим. Гомоморфизмы групп. Группа $M^{\times }$ ($M$ — моноид). Таблица Кэли. Изоморфные группы: $G\cong J$.
• Примеры: числовые группы, группы функций, свободные группы $\mathrm {F} (x_{1},\ldots ,x_{n})$, группы биекций $\mathrm {Bij} (X)$, группы автоморфизмов графов $\mathrm {Aut} (\Gamma )$.
• Мультипликативные обозначения в группе $G$: $g\,h$, $1$, $g^{-1}$, $g^{n}$ ($n\in \mathbb {Z}$). Аддитивные обозначения в абелевой группе $A$: $a+b$, $0$, $-a$, $n\,a$ ($n\in \mathbb {Z}$).
• Симметрические группы: $\mathrm {S} (X)=\mathrm {Bij} (X)$, $\mathrm {S} _{n}=\mathrm {S} (\{1,\ldots ,n\})$. Запись перестановки в виде посл.-сти значений, цикловая запись. Лемма о циклах.

  Лемма о циклах. Пусть $l,m,n\in \mathbb {N}$, $i_{1},\ldots ,i_{l},j_{1},\ldots ,j_{m},k\in \{1,\ldots ,n\}$, числа $i_{1},\ldots ,i_{l},j_{1},\ldots ,j_{m},k$ попарно различны и $u\in \mathrm {S} _{n}$; тогда
  $(i_{1}\;\ldots \;i_{l}\;\,k)\circ (k\;\,j_{1}\;\ldots \;j_{m})=(i_{1}\;\ldots \;i_{l}\;\,k\;\,j_{1}\;\ldots \;j_{m})$, а также $u\circ (i_{1}\;\ldots \;i_{l})\circ u^{-1}\!=(u(i_{1})\;\ldots \;u(i_{l}))$.

1.2.3  Подгруппы, классы смежности, циклические группы

• Подгруппа: $H\leq G\,\Leftrightarrow \,H\cdot H\subseteq H\,\land \,1\in H\,\land \,H^{-1}\!\subseteq H$. Подгруппа, порожденная мн.-вом $D$: $\langle D\rangle \leq G\;\land \;\forall \,H\leq G\;{\bigl (}D\subseteq H\,\Leftrightarrow \,\langle D\rangle \subseteq H{\bigr )}$.
• Утверждение: $\langle D\rangle =\{d_{1}^{\varepsilon _{1}}\cdot \ldots \cdot d_{n}^{\varepsilon _{n}}\!\mid n\in \mathbb {N} _{0},\,d_{1},\ldots ,d_{n}\in D,\,\varepsilon _{1},\ldots ,\varepsilon _{n}\in \{1,-1\}\}$, а также $\langle g\rangle =\{g^{a}\!\mid a\in \mathbb {Z} \}$. Пример: $\mathbb {Z} ^{+}\!=\langle 1\rangle =\langle -1\rangle$.
• Отношения ${\underset {\;\,\scriptscriptstyle H}{\sim }}$ и ${\underset {\scriptscriptstyle H\;\,}{\sim }}$: $g\;{\underset {\;\,\scriptscriptstyle H}{\sim }}\;{\breve {g}}\,\Leftrightarrow \,g^{-1}{\breve {g}}\in H\,\Leftrightarrow \,gH={\breve {g}}H$ и $g\;{\underset {\scriptscriptstyle H\;\,}{\sim }}\;{\breve {g}}\,\Leftrightarrow \,{\breve {g}}\,g^{-1}\!\in H\,\Leftrightarrow \,Hg=H{\breve {g}}$. Утверждение: $\mathrm {cl} \!_{\underset {\;\,\scriptscriptstyle H}{\sim }}(g)=gH$ и $\mathrm {cl} _{\underset {\scriptscriptstyle H\;\,}{\sim }}\!(g)=Hg$.
• Множества классов смежности: $G/H=\{gH\mid g\in G\}=G/{\underset {\;\,\scriptscriptstyle H}{\sim }}$ и $H\backslash G=\{Hg\mid g\in G\}=G/{\underset {\scriptscriptstyle H\;\,}{\sim }}$. Теорема Лагранжа. Индекс: $|G:H|=|G/H|$.

  Теорема Лагранжа. Пусть $G$ — группа, $|G|<\infty$ и $H\leq G$; тогда $|G|=|H|\,|G/H|=|H|\,|H\backslash G|$ (и, значит, $|H|$ делит $|G|$).

• Порядок элемента: $\mathrm {ord} (g)=\min\{n\in \mathbb {N} \mid g^{n}=1\}$ ($\mathrm {ord} (g)\in \mathbb {N} \cup \{\infty \}$). Утверждение: пусть $n=\mathrm {ord} (g)\in \mathbb {N}$; тогда $\{a\in \mathbb {Z} \mid g^{a}=1\}=n\,\mathbb {Z}$.
• Лемма о порядке элемента. Пусть $G$ — группа и $g\in G$; тогда $\mathrm {ord} (g)=|\langle g\rangle |$ (и, значит, если $|G|<\infty$, то $\mathrm {ord} (g)$ делит $|G|$ и $g^{|G|}\!=1$).
• Лемма об обратимых остатках. Пусть $n\in \mathbb {N}$; тогда $(\mathbb {Z} /n)^{\times }\!=\{a\in \mathbb {Z} /n\mid \gcd(a,n)=1\}=\{a\in \mathbb {Z} /n\mid (\mathbb {Z} /n)^{+}\!=\langle a\rangle \}$.
• Циклическая группа: $\exists \,d\in G\;{\bigl (}G=\langle d\rangle {\bigr )}$. Примеры: $(\mathbb {Z} /n)^{+}$ ($n\in \mathbb {N}$), $\mathbb {Z} ^{+}$. Теорема о циклических группах. Первообразный корень по модулю $n$.

  Теорема о циклических группах. Пусть $G$ — циклич. группа; обозначим через $n$ величину $|G|$; тогда $n\in \mathbb {N}$ и $G\cong (\mathbb {Z} /n)^{+}$ или $n=\infty$ и $G\cong \mathbb {Z} ^{+}$.

1.2.4  Нормальные подгруппы, факторгруппы, прямое произведение групп

• Нормальная подгруппа: $H\trianglelefteq G\,\Leftrightarrow \,H\leq G\,\land \,\forall \,g\in G\;{\bigl (}gHg^{-1}\!\subseteq H{\bigr )}\,\Leftrightarrow \,H\leq G\,\land \,\forall \,g\in G\;{\bigl (}gH=Hg{\bigr )}$. Пример: $|G:H|=2\,\Rightarrow \,H\trianglelefteq G$.
• Отношение сопряженности: ${\bigl (}$$x$ и ${\breve {x}}$ сопряжены${\bigr )}$$\;\Leftrightarrow \;$$\exists \,g\in G\;{\bigl (}{\breve {x}}=g\,x\,g^{-1}{\bigr )}$. Нормальная подгруппа, порожденная мн.-вом $T$: $(T)={\bigl \langle }\!\bigcup _{g\in G}g\,Tg^{-1}{\bigr \rangle }$.
• Теорема о классах сопряженности в симметрических группах. Пусть $n\in \mathbb {N} _{0}$ и $s,{\breve {s}}\in \mathrm {S} _{n}$; тогда перестановки $s$ и ${\breve {s}}$ сопряжены, если и только
  если (неупорядоченные) наборы длин циклов перестановок $s$ и ${\breve {s}}$ равны.
• Ядро гомоморфизма $f$: $\mathrm {Ker} \,f=f^{-1}(1)\trianglelefteq G$. Образ гомоморфизма $f$: $\mathrm {Im} \,f\leq J$. Лемма о слоях гомоморфизма и следствие из этой леммы.

  Лемма о слоях гомоморфизма. Пусть $G,J$ — группы, $f\in \mathrm {Hom} (G,J)$, $j\in J$ и $g_{0}\in f^{-1}(j)$; тогда $f^{-1}(j)=g_{0}\,\mathrm {Ker} \,f$.

  Следствие из леммы о слоях гомоморфизма. Пусть $G,J$ — группы и $f\in \mathrm {Hom} (G,J)$; тогда $f\in \mathrm {Inj} (G,J)\,\Leftrightarrow \,\mathrm {Ker} \,f=\{1\}$.

• Факторгруппа: $G/H$ с фактороперациями ($H\trianglelefteq G$). Корректность опр.-я факторопераций. Теорема о гомоморфизме. Пример: $\mathbb {Z} ^{+}\!/n\,\mathbb {Z} \cong (\mathbb {Z} /n)^{+}$.

  Теорема о гомоморфизме. Пусть $G,J$ — группы и $f\in \mathrm {Hom} (G,J)$; тогда $G/\,\mathrm {Ker} \,f\cong \mathrm {Im} \,f$.

• Прямое произведение групп: $F\times H$ с покомпонентными операциями. Теорема о прямом произведении. Внутреннее прямое произведение подгрупп.

  Теорема о прямом произведении. Пусть $G$ — группа и $F,H\leq G$; обозначим через $\mathrm {mult} _{F,H}$ отображение ${\biggl (}\!{\begin{aligned}F\times H&\to G\\(f,h)&\mapsto f\,h\end{aligned}}\!{\biggr )}$; тогда
  (1) $\mathrm {mult} _{F,H}\in \mathrm {Hom} (F\times H,G)\,\Leftrightarrow \,\forall \,f\in F,\,h\in H\;{\bigl (}f\,h=h\,f{\bigr )}$, $\mathrm {mult} _{F,H}^{-1}(1)=\{(g,g^{-1})\mid g\in F\cap H\}$ и $\,\mathrm {Im} \,\mathrm {mult} _{F,H}=FH$;
  (2) $\mathrm {mult} _{F,H}\in \mathrm {Iso} (F\times H,G)\,\Leftrightarrow \,F\cap H=\{1\}\,\land \,G=FH\,\land \,\forall \,f\in F,\,h\in H\;{\bigl (}f\,h=h\,f{\bigr )}$;
  (3) если $|G|<\infty$, то $\mathrm {mult} _{F,H}\in \mathrm {Iso} (F\times H,G)\,\Leftrightarrow \,F\cap H=\{1\}\,\land \,|G|=|F|\,|H|\,\land \,\forall \,f\in F,\,h\in H\;{\bigl (}f\,h=h\,f{\bigr )}$.

1.3  Кольца (часть 1)

1.3.1  Определения и конструкции, связанные с кольцами

• Кольцо — абелева группа по сложению и моноид по умножению, бинарные операции в которых связаны дистрибутивностью. Гомоморфизмы колец.
• Примеры: числовые кольца, кольца функций. Аддитивная и мультипликативная группы кольца $R$: $R^{+}$ и $R^{\times }$. Характеристика кольца $R$: $\mathrm {char} \,R$.
• Подкольцо: $S\leq R\,\Leftrightarrow \,S+S\subseteq S\,\land \,0\in S\,\land \,-S\subseteq S\,\land \,S\cdot S\subseteq S\,\land \,1\in S$. Подкольцо, порожденное множеством. Кольца вида $S[r_{1},\ldots ,r_{n}]$.
• Идеал: $I\trianglelefteq R\,\Leftrightarrow \,I+I\subseteq I\,\land \,0\in I\,\land \,R\cdot I\cdot R\subseteq I$. Идеал, порожденный мн.-вом. Идеал, порожденный эл.-том $r$ коммут. кольца $R$: $(r)=R\,r$.
• Ядро гомоморфизма $f$: $\mathrm {Ker} \,f=f^{-1}(0)\trianglelefteq R$. Образ гомоморфизма $f$: $\mathrm {Im} \,f\leq U$. Лемма о слоях гомоморфизма и следствие из этой леммы.

  Лемма о слоях гомоморфизма. Пусть $R,U$ — кольца, $f\in \mathrm {Hom} (R,U)$, $u\in U$ и $r_{0}\in f^{-1}(u)$; тогда $f^{-1}(u)=r_{0}+\mathrm {Ker} \,f$.

  Следствие из леммы о слоях гомоморфизма. Пусть $R,U$ — кольца и $f\in \mathrm {Hom} (R,U)$; тогда $f\in \mathrm {Inj} (R,U)\,\Leftrightarrow \,\mathrm {Ker} \,f=\{0\}$.

• Факторкольцо: $R/I$ с фактороперациями ($I\trianglelefteq R$). Теорема о гомоморфизме. Прямое произведение колец: $Q\times S$ с покомпонентными операциями.

  Теорема о гомоморфизме. Пусть $R,U$ — кольца и $f\in \mathrm {Hom} (R,U)$; тогда $R/\,\mathrm {Ker} \,f\cong \mathrm {Im} \,f$.

• Кольца без делителей нуля. Область целостности — коммутативное кольцо без делителей нуля. Тело: $K^{\times }\!=K\!\setminus \!\{0\}$. Поле — коммутативное тело.
• Гомоморфизмы полей. Числовые поля. Конечные поля: $\mathbb {F} _{p}=\mathbb {Z} /p$ ($p\in \mathbb {P}$). Подполя. Подполе, порожденное множеством. Поля вида $L(c_{1},\ldots ,c_{n})$.