Pierścień noetherowski: Różnice pomiędzy wersjami
[wersja nieprzejrzana] | [wersja przejrzana] |
Usunięta treść Dodana treść
dualnie do pierścienia artinowskiego |
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]].
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.
|