Различия

Здесь показаны различия между двумя версиями данной страницы.

Ссылка на это сравнение

Предыдущая версия справа и слева Предыдущая версия
Последняя версия Следующая версия справа и слева
glossary:ring:ideal:nilpotent [14.10.2011 09:59:39]
Ладилова Анна
glossary:ring:ideal:nilpotent [14.10.2011 10:10:00]
Ладилова Анна
Строка 21: Строка 21:
 __Предложение 2.__ Пусть кольцо <​latex>​R</​latex>​ содержит ненулевой нильпотентный левый (правый) идеал, тогда <​latex>​R</​latex>​ содержит ненулевой нильпотентный идеал. __Предложение 2.__ Пусть кольцо <​latex>​R</​latex>​ содержит ненулевой нильпотентный левый (правый) идеал, тогда <​latex>​R</​latex>​ содержит ненулевой нильпотентный идеал.
 <hidden onVisible="​Доказательство."​ onHidden="​Доказательство." ​ initialState="​invisible">​ <hidden onVisible="​Доказательство."​ onHidden="​Доказательство." ​ initialState="​invisible">​
-Пусть <​latex>​\rho</​latex>​ --- ненулевой нильпотентный левый идеал, то есть <​latex>​\rho^m=0</​latex>​ для некоторого <​latex>​m\in\mathbb{N}</​latex>​. Тогда идеал <​latex>​\rhoR</​latex>​ --- двусторонний,​ и <​latex>​(\rho R)^m=0</​latex>,​ так как <WRAP centeralign><​latex>​(\rhoR)^m=\rho R\rho R\ldots\rho R=\rho(R\rho\ldots R\rho)R\subseteq\rho(\rho\ldots\rho)R=\rho^mR=0</​latex>​.</​WRAP>​+Пусть <​latex>​\rho</​latex>​ --- ненулевой нильпотентный левый идеал, то есть <​latex>​\rho^m=0</​latex>​ для некоторого <​latex>​m\in\mathbb{N}</​latex>​. Тогда идеал <​latex>​\rhoR</​latex>​ --- двусторонний,​ и <​latex>​(\rho R)^m=0</​latex>,​ так как <WRAP centeralign><​latex>​(\rho R)^m=\rho R\rho R\ldots\rho R=\rho(R\rho\ldots R\rho)R\subseteq\rho(\rho\ldots\rho)R=\rho^mR=0</​latex>​.</​WRAP>​
  <​latex>​\blacksquare</​latex>​  <​latex>​\blacksquare</​latex>​
 </​hidden>​ </​hidden>​
glossary/ring/ideal/nilpotent.txt · Последние изменения: 14.10.2011 10:34:41 — Ладилова Анна
Наверх
CC Attribution-Noncommercial-Share Alike 4.0 International
Driven by DokuWiki Recent changes RSS feed Valid CSS Valid XHTML 1.0