Алгебра phys 1 сентябрь–октябрь — различия между версиями
Goryachko (обсуждение | вклад) |
Goryachko (обсуждение | вклад) |
||
Строка 28: | Строка 28: | ||
<ul><li>Множество отношений между множествами <math>X</math> и <math>Y</math>: <math>\mathrm{Rel}(X,Y)</math>. Область отношения <math>\Delta</math>: <math>\mathrm{Dom}\,\Delta</math>, кообласть отношения <math>\Delta</math>: <math>\mathrm{Codom}\,\Delta</math>. Примеры. | <ul><li>Множество отношений между множествами <math>X</math> и <math>Y</math>: <math>\mathrm{Rel}(X,Y)</math>. Область отношения <math>\Delta</math>: <math>\mathrm{Dom}\,\Delta</math>, кообласть отношения <math>\Delta</math>: <math>\mathrm{Codom}\,\Delta</math>. Примеры. | ||
<li>Отношения эквивалентности: <math>\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)\}</math>. | <li>Отношения эквивалентности: <math>\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)\}</math>. | ||
− | <li>Класс эквивалентности: <math> | + | <li>Класс эквивалентности элемента <math>x</math>: <math>[x]_\sim\!=\{\breve x\in X\mid x\sim\breve x\}</math>. Утверждение: <math>x\sim\breve x\,\Leftrightarrow\,[x]_\sim\!=[\breve x]_\sim</math>. Фактормножество: <math>X/{\sim}=\{[x]_\sim\!\mid x\in X\}</math>. |
<li>Разбиения: <math>\mathrm{Part}(X)=\{\mathcal P\subseteq2^X\!\setminus\!\{\varnothing\}\mid\bigcup_{A\in\mathcal P}\!A=X\;\land\;\forall\,A,B\in\mathcal P\;\bigl(A\ne B\,\Rightarrow\,A\cap B=\varnothing\bigr)\}</math>. Утверждение: <math>X/{\sim}\in\mathrm{Part}(X)</math>. Трансверсали. | <li>Разбиения: <math>\mathrm{Part}(X)=\{\mathcal P\subseteq2^X\!\setminus\!\{\varnothing\}\mid\bigcup_{A\in\mathcal P}\!A=X\;\land\;\forall\,A,B\in\mathcal P\;\bigl(A\ne B\,\Rightarrow\,A\cap B=\varnothing\bigr)\}</math>. Утверждение: <math>X/{\sim}\in\mathrm{Part}(X)</math>. Трансверсали. | ||
<li><u>Теорема об отношениях эквивалентности и разбиениях.</u> <i>Пусть <math>X</math> — множество; тогда отображение <math>\biggl(\!\begin{align}\mathrm{EquivRel}(X)&\to\mathrm{Part}(X)\\\sim&\mapsto X/{\sim}\end{align}\!\biggr)</math> — биекция.</i> | <li><u>Теорема об отношениях эквивалентности и разбиениях.</u> <i>Пусть <math>X</math> — множество; тогда отображение <math>\biggl(\!\begin{align}\mathrm{EquivRel}(X)&\to\mathrm{Part}(X)\\\sim&\mapsto X/{\sim}\end{align}\!\biggr)</math> — биекция.</i> | ||
− | <li>Отношение <math>\underset{\scriptscriptstyle f}\sim</math>: <math>x\;\underset{\scriptscriptstyle f}\sim\;\breve x\,\Leftrightarrow\,f(x)=f(\breve x)</math>. | + | <li>Отношение <math>\underset{\scriptscriptstyle f}\sim</math>: <math>x\;\underset{\scriptscriptstyle f}\sim\;\breve x\,\Leftrightarrow\,f(x)=f(\breve x)</math>. Мн.-во слоев отобр.-я <math>f</math>: <math>\{f^{-1}(y)\mid y\in\mathrm{Im}\,f\}</math> (<math>=X/{\underset{\scriptscriptstyle f}\sim}</math>). Факторотображение <math>\Biggl(\!\begin{align}X/{\underset{\scriptscriptstyle f}\sim}&\to\mathrm{Im}\,f\\{[}x{]}_\underset{\scriptscriptstyle f}\sim\!&\mapsto f(x)\end{align}\Biggr)</math> — биекция. |
<li>Утверждение: <math>\sum_{y\in\mathrm{Im}\,f}\!\!|f^{-1}(y)|=|X|</math>. <u>Принцип Дирихле.</u> <i>Пусть <math>X,Y</math> — множества и <math>|X|=|Y|<\infty</math>; тогда <math>\,\mathrm{Inj}(X,Y)=\mathrm{Surj}(X,Y)=\mathrm{Bij}(X,Y)</math>.</i></ul> | <li>Утверждение: <math>\sum_{y\in\mathrm{Im}\,f}\!\!|f^{-1}(y)|=|X|</math>. <u>Принцип Дирихле.</u> <i>Пусть <math>X,Y</math> — множества и <math>|X|=|Y|<\infty</math>; тогда <math>\,\mathrm{Inj}(X,Y)=\mathrm{Surj}(X,Y)=\mathrm{Bij}(X,Y)</math>.</i></ul> | ||
Строка 59: | Строка 59: | ||
<ul><li>Подгруппа: <math>H\le G\,\Leftrightarrow\,H\cdot H\subseteq H\,\land\,1\in H\,\land\,H^{-1}\!\subseteq H</math>. Подгруппа, порожденная мн.-вом <math>D</math>: <math>\langle D\rangle</math> — наименьшая подгруппа, содержащая <math>D</math>. | <ul><li>Подгруппа: <math>H\le G\,\Leftrightarrow\,H\cdot H\subseteq H\,\land\,1\in H\,\land\,H^{-1}\!\subseteq H</math>. Подгруппа, порожденная мн.-вом <math>D</math>: <math>\langle D\rangle</math> — наименьшая подгруппа, содержащая <math>D</math>. | ||
<li>Утверждение: <i><math>\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\}\}</math> (в частности, <math>\langle g\rangle=\{g^a\!\mid a\in\mathbb Z\}</math>)</i>. Пример: <math>(\mathbb Z/n)^+\!=\langle1\rangle</math>. | <li>Утверждение: <i><math>\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\}\}</math> (в частности, <math>\langle g\rangle=\{g^a\!\mid a\in\mathbb Z\}</math>)</i>. Пример: <math>(\mathbb Z/n)^+\!=\langle1\rangle</math>. | ||
− | <li>Отношения <math>\underset{\;\,\scriptscriptstyle H}\sim</math> и <math>\underset{\scriptscriptstyle H\;\,}\sim</math>: <math>g\,\underset{\;\,\scriptscriptstyle H}\sim\;\breve g\,\Leftrightarrow\,g^{-1}\breve g\in H</math> (<math>\Leftrightarrow\,gH=\breve gH</math>) и <math>g\;\underset{\scriptscriptstyle H\;\,}\sim\,\breve g\,\Leftrightarrow\,\breve g\,g^{-1}\!\in H</math> (<math>\Leftrightarrow\,Hg=H\breve g</math>). Утверждение: <i><math> | + | <li>Отношения <math>\underset{\;\,\scriptscriptstyle H}\sim</math> и <math>\underset{\scriptscriptstyle H\;\,}\sim</math> (<math>H\le G</math>): <math>g\,\underset{\;\,\scriptscriptstyle H}\sim\;\breve g\,\Leftrightarrow\,g^{-1}\breve g\in H</math> (<math>\Leftrightarrow\,gH=\breve gH</math>) и <math>g\;\underset{\scriptscriptstyle H\;\,}\sim\,\breve g\,\Leftrightarrow\,\breve g\,g^{-1}\!\in H</math> (<math>\Leftrightarrow\,Hg=H\breve g</math>). Утверждение: <i><math>[g]\!_\underset{\;\,\scriptscriptstyle H}\sim\!=gH</math> и <math>[g]_\underset{\scriptscriptstyle H\;\,}\sim\!\!=Hg</math></i>. |
<li>Множества классов смежности: <math>G/H=\{gH\mid g\in G\}=G/\underset{\;\,\scriptscriptstyle H}\sim</math> и <math>H\backslash G=\{Hg\mid g\in G\}=G/\underset{\scriptscriptstyle H\;\,}\sim</math>. Теорема Лагранжа. Индекс: <math>|G:H|=|G/H|</math>. | <li>Множества классов смежности: <math>G/H=\{gH\mid g\in G\}=G/\underset{\;\,\scriptscriptstyle H}\sim</math> и <math>H\backslash G=\{Hg\mid g\in G\}=G/\underset{\scriptscriptstyle H\;\,}\sim</math>. Теорема Лагранжа. Индекс: <math>|G:H|=|G/H|</math>. | ||
<p><u>Теорема Лагранжа.</u> <i>Пусть <math>G</math> — группа, <math>|G|<\infty</math> и <math>H\le G</math>; тогда <math>|G|=|H|\,|G/H|=|H|\,|H\backslash G|</math> (и, значит, <math>|H|</math> делит <math>|G|</math>).</i></p> | <p><u>Теорема Лагранжа.</u> <i>Пусть <math>G</math> — группа, <math>|G|<\infty</math> и <math>H\le G</math>; тогда <math>|G|=|H|\,|G/H|=|H|\,|H\backslash G|</math> (и, значит, <math>|H|</math> делит <math>|G|</math>).</i></p> | ||
Строка 93: | Строка 93: | ||
<h5>1.3.2 Кольца многочленов</h5> | <h5>1.3.2 Кольца многочленов</h5> | ||
− | <ul><li> | + | <ul><li>Множество многочленов от переменной <math>x</math> над кольцом <math>R</math>: <math>R[x]=\mathrm{FinFunc}(\mathrm W(x),R)</math>; общий вид многочлена: <math>f_nx^n+\ldots+f_0</math>; операции в <math>R[x]</math>. |
− | + | <li>Степень и старший коэффициент многочлена. Лемма о степени многочлена. Делимость в <math>R[x]</math> (<math>R</math> — коммут. кольцо): <math>g\,|\,f\;\Leftrightarrow\;\exists\,h\in R[x]\;\bigl(f=g\,h\bigr)</math>. | |
+ | <p><u>Лемма о степени многочлена.</u> <i>Пусть <math>R</math> — кольцо без делителей нуля и <math>f,g\in R[x]</math>; тогда <math>\deg\,(f\,g)=\deg f+\deg g</math>, а также <math>R[x]^\times\!=R^\times</math>.</i></p> | ||
<li>Неприводимые многочлены: <math>\mathrm{Irr}(R[x])=(R[x]\!\setminus\!R^\times\!)\setminus\{g\,h\mid g,h\in R[x]\!\setminus\!R^\times\!\}</math>. Пример: если <math>K</math> — поле, <math>a,b\in K</math> и <math>a\ne0</math>, то <math>a\,x+b\in\mathrm{Irr}(K[x])</math>. | <li>Неприводимые многочлены: <math>\mathrm{Irr}(R[x])=(R[x]\!\setminus\!R^\times\!)\setminus\{g\,h\mid g,h\in R[x]\!\setminus\!R^\times\!\}</math>. Пример: если <math>K</math> — поле, <math>a,b\in K</math> и <math>a\ne0</math>, то <math>a\,x+b\in\mathrm{Irr}(K[x])</math>. | ||
<li>Лемма о делении с остатком. Операции <math>\mathrm{div}</math> и <math>\mathrm{mod}</math> (старший коэфф.-т многочл. <math>f</math> обратим): <math>g=(g\;\mathrm{div}\;f)\,f+(g\;\mathrm{mod}\;f)</math> и <math>\deg\,(g\;\mathrm{mod}\;f)<\deg f</math>. | <li>Лемма о делении с остатком. Операции <math>\mathrm{div}</math> и <math>\mathrm{mod}</math> (старший коэфф.-т многочл. <math>f</math> обратим): <math>g=(g\;\mathrm{div}\;f)\,f+(g\;\mathrm{mod}\;f)</math> и <math>\deg\,(g\;\mathrm{mod}\;f)<\deg f</math>. | ||
Строка 114: | Строка 115: | ||
<li>Тригонометрическая запись: <math>r\,(\cos\varphi+\sin\varphi\,\mathrm i)=r\,\mathrm e^{\varphi\,\mathrm i}</math>. Группа корней <math>n</math>-й степ. из <math>1</math>: <math>\{a\in\mathbb C\mid a^n\!=1\}=\{\mathrm e^{\frac{2\pi k}n\mathrm i}\!\mid k\in\{0,\ldots,n-1\}\}=\langle\mathrm e^{\frac{2\pi}n\mathrm i}\rangle</math>. | <li>Тригонометрическая запись: <math>r\,(\cos\varphi+\sin\varphi\,\mathrm i)=r\,\mathrm e^{\varphi\,\mathrm i}</math>. Группа корней <math>n</math>-й степ. из <math>1</math>: <math>\{a\in\mathbb C\mid a^n\!=1\}=\{\mathrm e^{\frac{2\pi k}n\mathrm i}\!\mid k\in\{0,\ldots,n-1\}\}=\langle\mathrm e^{\frac{2\pi}n\mathrm i}\rangle</math>. | ||
<li>Первообразные корни <math>n</math>-й степени из <math>1</math>. Корни <math>n</math>-й степени из <math>r\,\mathrm e^{\varphi\,\mathrm i}</math>: <math>\{a\in\mathbb C\mid a^n\!=r\,\mathrm e^{\varphi\,\mathrm i}\}=\{\sqrt[n]r\,\mathrm e^{\frac{\varphi+2\pi k}n\mathrm i}\!\mid k\in\{0,\ldots,n-1\}\}=\sqrt[n]r\,\mathrm e^{\frac\varphi n\mathrm i}\,\langle\mathrm e^{\frac{2\pi}n\mathrm i}\rangle</math>. | <li>Первообразные корни <math>n</math>-й степени из <math>1</math>. Корни <math>n</math>-й степени из <math>r\,\mathrm e^{\varphi\,\mathrm i}</math>: <math>\{a\in\mathbb C\mid a^n\!=r\,\mathrm e^{\varphi\,\mathrm i}\}=\{\sqrt[n]r\,\mathrm e^{\frac{\varphi+2\pi k}n\mathrm i}\!\mid k\in\{0,\ldots,n-1\}\}=\sqrt[n]r\,\mathrm e^{\frac\varphi n\mathrm i}\,\langle\mathrm e^{\frac{2\pi}n\mathrm i}\rangle</math>. | ||
− | <li>«Основная теорема алгебры»: <math>\mathbb C</math> — алгебраически замкнутое поле, то есть <math>\forall\,f\in\mathbb C[x]\!\setminus\!\mathbb C\ | + | <li>«Основная теорема алгебры»: <math>\mathbb C</math> — алгебраически замкнутое поле, то есть <math>\forall\,f\in\mathbb C[x]\!\setminus\!\mathbb C^\times\;\exists\,a\in\mathbb C\;\bigl(f(a)=0\bigr)</math> (без доказ.-ва; см. § 3 главы 6 в [3]). |
<li><u>Теорема о неприводимых многочленах над полями <b>R</b> и <b>C</b>.</u><br><i>(1) Пусть <math>f\in\mathbb R[x]</math>, <math>\alpha,\beta\in\mathbb R</math> и <math>\beta\ne0</math>; тогда <math>f(\alpha+\beta\,\mathrm i)=0\;\Leftrightarrow\,f(\alpha-\beta\,\mathrm i)=0\;\Leftrightarrow\,(x^2-2\alpha\,x+\alpha^2+\beta^2)\,|\,f</math>.<br>(2) <math>\mathrm{Irr}(\mathbb R[x])=\{a\,x+b\mid a,b\in\mathbb R,\,a\ne0\}\cup\{a\,x^2+b\,x+c\mid a,b,c\in\mathbb R,\,b^2-4a\,c<0\}</math> и <math>\,\mathrm{Irr}(\mathbb C[x])=\{a\,x+b\mid a,b\in\mathbb C,\,a\ne0\}</math>.</i></ul> | <li><u>Теорема о неприводимых многочленах над полями <b>R</b> и <b>C</b>.</u><br><i>(1) Пусть <math>f\in\mathbb R[x]</math>, <math>\alpha,\beta\in\mathbb R</math> и <math>\beta\ne0</math>; тогда <math>f(\alpha+\beta\,\mathrm i)=0\;\Leftrightarrow\,f(\alpha-\beta\,\mathrm i)=0\;\Leftrightarrow\,(x^2-2\alpha\,x+\alpha^2+\beta^2)\,|\,f</math>.<br>(2) <math>\mathrm{Irr}(\mathbb R[x])=\{a\,x+b\mid a,b\in\mathbb R,\,a\ne0\}\cup\{a\,x^2+b\,x+c\mid a,b,c\in\mathbb R,\,b^2-4a\,c<0\}</math> и <math>\,\mathrm{Irr}(\mathbb C[x])=\{a\,x+b\mid a,b\in\mathbb C,\,a\ne0\}</math>.</i></ul> | ||
Версия 04:00, 23 октября 2017
1 Основы алгебры
| ||||||||||||
|
1.1 Множества, отображения, отношения
1.1.1 Множества
- Логические операции: — отрицание («не»), — дизъюнкция («или»), — конъюнкция («и»), — импликация («влечет»), — эквивалентность.
- Кванторы: — существование («существует»), — всеобщность («для любых»), — существование и единственность («существует единственный»).
- Принадлежность: . Равенство множеств: . Включение и строгое включение между множ.-вами: и .
- Кванторы по элементам множества: и . Задание множества перечислением элементов: . Пустое множество: .
- Выделение подмножества: . Операции над мн.-вами: — объединение, — пересечение, — разность, — прямое произведение.
- Теорема об операциях над множествами. Пусть — множества; тогда
(1) и , а также и ;
(2) и ;
(3) если — множество и , то и . - Числовые множества: , , , — мн.-ва натуральных, целых, рациональных, вещественных чисел, , ().
- Множество подмножеств мн.-ва : . Прямая степень мн.-ва (): . Порядок (количество элементов) мн.-ва : ().
1.1.2 Отображения
- Множество отображений, действующих из мн.-ва в мн.-во : . Область отобр.-я : , кообласть отобр.-я : . Примеры.
- Образ множества относительно (): , прообраз множества относительно (): , образ отображения : .
- Сужения отображения ( и ): и . Сокращенная запись образа: .
- Инъекции: . Сюръекции: .
- Биекции: . Композиция отображений и : . Тождественное отображение: .
- Теорема о композиции отображений. Пусть — множества и ; тогда
(1) , и, если — множества, и , то ;
(2) если , то — инъекция, если и только если ;
(3) — сюръекция, если и только если ;
(4) — биекция, если и только если . - Отображение , обратное к отображению : и . Пример: взаимно обратные биекции и .
1.1.3 Отношения
- Множество отношений между множествами и : . Область отношения : , кообласть отношения : . Примеры.
- Отношения эквивалентности: .
- Класс эквивалентности элемента : . Утверждение: . Фактормножество: .
- Разбиения: . Утверждение: . Трансверсали.
- Теорема об отношениях эквивалентности и разбиениях. Пусть — множество; тогда отображение — биекция.
- Отношение : . Мн.-во слоев отобр.-я : (). Факторотображение — биекция.
- Утверждение: . Принцип Дирихле. Пусть — множества и ; тогда .
1.2 Группы (часть 1)
1.2.1 Множества с операцией
- Внутренняя -арная операция на мн.-ве — отображение, действующее из в (нульарная операция на — выделенный элемент множества ).
- Гомоморфизмы между мн.-вами с операцией: .
- Изоморфизмы: . Эндоморфизмы мн.-ва с опер.: . Автоморфизмы: .
- Теорема о композиции гомоморфизмов. Пусть и — множества с -арной операцией; тогда
(1) для любых и выполнено ;
(2) для любых выполнено . - Обозначение по Минковскому: . Примеры: , , .
- Инфиксная запись бинарных опер.-й. Ассоциативность: ; коммутативность (абелевость): .
- Полугруппа — множество с ассоциативной операцией. Гомоморфизмы полугрупп. Лемма об обобщенной ассоциативности. Степени эл.-та полугруппы.
Лемма об обобщенной ассоциативности. Пусть — полугруппа, и ; тогда значение выражения не зависит от
расстановки скобок (то есть от порядка выполнения операций при вычислении этого выражения).
1.2.2 Моноиды и группы (основные определения и примеры)
- Моноид — полугруппа с нейтральным элементом (единицей). Единственность единицы, единица как нульарная операция. Гомоморфизмы моноидов.
- Примеры: числовые моноиды, моноиды остатков, моноиды функций , моноиды отображений , моноиды слов и .
- Обратимые элементы: . Единственность обратного элемента. Утверждение: .
- Группа — моноид, в котором любой элемент обратим. Гомоморфизмы групп. Группа ( — моноид). Таблица Кэли. Изоморфные группы: .
- Примеры: числовые группы, группы остатков и , группы функций , группы биекций , свободные группы .
- Группа изометрий пр.-ва : , где .
- Симметрические группы: . Запись перестановки в виде послед.-сти значений. Цикловая запись перестановки. Лемма о циклах.
Лемма о циклах. Пусть , , числа попарно различны и ; тогда
, а также . - Мультипликативные обозначения: , , , (). Степени эл.-та группы. Аддитивные обозн.-я в абелевой группе: , , , ().
1.2.3 Подгруппы, классы смежности, циклические группы
- Подгруппа: . Подгруппа, порожденная мн.-вом : — наименьшая подгруппа, содержащая .
- Утверждение: (в частности, ). Пример: .
- Отношения и (): () и (). Утверждение: и .
- Множества классов смежности: и . Теорема Лагранжа. Индекс: .
Теорема Лагранжа. Пусть — группа, и ; тогда (и, значит, делит ).
- Порядок элемента: (). Утверждение: пусть ; тогда .
- Лемма о порядке элемента. Пусть — группа и ; тогда и, если , то делит и .
- Теорема об обратимых остатках.
(1) Пусть и ; тогда .
(2) Пусть ; тогда (в частности, если , то ).
(3) Пусть , и не делит ; тогда (это малая теорема Ферма). - Циклическая группа: . Примеры: для любых , , для некоторых . Теорема о циклических группах.
Теорема о циклических группах. Пусть — циклическая группа и ; тогда, если , то , и, если , то .
1.2.4 Нормальные подгруппы, факторгруппы, прямое произведение групп
- Нормальная подгруппа: . Пример: если , то .
- Сопряжение при помощи эл.-та : . Отнош.-е сопряженности: и сопряжены. Классы сопряженности.
- Нормальная подгруппа, порожденная множеством : — наименьшая нормальная подгруппа, содержащая . Утверждение: .
- Ядро и образ гомоморфизма : и . Утверждение: и . Теорема о слоях и ядре гомоморфизма. Примеры.
Теорема о слоях и ядре гомоморфизма. Пусть — группы и ; тогда
(1) для любых и выполнено ;
(2) — инъекция, если и только если . - Факторгруппа: с фактороперациями (). Корректность опред.-я факторопераций. Теорема о гомоморфизме. Пример: .
Теорема о гомоморфизме. Пусть — группы и ; тогда .
- Задание группы образующими и соотношениями ( — множество, ): . Пример: .
- Прямое произведение групп: с покомпонентными операциями. Утверждение: и — гомоморфизмы групп.
- Теорема о прямом произведении. Пусть — группа и ; обозначим через отображение ; тогда
(1) , и ;
(2) ;
(3) если , то в пункте (2) условие "" можно заменить на условие "".
1.3 Кольца (часть 1)
1.3.1 Определения и конструкции, связанные с кольцами
- Кольцо — абелева группа по сложению и моноид по умножению, бинарные операции в которых связаны дистрибутивностью. Гомоморфизмы колец.
- Примеры: числовые кольца, кольца остатков , кольца функций . Аддитивная и мультипликативная группы кольца : и .
- Подкольцо: . Подкольцо, порожденное мн.-вом : . Подкольца вида .
- Идеал: . Идеал, порожд. мн.-вом : . Пример: если — коммут. кольцо и , то .
- Ядро и образ гомоморфизма : и . Факторкольцо: с фактороперациями (). Корректность. Теорема о гомоморфизме.
Теорема о гомоморфизме. Пусть — кольца и ; тогда .
- Прямое произв.-е колец: с покомпонент. операциями. Характеристика кольца : , если ; иначе .
- Кольцо без делителей нуля: и . Область целостности — коммут. кольцо без делителей нуля. Тело: .
- Поле — коммутативное тело. Гомоморфизмы полей. Примеры: числовые поля, поля , где . Подполя. Подполе, порожденное мн.-вом.
1.3.2 Кольца многочленов
- Множество многочленов от переменной над кольцом : ; общий вид многочлена: ; операции в .
- Степень и старший коэффициент многочлена. Лемма о степени многочлена. Делимость в ( — коммут. кольцо): .
Лемма о степени многочлена. Пусть — кольцо без делителей нуля и ; тогда , а также .
- Неприводимые многочлены: . Пример: если — поле, и , то .
- Лемма о делении с остатком. Операции и (старший коэфф.-т многочл. обратим): и .
Лемма о делении с остатком. Пусть — коммутативное кольцо, и старший коэффициент многочлена обратим; тогда
существуют единственные такие многочлены , что и . - Кольцо остатков по модулю многочлена ( — поле, ): . Утверждение: .
- Сопост.-е многочлену полиномиал. функции — гомоморфизм (, ).
- Обозначение: . Корень многочлена в кольце : . Теорема Безу. Теорема о корнях многочлена и следствие из нее.
Теорема Безу. Пусть — коммутативное кольцо, и ; тогда (и, значит, ).
Теорема о корнях многочлена. Пусть — область целостности и ; тогда .
Следствие из теоремы о корнях многочлена. Пусть — область целостности, , и ; тогда .
- Теорема Виета. Пусть — коммутативное кольцо, , и ;
тогда для любых выполнено (в частности, и ).
1.3.3 Поле комплексных чисел
- Кольцо комплексных чисел: , где . Утверждение: . Комплексные числа как точки плоскости .
- Вещественная и мнимая части: и . Сопряжение: . Модуль: .
- Теорема о свойствах комплексных чисел.
(1) Для любых выполнено и, если , то (и, значит, — поле).
(2) Для любых выполнено и (и, значит, отображение — автоморфизм поля ).
(3) Для любых выполнено (и, значит, отображение — гомоморфизм групп). - Единичная окружность в : . Экспонента от комплексного числа : . Теорема о свойствах экспоненты.
Теорема о свойствах экспоненты.
(1) Для любых выполнено , а также и .
(2) Для любых выполнено .
(3) и , а также и . - Тригонометрическая запись: . Группа корней -й степ. из : .
- Первообразные корни -й степени из . Корни -й степени из : .
- «Основная теорема алгебры»: — алгебраически замкнутое поле, то есть (без доказ.-ва; см. § 3 главы 6 в [3]).
- Теорема о неприводимых многочленах над полями R и C.
(1) Пусть , и ; тогда .
(2) и .
1.3.4 Тело кватернионов
- Кольцо кватернионов: , где , а также , , .
- Скалярная (вещественная) и векторная (мнимая) части кватерниона: и .
- Чистые кватернионы: . Скалярное произвед.-е, норма, векторное произвед.-е в : , , .
- Лемма об умножении кватернионов. Сопряжение: . Модуль: . Утверждение: .
Лемма об умножении кватернионов. Для любых и выполнено .
- Теорема о свойствах кватернионов.
(1) Для любых выполнено и, если , то (и, значит, — тело).
(2) Для любых выполнено и (и, значит, отображение — антиавтоморфизм тела ).
(3) Для любых выполнено (и, значит, отображение — гомоморфизм групп). - Трехмерная сфера: . Утверждение: пусть ; тогда опр.-но корректно и явл.-ся изометрией.
- Изометрии в (): (доказательство только включения ).
- Изометрии в (): (док.-во только ).