2014 dxdy logo

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

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




 
 Неприводимый идеал
Сообщение08.04.2024, 10:48 
Читаю листочек. Определение: идеал называют неприводимым, если его нельзя представить в виде пересечения двух отличных от него идеалов. И следом задачка: докажите, что любой простой идеал неприводим. Не могу вообще подобрать неприводимые идеалы, соответствующие определению, не говоря уже о простых: ведь как контрпример мы буквально пересекаем идеалы (в $Z$) $(p, n)$ и $(p, k)$ $(n \ne k)$ и получаем идеал (p)$.

Мне бы хотелось углубить знания по неприводимым идеалам.

 
 
 
 Re: Неприводимый идеал
Сообщение08.04.2024, 11:02 
Аватара пользователя
Ludi в сообщении #1635655 писал(а):
И следом задачка: докажите, что любой простой идеал неприводим

Посмотрите на произведение элементов из $I_1 \backslash I$ и $I_2 \backslash I$ (имея в виду, что $I=I_1 \cap I_2$).

 
 
 
 Re: Неприводимый идеал
Сообщение08.04.2024, 11:21 
Аватара пользователя
Ludi в сообщении #1635655 писал(а):
идеалы (в $Z$) $(p, n)$ и $(p, k)$ $(n \ne k)$ и получаем идеал $(p)$
Не знаком с такой нотацией, это что за идеалы - числа, делящиеся на $p^n$, $p^k$ и $p$ соответственно? Если да, то пересечением будет идеал из чисел, делящихся на $\max(n, k)$.

 
 
 
 Re: Неприводимый идеал
Сообщение08.04.2024, 12:39 
Ludi в сообщении #1635655 писал(а):
$(p, n)$ и $(p, k)$ $(n \ne k)$

В $\mathbb Z$ выполнено равенство $(p, n) = (1) = \mathbb Z$, если только $n$ не делится на $p$ (само $p$ считается простым числом). Пример не приводимого идеала, не являющегося простым, - это $(4)$.

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


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