2014 dxdy logo

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

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


Правила форума


Посмотреть правила форума



Начать новую тему Ответить на тему
 
 Задачи из "Введения в коммутативную алгебру" Атьи
Сообщение27.05.2025, 13:53 
Аватара пользователя


03/01/23
113
Пусть $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 
Заслуженный участник


07/08/23
1471
Вспомните разложение в ряд для $\frac 1 {1 + x}$ из курса матанализа. Или возьмите кольцо $\mathbb Z[x] / (x^n)$ и ищите в нём обратный методом неопределённых коэффициентов.

 Профиль  
                  
 
 Re: Задачи из "Введения в коммутативную алгебру" Атьи
Сообщение27.05.2025, 18:36 
Аватара пользователя


07/01/15
1293
Из Ойкумены
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 
Аватара пользователя


03/01/23
113
Примерно понял идею. $\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