2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 
 Задачи из "Введения в коммутативную алгебру" Атьи
Сообщение27.05.2025, 13:53 
Аватара пользователя
Пусть $x$ - нильпотент в кольце $A$. Покажите, что $1+x$ - единица. Выведите отсюда, что сумма нильпотента и единицы является единицей.

Слово "единица" здесь употребляется в двух смыслах - единица кольца (identity) и единица (unit) - обратимый элемент.

Доказательство. Пусть $x$ - нильпотент, тогда $x^n = 0$ для некоторого $n \in Z$. Рассмотрим два случая, когда $n = 2$ и когда $n > 2$.

Случай $n = 2$: рассмотрим произведение $(1 + x)(1 - x) = 1 - x^2$ (свернули по формуле разности квадратов). Так как по предположению $x^2 = 0$, то $(1+x)(1-x) = 1$ и элемент $1-x$ является обратным для $1 + x$.

У меня вопрос: как доказать утверждение для случая $n > 2$?

 
 
 
 Re: Задачи из "Введения в коммутативную алгебру" Атьи
Сообщение27.05.2025, 15:51 
Вспомните разложение в ряд для $\frac 1 {1 + x}$ из курса матанализа. Или возьмите кольцо $\mathbb Z[x] / (x^n)$ и ищите в нём обратный методом неопределённых коэффициентов.

 
 
 
 Re: Задачи из "Введения в коммутативную алгебру" Атьи
Сообщение27.05.2025, 18:36 
Аватара пользователя
Without Name в сообщении #1687729 писал(а):
У меня вопрос: как доказать утверждение для случая $n > 2$?

Не знаю как для произвольного $n,$ но для случая $n=3\colon$
$(1+x)(1-x+x^2)=1+x^3=1.$

 
 
 
 Re: Задачи из "Введения в коммутативную алгебру" Атьи
Сообщение27.05.2025, 18:40 
Аватара пользователя
Примерно понял идею. $\frac{1}{1+x} = 1-x+x^2-x^3+x^4-\cdots$. Этот ряд конечен, потому что начиная со степени $x^n$ все члены будут нулевыми, т.к. $x$ - нильпотент. И искомый обратный элемент записывается как сумма $\sum\limits_{i=0}^{n-1}(-1)^i  x^i$

 
 
 [ Сообщений: 4 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group