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

Версия 20:50, 8 ноября 2016

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

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

• Евклидова норма: ${\displaystyle \nu \colon R\to N}$, где ${\displaystyle N\subseteq \mathbb {N} _{0}\cup \{-\infty \}}$ и ${\displaystyle \forall \,r\in R\!\setminus \!\{0\},\,s\in R\;{\Bigl (}\exists \,q,t\in R\;{\bigl (}s=q\,r+t\,\land \,\nu (t)<\nu (r){\bigr )}\,\land \,{\bigl (}s\,|\,r\,\Rightarrow \,\nu (s)\leq \nu (r){\bigr )}{\Bigr )}}$.
• Евклидово кольцо — область целостности с евклидовой нормой. Примеры: ${\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_{1},r_{2},\ldots }$ элементов кольца ${\displaystyle R}$, что для любых ${\displaystyle i\in \mathbb {N} }$ выполнено ${\displaystyle r_{i+1}\,|\!\!|\!\!|\,r_{i}}$;
  (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 \,\mathrm {Irr} (R)=\mathrm {Prime} (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\,\Rightarrow \,r_{n}\;{\overset {\scriptscriptstyle \mid }{\sim }}\;\mathrm {gcd} (r,s)}$.
• Соотношение Безу для элементов ${\displaystyle r}$ и ${\displaystyle s}$: ${\displaystyle u\,r+v\,s\;{\overset {\scriptscriptstyle \mid }{\sim }}\;\mathrm {gcd} (r,s)}$, где ${\displaystyle u}$ и ${\displaystyle v}$ — коэффициенты Безу; если ${\displaystyle s+(r)\in (R/(r))^{\times }}$, то ${\displaystyle (s+(r))^{-1}\!=v+(r)}$.
• Расширенный алгоритм Евклида в евкл. кольце: ${\displaystyle u_{n+1}=0}$ и ${\displaystyle v_{n+1}=1}$; на ${\displaystyle i}$-м шаге ${\displaystyle u_{i}=v_{i+1}-q_{i}u_{i+1}}$ и ${\displaystyle v_{i}=u_{i+1}}$; тогда ${\displaystyle u_{1}r_{1}+v_{1}r_{0}\;{\overset {\scriptscriptstyle \mid }{\sim }}\;\mathrm {gcd} (r,s)}$.
• Факториальное кольцо — область целостности с ${\displaystyle {\overset {\scriptscriptstyle \mid }{\sim }}}$-однозначным разложением любого ненулевого элемента в произведение неприводимых элементов.
• Пример: ${\displaystyle \mathbb {Z} }$ факториально (это основная теорема арифметики). Теорема о факториальности евклидовых колец. Теорема о факториальных кольцах.

  Теорема о факториальности евклидовых колец.
  (1) Пусть ${\displaystyle R}$ — такая область целостности, что не существует такой бесконечной последовательности ${\displaystyle r_{1},r_{2},\ldots }$ элементов кольца ${\displaystyle R}$, что
  для любых ${\displaystyle i\in \mathbb {N} }$ выполнено ${\displaystyle r_{i+1}\,|\!\!|\!\!|\,r_{i}}$, и, кроме того, ${\displaystyle \mathrm {Irr} (R)=\mathrm {Prime} (R)}$; тогда ${\displaystyle R}$ — факториальное кольцо.
  (2) Евклидовы кольца являются факториальными кольцами (и, значит, кольца ${\displaystyle \,\mathbb {Z} }$, ${\displaystyle K[x]}$, где ${\displaystyle K}$ — поле, ${\displaystyle \mathbb {Z} [\mathrm {i} ]}$, ${\displaystyle \mathbb {Z} [{\sqrt {2}}\,\mathrm {i} ]}$, ${\displaystyle \mathbb {Z} [\mathrm {e} ^{{\frac {2\pi }{3}}\mathrm {i} }]}$ факториальны).

  Теорема о факториальных кольцах. Пусть ${\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})}}$; ${\displaystyle rs\;{\overset {\scriptscriptstyle \mid }{\sim }}\;p_{1}^{d_{1}+e_{1}}\!\cdot \ldots \cdot p_{k}^{d_{k}+e_{k}}\!\;{\overset {\scriptscriptstyle \mid }{\sim }}\;\mathrm {gcd} (r,s)\cdot \mathrm {lcm} (r,s)}$.

1.4.3  Элементарная теория чисел

• Китайская теорема об остатках для евклидовых колец.