Pierścień noetherowski: Różnice pomiędzy wersjami

[wersja nieprzejrzana][wersja przejrzana]
Usunięta treść Dodana treść
drobne redakcyjne
Linia 1:
'''Pierścień noetherowski''' – [[pierścień (matematyka)|pierścień]] <math>R</math>, w którym każdy [[ciąg zbiorów|ciąg wstępujący]] (w sensie [[podzbiór|inkluzji]]) [[ideał (teoria pierścieni)|ideałów]] <math>I_1\subseteq I_2\subseteq I_3\subseteq\dots</math> pierścienia <math>R</math> stabilizuje się, tzn. istnieje <math>n \in \mathbb N,</math> dla którego <math>I_n = I_{n+1} = \dots;</math> mówi się też wtedy, że w pierścień spełnia [[Łańcuch (teoria mnogości)#Warunki łańcucha|warunek rosnących łańcuchów]] (ACC) dla ideałów; pojęcie nosi nazwisko [[Emmy Noether]].
: <math>\exists_{k\in\mathbb N}\forall_{n>k}\ I_n=I_k;</math>
mówi się też wtedy, że w pierścień spełnia [[Łańcuch (teoria mnogości)#Warunki łańcucha|warunek rosnących łańcuchów]] (ACC) dla ideałów; pojęcie nosi nazwisko [[Emmy Noether]].
 
Równoważnie pierścień <math>R</math> jest noetherowski wtedy i tylko wtedy, gdy każdy [[ideał (teoria pierścieni)|ideał]] właściwy jest skończenie generowany, tzn.