Алгебра phys 1 ноябрь–декабрь — различия между версиями

Версия 03:00, 29 октября 2017

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

1.4  Кольца (часть 2)

1.4.1  Делимость в коммутативных кольцах

• Делимость, строгая делимость, ассоциированность в коммут. кольце ${\displaystyle R}$: ${\displaystyle s\,|\,r\;\Leftrightarrow \;\exists \,t\in R\;{\bigl (}r=s\,t{\bigr )}}$; ${\displaystyle s\,|\!\!|\!\!|\,r\;\Leftrightarrow \;s\,|\,r\,\land \,\lnot (r\,|\,s)}$; ${\displaystyle r\overset{\scriptscriptstyle\mid}\sim s\;\Leftrightarrow\;r\,|\,s\,\land\,s\,|\,r}$.
• Наибольший относ.-но ${\displaystyle |}$ общий делитель ${\displaystyle r}$ и ${\displaystyle s}$: ${\displaystyle \mathrm{gcd}(r,s)}$; наименьшее относ.-но ${\displaystyle |}$ общее кратное ${\displaystyle r}$ и ${\displaystyle s}$: ${\displaystyle \mathrm{lcm}(r,s)}$; ${\displaystyle \mathrm {gcd} }$ и ${\displaystyle \mathrm {lcm} }$ опр.-ны с точностью до ${\displaystyle {\overset {\scriptscriptstyle \mid }{\sim }}}$.
• Нормировка ${\displaystyle \mathrm {gcd} }$ и ${\displaystyle \mathrm {lcm} }$ (если они не ${\displaystyle 0}$) в ${\displaystyle \mathbb {Z} }$ и ${\displaystyle K[x]}$: ${\displaystyle \mathrm{gcd}(a,b)\in\mathbb N}$ и ${\displaystyle \mathrm{lcm}(a,b)\in\mathbb N}$ — в ${\displaystyle \mathbb {Z} }$, многочлены ${\displaystyle \mathrm {gcd} (f,g)}$ и ${\displaystyle \mathrm {lcm} (f,g)}$ нормированы — в ${\displaystyle K[x]}$.
• Главный идеал — идеал вида ${\displaystyle (r)}$. Пример неглавн. идеала: ${\displaystyle (2)+(x)}$ в ${\displaystyle \mathbb {Z} [x]}$. Область главных идеалов — обл. цел.-сти, в которой все идеалы главные.
• Теорема о делимости и главных идеалах. Пусть ${\displaystyle R}$ — коммутативное кольцо и ${\displaystyle r,s,t\in R}$; тогда
  (1) ${\displaystyle s\,|\,r\,\Leftrightarrow \,(r)\subseteq (s)}$; ${\displaystyle s\,|\!\!|\!\!|\,r\,\Leftrightarrow \,(r)\subset (s)}$; ${\displaystyle r\overset{\scriptscriptstyle\mid}\sim s\,\Leftrightarrow\,(r)=(s)}$; ${\displaystyle r\in R^\times\Leftrightarrow\,r\overset{\scriptscriptstyle\mid}\sim1\,\Leftrightarrow\,(r)=R}$;
  (2) если ${\displaystyle R}$ — область целостности, то ${\displaystyle r\neq 0\;\Rightarrow \;\forall \,a,b\in R\;{\bigl (}a\,r=b\,r\,\Rightarrow \,a=b{\bigr )}}$, а также ${\displaystyle r\overset{\scriptscriptstyle\mid}\sim s\;\Leftrightarrow\;\exists\,\varepsilon\in R^\times\bigl(r=\varepsilon\,s\bigr)}$;
  (3) ${\displaystyle t\overset{\scriptscriptstyle\mid}\sim\mathrm{lcm}(r,s)\,\Leftrightarrow\,(t)=(r)\cap(s)}$ и, если идеал ${\displaystyle (r)+(s)}$ главный, то ${\displaystyle t\overset{\scriptscriptstyle\mid}\sim\mathrm{gcd}(r,s)\,\Leftrightarrow\,(t)=(r)+(s)}$;
  (4) если в кольце ${\displaystyle R}$ все идеалы главные, то ${\displaystyle \,\mathrm{gcd}(r,s)}$ и ${\displaystyle \,\mathrm{lcm}(r,s)}$ существуют, а также ${\displaystyle (R/(r))^\times\!=\{s+(r)\in R/(r)\mid\mathrm{gcd}(r,s)\overset{\scriptscriptstyle\mid}\sim1\}}$.
• Неприводимые и простые эл.-ты: ${\displaystyle \mathrm {Irr} (R)=(R\!\setminus \!R^{\times }\!)\setminus \{s\,t\mid s,t\in R\!\setminus \!R^{\times }\!\}}$ и ${\displaystyle \mathrm {Prime} (R)=\{r\in R\!\setminus \!(R^{\times }\!\cup \{0\})\mid \forall \,s,t\in R\;{\bigl (}r\,|\,s\,t\,\Rightarrow \,r\,|\,s\,\lor \,r\,|\,t{\bigr )}\}}$.
• Теорема о неприводимых и простых элементах. Пусть ${\displaystyle R}$ — коммутативное кольцо; тогда
  (1) если ${\displaystyle R}$ — область целостности, то ${\displaystyle \,\mathrm {Prime} (R)\subseteq \mathrm {Irr} (R)}$;
  (2) если ${\displaystyle R}$ — область главных идеалов, то ${\displaystyle \,\mathrm {Irr} (R)=\mathrm {Prime} (R)}$;
  (3) для любых ${\displaystyle r\in R\!\setminus \!\{0\}}$ следующие утверждения эквивалентны: (у1) ${\displaystyle r\in \mathrm {Prime} (R)}$ и (у2) ${\displaystyle R/(r)}$ — область целостности;
  (4) если ${\displaystyle R}$ — область главных идеалов, то для любых ${\displaystyle r\in R\!\setminus \!\{0\}}$ следующие утверждения эквивалентны: (у1) ${\displaystyle r\in \mathrm {Irr} (R)}$, (у2) ${\displaystyle r\in \mathrm {Prime} (R)}$,
  (у3) ${\displaystyle R/(r)}$ — область целостности и (у4) ${\displaystyle R/(r)}$ — поле.

1.4.2  Евклидовы кольца и факториальные кольца

• Евклидова норма на ${\displaystyle R}$: ${\displaystyle \nu \,\colon R\to N}$ (${\displaystyle N\subseteq \mathbb {N} _{0}\cup \{-\infty \}}$), где ${\displaystyle \,\forall\,r\in R\!\setminus\!\{0\},\,s\in R\;\,\exists\,q,t\in R\;\bigl(s=q\,r+t\,\land\,\nu(t)<\nu(r)\bigr)}$ и ${\displaystyle \nu }$ не убывает относ.-но ${\displaystyle |}$.
• Евклидово кольцо — область целостности с евклидовой нормой. Примеры: ${\displaystyle \mathbb {Z} }$ (${\displaystyle \nu (a)=|a|}$); ${\displaystyle K[x]}$ (${\displaystyle \nu (f)=\deg f}$); ${\displaystyle \mathbb {Z} [\mathrm {i} ]}$, ${\displaystyle \mathbb {Z} [{\sqrt {2}}\,\mathrm {i} ]}$, ${\displaystyle \mathbb {Z} [\mathrm {e} ^{{\frac {2\pi }{3}}\mathrm {i} }]}$ (${\displaystyle \nu (a)=|a|^{2}}$).
• Теорема о евклидовых кольцах. Пусть ${\displaystyle R}$ — евклидово кольцо с евклидовой нормой ${\displaystyle \nu }$; тогда
  (1) для любых ${\displaystyle r\in R\!\setminus \!\{0\}}$ и ${\displaystyle s\in R}$ выполнено ${\displaystyle s\,|\!\!|\!\!|\,r\,\Rightarrow \,\nu (s)<\nu (r)}$;
  (2) в ${\displaystyle R}$ невозможна бесконечная строгая делимость (то есть в ${\displaystyle R}$ не существует такой бесконечной послед.-сти ${\displaystyle r_{1},r_{2},\ldots }$, что ${\displaystyle \forall\,i\in\mathbb N\;\bigl(r_{i+1}\,|\!\!|\!\!|\,r_i\bigr)}$);
  (3) если ${\displaystyle I\trianglelefteq R}$, то для любых ${\displaystyle r\in I\!\setminus \!\{0\}}$ выполнено ${\displaystyle I=(r)\,\Leftrightarrow \,\nu (r)=\min\{\nu (s)\mid s\in I\!\setminus \!\{0\}\}}$;
  (4) ${\displaystyle R}$ — область главных идеалов (в частности, кольца ${\displaystyle \,\mathbb {Z} }$ и ${\displaystyle K[x]}$, где ${\displaystyle K}$ — поле, являются областями главных идеалов).
• Факториальное кольцо — область целостности с ${\displaystyle {\overset {\scriptscriptstyle \mid }{\sim }}}$-единственным разложением любого ненулевого элемента в произведение неприводимых элементов.
• Примеры: ${\displaystyle \mathbb {Z} }$ — факториальное кольцо (это основная теорема арифметики); если кольцо ${\displaystyle R}$ факториально, то и ${\displaystyle R[x]}$ факториально (без доказательства).
• Теорема о факториальности евклидовых колец.
  (1) Пусть ${\displaystyle R}$ — область целостности, в ${\displaystyle R}$ невозможна бесконечная строгая делимость и ${\displaystyle \,\mathrm {Irr} (R)=\mathrm {Prime} (R)}$; тогда ${\displaystyle R}$ — факториальное кольцо.
  (2) Евклидовы кольца являются факториальными кольцами (в частности, кольца ${\displaystyle \,\mathbb {Z} }$ и ${\displaystyle K[x]}$, где ${\displaystyle K}$ — поле, являются факториальными кольцами).
• Теорема о факториальных кольцах. Пусть ${\displaystyle R}$ — факториальное кольцо и ${\displaystyle r,s\in R\!\setminus \!\{0\}}$; разложим ${\displaystyle r}$ и ${\displaystyle s}$ в произведение неприводимых элементов:
  ${\displaystyle r\overset{\scriptscriptstyle\mid}\sim p_1^{d_1}\!\cdot\ldots\cdot p_k^{d_k}}$ и ${\displaystyle s\overset{\scriptscriptstyle\mid}\sim p_1^{e_1}\!\cdot\ldots\cdot p_k^{e_k}}$, где ${\displaystyle k\in \mathbb {N} _{0}}$, ${\displaystyle p_{1},\ldots ,p_{k}\in \mathrm {Irr} (R)}$, ${\displaystyle p_{1},\ldots ,p_{k}}$ попарно неассоциированы и ${\displaystyle d_{1},\ldots ,d_{k},e_{1},\ldots ,e_{k}\in \mathbb {N} _{0}}$; тогда
  (1) ${\displaystyle s\,|\,r\;\Leftrightarrow \;\forall \,i\in \{1,\ldots ,k\}\;{\bigl (}e_{i}\leq d_{i}{\bigr )}}$ и ${\displaystyle r\overset{\scriptscriptstyle\mid}\sim s\;\Leftrightarrow\;\forall\,i\in\{1,\ldots,k\}\;\bigl(d_i=e_i\bigr)}$;
  (2) ${\displaystyle \mathrm{gcd}(r,s)\overset{\scriptscriptstyle\mid}\sim p_1^{\min(d_1,e_1)}\!\cdot\ldots\cdot p_k^{\min(d_k,e_k)}}$ и ${\displaystyle \,\mathrm{lcm}(r,s)\overset{\scriptscriptstyle\mid}\sim p_1^{\max(d_1,e_1)}\!\cdot\ldots\cdot p_k^{\max(d_k,e_k)}}$.

1.4.3  Алгоритм Евклида, китайская теорема об остатках, функция Эйлера

• Соотношение Безу для эл.-тов ${\displaystyle r}$ и ${\displaystyle s}$ евклид. кольца: ${\displaystyle u\,r+v\,s\overset{\scriptscriptstyle\mid}\sim\mathrm{gcd}(r,s)}$, где ${\displaystyle u}$ и ${\displaystyle v}$ — коэффициенты Безу. Нахождение ${\displaystyle (s+(r))^{-1}}$ в кольце ${\displaystyle R/(r)}$.
• Алгоритм Евклида в евклидовом кольце: ${\displaystyle r_{0}=s}$ и ${\displaystyle r_{1}=r}$; на ${\displaystyle i}$-м шаге ${\displaystyle r_{i-1}=q_{i}r_{i}+r_{i+1}}$ и ${\displaystyle \nu (r_{i+1})<\nu (r_{i})}$; тогда, если ${\displaystyle r_{n+1}=0}$, то ${\displaystyle r_n\overset{\scriptscriptstyle\mid}\sim\mathrm{gcd}(r,s)}$.
• Расширенный алгоритм Евклида в евклидовом кольце: ${\displaystyle r_n=-q_{n-1}r_{n-1}+r_{n-2}}$; на ${\displaystyle i}$-м шаге ${\displaystyle r_n=u_ir_i+v_ir_{i-1}}$; тогда ${\displaystyle r_n=u_1r+v_1s\overset{\scriptscriptstyle\mid}\sim\mathrm{gcd}(r,s)}$.
• Китайская теорема об остатках для целых чисел. Пусть ${\displaystyle k\in \mathbb {N} _{0}}$, ${\displaystyle n_{1},\ldots ,n_{k}\in \mathbb {N} }$ и ${\displaystyle n_{1},\ldots ,n_{k}}$ попарно взаимно просты (то есть ${\displaystyle \forall\,i,j\in\{1,\ldots,k\}}$
  ${\displaystyle \bigl(i\ne j\,\Rightarrow\,\mathrm{gcd}(n_i,n_j)=1\bigr)}$); тогда отображение ${\displaystyle \biggl(\!\begin{align}\mathbb Z/(n_1\cdot\ldots\cdot n_k)&\to\mathbb Z/n_1\times\ldots\times\mathbb Z/n_k\\a&\mapsto(a\;\mathrm{mod}\;n_1,\ldots,a\;\mathrm{mod}\;n_k)\end{align}\!\biggr)}$ — изоморфизм колец.
• Китайская теорема об остатках для многочленов. Пусть ${\displaystyle K}$ — поле, ${\displaystyle k\in \mathbb {N} _{0}}$, ${\displaystyle f_{1},\ldots ,f_{k}\in K[x]\!\setminus \!\{0\}}$ и ${\displaystyle f_{1},\ldots ,f_{k}}$ попарно взаимно просты (то есть
  ${\displaystyle \forall \,i,j\in \{1,\ldots ,k\}\;{\bigl (}i\neq j\,\Rightarrow \,\mathrm {gcd} (f_{i},f_{j})=1{\bigr )}}$); тогда отображение ${\displaystyle \biggl(\!\begin{align}K[x]/(f_1\cdot\ldots\cdot f_k)&\to K[x]/f_1\times\ldots\times K[x]/f_k\\a&\mapsto(a\;\mathrm{mod}\,f_1,\ldots,a\;\mathrm{mod}\,f_k)\end{align}\!\biggr)}$ — изоморфизм колец.
• Функция Эйлера от ${\displaystyle n}$: ${\displaystyle \phi (n)=|\{a\in \mathbb {Z} /n\mid \mathrm {gcd} (a,n)=1\}|}$. Пример: если ${\displaystyle p\in \mathbb {P} }$ и ${\displaystyle d\in \mathbb {N} }$, то ${\displaystyle \phi (p^{d})=p^{d-1}(p-1)}$. Утверждение: ${\displaystyle \phi(n)=|(\mathbb Z/n)^\times\!|}$.
• Теорема о свойствах функции Эйлера.
  (1) Пусть ${\displaystyle n\in \mathbb {N} }$, ${\displaystyle a\in \mathbb {Z} }$ и ${\displaystyle \mathrm {gcd} (a,n)=1}$; тогда ${\displaystyle a^{\phi (n)}\!\equiv 1\;(\mathrm {mod} \;n)}$ (это теорема Эйлера).
  (2) Пусть ${\displaystyle m,n\in \mathbb {N} }$ и ${\displaystyle \mathrm {gcd} (m,n)=1}$; тогда ${\displaystyle \phi (mn)=\phi (m)\,\phi (n)}$.
  (3) Пусть ${\displaystyle n\in \mathbb {N} }$; разложим ${\displaystyle n}$ в произведение простых чисел: ${\displaystyle n=p_{1}^{d_{1}}\!\cdot \ldots \cdot p_{k}^{d_{k}}}$, где ${\displaystyle k\in \mathbb {N} _{0}}$, ${\displaystyle p_{1},\ldots ,p_{k}\in \mathbb {P} }$, ${\displaystyle p_{1},\ldots ,p_{k}}$ попарно различны и
  ${\displaystyle d_{1},\ldots ,d_{k}\in \mathbb {N} }$; тогда ${\displaystyle \phi (n)=p_{1}^{d_{1}-1}(p_{1}-1)\cdot \ldots \cdot p_{k}^{d_{k}-1}(p_{k}-1)=n\,{\Bigl (}1-{\frac {1}{p_{1}}}{\Bigr )}\cdot \ldots \cdot {\Bigl (}1-{\frac {1}{p_{k}}}{\Bigr )}}$.

1.4.4  Производная многочлена, интерполяция, рациональные дроби

• Производная многочлена: ${\displaystyle (f_nx^n+\ldots+f_0)'\!=nf_nx^{n-1}+\ldots+f_1}$. Правило Лейбница. Пусть ${\displaystyle R}$ — кольцо и ${\displaystyle f,g\in R[x]}$; тогда ${\displaystyle (fg)'\!=f'g+f\,g'}$.
• Корень ${\displaystyle r}$ кратности ${\displaystyle k}$ многочлена ${\displaystyle f}$: ${\displaystyle (x-r)^k\,|\,f\,\land\,\lnot\bigl((x-r)^{k+1}\,|\,f\bigr)}$ (${\displaystyle \Leftrightarrow\;\exists\,g\in R[x]\;\bigl(f=(x-r)^kg\,\land\,g(r)\ne0\bigr)}$). Теорема о кратных корнях.

  Теорема о кратных корнях. Пусть ${\displaystyle R}$ — коммутативное кольцо, ${\displaystyle f\in R[x]}$, ${\displaystyle r\in R}$ и ${\displaystyle k\in \mathbb {N} }$; тогда
  (1) если ${\displaystyle r}$ — корень кратности не меньше ${\displaystyle k}$ многочлена ${\displaystyle f}$, то ${\displaystyle r}$ — корень кратности не меньше ${\displaystyle k-1}$ многочлена ${\displaystyle f'}$;
  (2) если ${\displaystyle R}$ — область целостности, ${\displaystyle \mathrm {char} \,R}$ не делит ${\displaystyle k}$ и ${\displaystyle r}$ — корень кратности ${\displaystyle k}$ многочлена ${\displaystyle f}$, то ${\displaystyle r}$ — корень кратности ${\displaystyle k-1}$ многочлена ${\displaystyle f'}$;
  (3) ${\displaystyle r}$ — кратный корень многочлена ${\displaystyle f}$ (то есть корень кратности не меньше ${\displaystyle 2}$), если и только если ${\displaystyle r}$ — корень многочленов ${\displaystyle f}$ и ${\displaystyle f'}$.

• Теорема об интерполяции. Пусть ${\displaystyle K}$ — поле, ${\displaystyle n\in \mathbb {N} _{0}}$, ${\displaystyle c_{1},\ldots ,c_{n},e_{1},\ldots ,e_{n}\in K}$ и ${\displaystyle c_{1},\ldots ,c_{n}}$ попарно различны; тогда существует единственный
  такой многочлен ${\displaystyle f\in K[x]}$, что ${\displaystyle \forall\,i\in\{1,\ldots,n\}\;\bigl(f(c_i)=e_i\bigr)}$ и ${\displaystyle \deg f<n}$, и этот многочлен можно найти по следующим формулам:
  (1) ${\displaystyle f=\sum _{i=1}^{n}e_{i}l_{i}}$, где ${\displaystyle \forall \,i\in \{1,\ldots ,n\}\;{\biggl (}l_{i}={\frac {(x-c_{1})\cdot \ldots \cdot (x-c_{i-1})\cdot (x-c_{i+1})\cdot \ldots \cdot (x-c_{n})}{(c_{i}-c_{1})\cdot \ldots \cdot (c_{i}-c_{i-1})\cdot (c_{i}-c_{i+1})\cdot \ldots \cdot (c_{i}-c_{n})}}{\biggr )}}$ (это интерполяционная формула Лагранжа);
  (2) ${\displaystyle f=f_{n}}$, где ${\displaystyle f_{0}=0}$ и ${\displaystyle \forall \,i\in \{1,\ldots ,n\}\;{\biggl (}f_{i}=f_{i-1}+{\bigl (}e_{i}-f_{i-1}(c_{i}){\bigr )}{\frac {(x-c_{1})\cdot \ldots \cdot (x-c_{i-1})}{(c_{i}-c_{1})\cdot \ldots \cdot (c_{i}-c_{i-1})}}{\biggr )}}$ (это интерполяционная формула Ньютона).
• Поле частных: ${\displaystyle \mathrm {Q} (R)={\bigl (}R\times (R\!\setminus \!\{0\}){\bigr )}/{\sim }}$, где ${\displaystyle (r,s)\sim ({\breve {r}},{\breve {s}})\,\Leftrightarrow \,r{\breve {s}}={\breve {r}}s}$ и ${\displaystyle [(r,s)]_\sim\!+[(t,u)]_\sim\!=[(ru+st,su)]_\sim}$, ${\displaystyle [(r,s)]_\sim[(t,u)]_\sim\!=[(rt,su)]_\sim}$.
• Теорема о поле частных. Отождествл.-е ${\displaystyle r}$ и ${\displaystyle [(r,1)]_\sim}$. Примеры: ${\displaystyle \mathrm {Q} (\mathbb {Z} )\cong \mathbb {Q} }$, ${\displaystyle K(x)=\mathrm {Q} (K[x])={\Bigl \{}{\frac {f}{g}}\!\mid f,g\in K[x],\,g\neq 0{\Bigr \}}}$ — поле рацион.-х дробей.

  Теорема о поле частных. Пусть ${\displaystyle R}$ — область целостности; тогда отображение ${\displaystyle \biggl(\!\begin{align}R&\to\mathrm Q(R)\\r&\mapsto[(r,1)]_\sim\end{align}\!\biggr)}$ — инъективный гомоморфизм колец, а также
  для любых ${\displaystyle r\in R}$ и ${\displaystyle s\in R\!\setminus \!\{0\}}$ выполнено ${\displaystyle [(r,s)]_\sim\!=\frac{[(r,1)]_\sim}{[(s,1)]_\sim}}$ (и, значит, ${\displaystyle \mathrm Q(R)=\Bigl\{\frac{[(r,1)]_\sim}{[(s,1)]_\sim}\!\mid r,s\in R,\,s\ne0\Bigr\}}$).

• Несократимая запись: ${\displaystyle {\frac {f}{g}}}$ (${\displaystyle \mathrm {gcd} (f,g)=1}$, ${\displaystyle g}$ нормир.). Приведение к несократ. записи. Правильная дробь: ${\displaystyle {\frac {f}{g}}}$ (${\displaystyle \deg f<\deg g}$). Выделение правил. дроби.
• Примарная дробь: ${\displaystyle {\frac {f}{h^{d}}}}$ (${\displaystyle h\in \mathrm {Irr} (K[x])}$, ${\displaystyle h}$ нормир., ${\displaystyle d\in \mathbb {N} }$, ${\displaystyle \deg f<\deg h^{d}}$). Простейшая дробь: ${\displaystyle {\frac {f}{h^{d}}}}$ (${\displaystyle h\in \mathrm {Irr} (K[x])}$, ${\displaystyle h}$ нормир., ${\displaystyle d\in \mathbb {N} }$, ${\displaystyle \deg f<\deg h}$).
• Метод неопределенных коэффиц.-тов для разложения правильной дроби в сумму простейших дробей (док.-во корректности см. в п. 3 в § 4 главы 5 в [3]).

1.4.5  Матрицы, столбцы, строки

• Множества матриц, столбцов и строк: ${\displaystyle \mathrm {Mat} (p,n,R)}$, ${\displaystyle R^{n}\!=\mathrm {Mat} (n,1,R)}$ и ${\displaystyle R_{n}\!=\mathrm {Mat} (1,n,R)}$. Сложение матриц и умножение матриц на скаляры.
• Умножение матриц: ${\displaystyle (b\cdot a)_{k}^{i}=\sum _{j=1}^{p}b_{j}^{i}\,a_{k}^{j}}$. Внешняя ассоциативность умножения. Кольцо ${\displaystyle \mathrm {Mat} (n,R)=\mathrm {Mat} (n,n,R)}$, группа ${\displaystyle \mathrm {GL} (n,R)=\mathrm {Mat} (n,R)^{\times }}$.
• Матрицы специального вида: диагональные, скалярные, верхнетреугольные, нижнетреугольные, треугольные. Блочные и блочно-треугольные матрицы.
• Матрицы, столбцы, строки с одной единицей: ${\displaystyle ({\underline {e}}_{i}^{j})_{l}^{k}=\delta _{i}^{k}\delta _{l}^{j}}$, ${\displaystyle ({\underline {e}}_{i})^{k}=\delta _{i}^{k}}$, ${\displaystyle ({\underline {e}}^{j})_{l}=\delta _{l}^{j}}$. Утверждение: ${\displaystyle {\underline {e}}_{i}^{j}\cdot {\underline {e}}_{k}^{l}=\delta _{k}^{j}{\underline {e}}_{i}^{l}}$, ${\displaystyle {\underline {e}}_{i}\cdot {\underline {e}}^{j}={\underline {e}}_{i}^{j}}$, ${\displaystyle {\underline {e}}^{j}\cdot {\underline {e}}_{i}=\delta _{i}^{j}}$.
• Строки матрицы ${\displaystyle a}$: ${\displaystyle a_{\bullet }^{i}={\underline {e}}^{i}\cdot a}$. Столбцы матрицы ${\displaystyle a}$: ${\displaystyle a_{j}^{\bullet }=a\cdot {\underline {e}}_{j}}$. Утверждение: ${\displaystyle (b\cdot a)_{\bullet }^{i}=b_{\bullet }^{i}\cdot a=\sum _{j=1}^{p}b_{j}^{i}\,a_{\bullet }^{j}}$, а также ${\displaystyle (b\cdot a)_{k}^{\bullet }=b\cdot a_{k}^{\bullet }=\sum _{j=1}^{p}b_{j}^{\bullet }\,a_{k}^{j}}$.
• Транспонирование матрицы ${\displaystyle a}$: ${\displaystyle (a^{\mathtt {T}})_{j}^{i}=a_{i}^{j}}$. След квадратной матрицы ${\displaystyle a}$: ${\displaystyle \mathrm {tr} \,a=\sum _{i=1}^{n}a_{i}^{i}}$. Теорема о транспонировании, следе и произведении матриц.

  Теорема о транспонировании, следе и произведении матриц. Пусть ${\displaystyle R}$ — коммутативное кольцо, ${\displaystyle n,p,r\in \mathbb {N} _{0}}$, ${\displaystyle a\in \mathrm {Mat} (p,n,R)}$ и ${\displaystyle b\in \mathrm {Mat} (r,p,R)}$;
  тогда ${\displaystyle (b\cdot a)^{\mathtt {T}}\!=a^{\mathtt {T}}\!\cdot b^{\mathtt {T}}}$, а также, если ${\displaystyle n=r}$, то ${\displaystyle \mathrm {tr} (b\cdot a)=\mathrm {tr} (a\cdot b)}$.

• Симметрич. и антисимм. матрицы: ${\displaystyle \mathrm{SMat}(n,R)=\{a\in\mathrm{Mat}(n,R)\mid a^\mathtt T\!=a\}}$ и ${\displaystyle \mathrm{AMat}(n,R)=\{a\in\mathrm{Mat}(n,R)\mid a^\mathtt T\!=-a\,\land\,a^1_1=\ldots=a^n_n=0\}}$.
• Линейные операторы между ${\displaystyle R^n}$ и ${\displaystyle R^p}$ (координатное определение): ${\displaystyle \{\bigl(v\mapsto a\cdot v\bigr)\!\mid a\in\mathrm{Mat}(p,n,R)\}}$. Теорема о линейных операторах и матрицах.

  Теорема о линейных операторах и матрицах. Пусть ${\displaystyle R}$ — кольцо и ${\displaystyle n,p\in \mathbb {N} _{0}}$; тогда отобр. ${\displaystyle \biggl(\!\begin{align}\mathrm{Mat}(p,n,R)&\to\{\bigl(v\mapsto a\cdot v\bigr)\!\mid a\in\mathrm{Mat}(p,n,R)\}\\a&\mapsto\bigl(v\mapsto a\cdot v\bigr)\end{align}\!\biggr)}$ —
  изоморфизм групп по сложению и, если ${\displaystyle n=p}$, то это отображение — изоморфизм колец.

1.5  Группы (часть 2)

1.5.1  Симметрические группы

• Транспозиции: ${\displaystyle (i\;\,j)}$ (${\displaystyle i,j\in \{1,\ldots ,n\}}$, ${\displaystyle i<j}$). Фундаментальные транспозиции: ${\displaystyle (i\;\,i+1)}$ (${\displaystyle i\in \{1,\ldots ,n-1\}}$). Число циклов в перестановке ${\displaystyle u}$: ${\displaystyle \kappa (u)}$.
• Множество инверсий последовательности ${\displaystyle (f_1,\ldots,f_n)}$: ${\displaystyle \mathrm {inv} (f_{1},\ldots ,f_{n})=\{(i,j)\in \{1,\ldots ,n\}^{2}\!\mid i<j\;\land \,f_{i}>f_{j}\}}$. Лемма о количестве инверсий.

  Лемма о количестве инверсий. Пусть ${\displaystyle n\in \mathbb {N} \!\setminus \!\{1\}}$, ${\displaystyle f_{1},\ldots ,f_{n}\in \mathbb {R} }$, ${\displaystyle l=|\mathrm {inv} (f_{1},\ldots ,f_{n})|}$ и ${\displaystyle i\in \{1,\ldots ,n-1\}}$; тогда
  (1) ${\displaystyle (f_{1},\ldots ,f_{n})\circ (i\;\,i+1)=(f_{1},\ldots ,f_{i-1},f_{i+1},f_{i},f_{i+2},\ldots ,f_{n})}$;
  (2) если ${\displaystyle f_{i}>f_{i+1}}$, то ${\displaystyle |\mathrm {inv} ((f_{1},\ldots ,f_{n})\circ (i\;\,i+1))|=l-1}$, и, если ${\displaystyle f_{i}<f_{i+1}}$, то ${\displaystyle |\mathrm {inv} ((f_{1},\ldots ,f_{n})\circ (i\;\,i+1))|=l+1}$.

• Теорема о сортировке пузырьком. Пусть ${\displaystyle n\in \mathbb {N} _{0}}$, ${\displaystyle f_{1},\ldots ,f_{n}\in \mathbb {R} }$ и ${\displaystyle l=|\mathrm {inv} (f_{1},\ldots ,f_{n})|}$; обозначим через ${\displaystyle {\hat {f_{1}}},\ldots ,{\hat {f_{n}}}}$ числа ${\displaystyle f_{1},\ldots ,f_{n}}$,
  упорядоченные по неубыванию (то есть ${\displaystyle \mathrm {inv} ({\hat {f_{1}}},\ldots ,{\hat {f_{n}}})=\varnothing }$); тогда
  (1) существуют такие фундаментальные транспозиции ${\displaystyle u_{1},\ldots ,u_{l}\in \mathrm {S} _{n}}$, что ${\displaystyle (f_{1},\ldots ,f_{n})\circ u_{1}\circ \ldots \circ u_{l}=({\hat {f_{1}}},\ldots ,{\hat {f_{n}}})}$;
  (2) для любых ${\displaystyle l'\!\in \mathbb {N} _{0}}$ из существования таких фундаментальных транспозиций ${\displaystyle u_{1},\ldots ,u_{l'}\!\in \mathrm {S} _{n}}$, что ${\displaystyle (f_{1},\ldots ,f_{n})\circ u_{1}\circ \ldots \circ u_{l'}=({\hat {f_{1}}},\ldots ,{\hat {f_{n}}})}$,
  следует, что ${\displaystyle l\leq l'}$, а также в том случае, когда числа ${\displaystyle f_{1},\ldots ,f_{n}}$ попарно различны, что ${\displaystyle l\equiv l'\;(\mathrm {mod} \;2)}$.
• Знак последовательности ${\displaystyle (f_1,\ldots,f_n)}$: ${\displaystyle \mathrm {sgn} (f_{1},\ldots ,f_{n})=(-1)^{|\mathrm {inv} (f_{1},\ldots ,f_{n})|}}$, если числа ${\displaystyle f_{1},\ldots ,f_{n}}$ попарно различны; иначе ${\displaystyle \mathrm {sgn} (f_{1},\ldots ,f_{n})=0}$.
• Знак перестановки ${\displaystyle u}$: ${\displaystyle \mathrm {sgn} (u)=\mathrm {sgn} (u(1),\ldots ,u(n))}$. Теорема о свойствах знака. Знакопеременная группа: ${\displaystyle \mathrm {A} _{n}=\{u\in \mathrm {S} _{n}\!\mid \mathrm {sgn} (u)=1\}\trianglelefteq \mathrm {S} _{n}}$.

  Теорема о свойствах знака. Пусть ${\displaystyle n\in \mathbb {N} _{0}}$; тогда
  (1) отображение ${\displaystyle {\biggl (}\!{\begin{aligned}\mathrm {S} _{n}\!&\to \{1,-1\}\\u&\mapsto \mathrm {sgn} (u)\end{aligned}}\!{\biggr )}}$ — гомоморфизм групп и, если ${\displaystyle n\geq 2}$, то это отображение — сюръекция и ${\displaystyle |\{u\in\mathrm S_n\!\mid\mathrm{sgn}(u)=1\}|=\frac{n!}2}$;
  (2) для любых таких ${\displaystyle i,j\in \{1,\ldots ,n\}}$, что ${\displaystyle i<j}$, выполнено ${\displaystyle |\mathrm {inv} ((i\;\,j))|=2(j-i)-1}$ и ${\displaystyle \mathrm {sgn} ((i\;\,j))=-1}$;
  (3) для любых ${\displaystyle m\in \{1,\ldots ,n\}}$ и попарно различных чисел ${\displaystyle i_{1},\ldots ,i_{m}\in \{1,\ldots ,n\}}$ выполнено ${\displaystyle \mathrm {sgn} ((i_{1}\;\ldots \;i_{m}))=(-1)^{m-1}}$;
  (4) для любых ${\displaystyle u\in \mathrm {S} _{n}}$ выполнено ${\displaystyle \mathrm {sgn} (u)=(-1)^{n-\kappa (u)}}$.

• Теорема о классах сопряженности в симметрических группах. Пусть ${\displaystyle n\in \mathbb {N} _{0}}$ и ${\displaystyle s,{\breve {s}}\in \mathrm {S} _{n}}$; тогда перестановки ${\displaystyle s}$ и ${\displaystyle {\breve {s}}}$ сопряжены, если и только если
  (неупорядоченные) наборы длин циклов перестановок ${\displaystyle s}$ и ${\displaystyle {\breve {s}}}$ (то есть цикловые типы перестановок ${\displaystyle s}$ и ${\displaystyle {\breve {s}}}$) равны.
• Задание группы ${\displaystyle \mathrm S_n}$ коксетеровскими образующими и соотношениями (без доказат.-ва). Примеры: ${\displaystyle \mathrm S_3\cong\langle d_1,d_2\!\mid d_1^2,d_2^2,(d_1d_2)^3\rangle}$, задание группы ${\displaystyle \mathrm S_4}$.

1.5.2  Группы матриц

• Определитель квадр. матрицы ${\displaystyle a}$ над коммут. кольцом: ${\displaystyle \det a=\sum_{u\in\mathrm S_n}\mathrm{sgn}(u)\,a^{u(1)}_1\!\cdot\ldots\cdot a^{u(n)}_n\!}$. Определитель и расстановки ладей на шахматной доске.
• Примеры: ${\displaystyle \det \!{\Bigl (}{\begin{smallmatrix}\alpha &\beta \\\gamma &\delta \end{smallmatrix}}{\Bigr )}\!=\alpha \delta -\beta \gamma }$, ${\displaystyle \det \!{\biggl (}{\begin{smallmatrix}\alpha &\beta &\gamma \\\delta &\varepsilon &\zeta \\\eta &\theta &\iota \end{smallmatrix}}{\biggr )}\!=\alpha \varepsilon \iota +\beta \zeta \eta +\gamma \delta \theta -\gamma \varepsilon \eta -\beta \delta \iota -\alpha \zeta \theta }$. Определитель и объем. Теорема о свойствах определителя.

  Теорема о свойствах определителя. Пусть ${\displaystyle R}$ — коммутативное кольцо и ${\displaystyle n\in \mathbb {N} _{0}}$; тогда
  (1) для любых ${\displaystyle i\in \{1,\ldots ,n\}}$, ${\displaystyle v_{1},\ldots ,v_{i-1},v,v',v_{i+1},\ldots ,v_{n}\in R^{n}}$ и ${\displaystyle c,c'\in R}$ выполнено
  ${\displaystyle \det \!{\bigl (}v_{1}\;\ldots \;v_{i-1}\;\,c\,v+c'v'\;\,v_{i+1}\;\ldots \;v_{n}{\bigr )}=c\,\det \!{\bigl (}v_{1}\;\ldots \;v_{i-1}\;\,v\;\,v_{i+1}\;\ldots \;v_{n}{\bigr )}+c'\det \!{\bigl (}v_{1}\;\ldots \;v_{i-1}\;\,v'\;\,v_{i+1}\;\ldots \;v_{n}{\bigr )}}$;
  (2) для любых таких ${\displaystyle v_{1},\ldots ,v_{n}\in R^{n}}$, что ${\displaystyle v_{1},\ldots ,v_{n}}$ не попарно различны, выполнено ${\displaystyle \det \!{\bigl (}v_{1}\;\ldots \;v_{n}{\bigr )}=0}$;
  (3) для любых ${\displaystyle a\in \mathrm {Mat} (n,R)}$ выполнено ${\displaystyle \det a^\mathtt T\!=\det a}$;
  (4) для любых ${\displaystyle n',n''\!\in \mathbb {N} _{0}}$, ${\displaystyle a'\in \mathrm {Mat} (n',R)}$, ${\displaystyle a''\in \mathrm {Mat} (n'',R)}$ и ${\displaystyle b\in \mathrm {Mat} (n',n'',R)}$ выполнено ${\displaystyle \det \!{\Bigl (}{\begin{smallmatrix}a'&b\\0&a''\!\end{smallmatrix}}{\Bigr )}\!=\det a'\!\cdot \det a''}$.

• Анонс: пусть ${\displaystyle K}$ — поле; тогда ${\displaystyle \mathrm {GL} (n,K)=\{a\in \mathrm {Mat} (n,K)\mid \det a\neq 0\}}$ и отобр. ${\displaystyle {\biggl (}\!{\begin{aligned}\mathrm {Mat} (n,K)&\to K\\a&\mapsto \det a\end{aligned}}\!{\biggr )}}$ — гомоморфизм моноидов по умножению.
• Специальная линейн. группа: ${\displaystyle \mathrm {SL} (n,K)=\{a\in \mathrm {Mat} (n,K)\mid \det a=1\}\trianglelefteq \mathrm {GL} (n,K)}$. Утверждение: ${\displaystyle \forall\,a,b\in\mathrm{Mat}(n,K)\;\bigl(b\cdot a=\mathrm{id}_n\Rightarrow\,b=a^{-1}\bigr)}$.
• Ортогональная группа: ${\displaystyle \mathrm {O} (n)=\{a\in \mathrm {Mat} (n,\mathbb {R} )\mid a^{\mathtt {T}}\!\cdot a=\mathrm {id} _{n}\}\leq \mathrm {GL} (n,\mathbb {R} )}$. Специальная ортогон. группа: ${\displaystyle \mathrm {SO} (n)=\mathrm {SL} (n,\mathbb {R} )\cap \mathrm {O} (n)\trianglelefteq \mathrm {O} (n)}$.
• Унитарная группа: ${\displaystyle \mathrm {U} (n)=\{a\in \mathrm {Mat} (n,\mathbb {C} )\mid {\overline {a}}^{\mathtt {T}}\!\cdot a=\mathrm {id} _{n}\}\leq \mathrm {GL} (n,\mathbb {C} )}$. Специальная унитарная группа: ${\displaystyle \mathrm {SU} (n)=\mathrm {SL} (n,\mathbb {C} )\cap \mathrm {U} (n)\trianglelefteq \mathrm {U} (n)}$.
• Изометрии в ${\displaystyle \mathbb {R} ^{n}}$: ${\displaystyle \mathrm{Isom}(\mathbb R^n)=\{\bigl(v\mapsto a\cdot v+z\bigr)\!\mid a\in\mathrm O(n),\,z\in\mathbb R^n\}}$ (док.-во только ${\displaystyle \supseteq}$). Теорема о комплексных числах и вещественных матрицах.

  Теорема о комплексных числах и вещественных матрицах. Отображение ${\displaystyle \Biggl(\!\begin{align}\mathbb C&\to\bigl\{\Bigl(\begin{smallmatrix}\alpha&-\beta\\\beta&\alpha\end{smallmatrix}\Bigr)\!\mid\alpha,\beta\in\mathbb R\bigr\}\\\alpha+\beta\,\mathrm i&\mapsto\!\Bigl(\begin{smallmatrix}\alpha&-\beta\\\beta&\alpha\end{smallmatrix}\Bigr)\end{align}\!\Biggr)}$ — изоморфизм колец, а также
  ${\displaystyle \mathrm{SO}(2)=\bigl\{\Bigl(\begin{smallmatrix}\cos\varphi&-\sin\varphi\\\sin\varphi&\cos\varphi\end{smallmatrix}\Bigr)\!\mid\varphi\in[0;2\pi)\bigr\}}$ и отображение ${\displaystyle \biggl(\!\begin{align}\mathrm S^1\!&\to\mathrm{SO}(2)\\\cos\varphi+\sin\varphi\;\mathrm i&\mapsto\!\Bigl(\begin{smallmatrix}\cos\varphi&-\sin\varphi\\\sin\varphi&\cos\varphi\end{smallmatrix}\Bigr)\end{align}\!\biggr)}$ — изоморфизм групп.

• Аффинная линейная группа: ${\displaystyle \mathrm{AGL}(n,K)=\bigl\{\Bigl(\begin{smallmatrix}a&z\\0&1\end{smallmatrix}\Bigr)\!\mid a\in\mathrm{GL}(n,K),\,z\in K^n\bigr\}\le\mathrm{GL}(n+1,K)}$. Геометрический смысл: ${\displaystyle \Bigl(\begin{smallmatrix}a&z\\0&1\end{smallmatrix}\Bigr)\!\cdot\!\Bigl(\begin{smallmatrix}v\\1\end{smallmatrix}\Bigr)=\Bigl(\begin{smallmatrix}a\cdot v\,+\,z\\1\end{smallmatrix}\Bigr)}$.