Pierścień Dedekinda
Z Wikipedii
Pierścień Dedekinda jest to pierścień całkowity oznaczany jako i zdefiniowany następująco . Ciekawą własnością tego pierścienia jest to, że liczba jest elementem nierozkładalnym, ale nie jest elementem pierwszym.
[edytuj] Pierścienie Dedekinda
Jeśli pierścień R jest podpierścieniem pierścienia S, to element nazywamy całkowitym nad R, gdy spełnia on warunek
- dla pewnej liczby naturalnej n i elementów
(por. twierdzenie o wymiernych pierwiastkach wielomianu o całkowitych współczynnikach).
Pierścieniem Dedekinda nazywamy każdy pierścień całkowity noetherowski R całkowicie domknięty (normalny: każdy element całkowity jego ciała ułamków należy do R) w którym każdy niezerowy ideał pierwszy jest ideałem maksymalnym. Równoważne sformułowanie: pierścień R jest regularny wymiaru 0.
Jeśli ciało F jest skończonym rozszerzeniem ciała liczb wymiernych (tzn. F zawiera jako podciało i jako przestrzeń liniowa nad ma skończony wymiar), to zbiór wszystkich elementów ciała F całkowitych nad jest pierścieniem Dedekinda (w szczególności pierścień jest pierścieniem Dedekinda).
Inne przykłady pierścieni Dedekinda to pierścienie funkcji regularnych na regularnych krzywych algebraicznych.
Istnieją pierścienie Dedekinda bez jednoznaczności rozkładu, np. = (w pierścieniu z jednoznacznością rozkładu każdy element nierozkładalny jest pierwszy). Jednakże każdy niezerowy ideał pierścienia Dedekinda ma jednoznaczne przedstawienie jako iloczyn ideałów maksymalnych.
Jeśli pierścień Dedekinda jest z jednoznacznością rozkładu, to jest pierścieniem ideałów głównych. Jednakże w każdym pierścieniu Dedekinda każdy ideał niezerowy ma dwuelementowy zbiór generatorów.
[edytuj] Literatura
- Władysław Narkiewicz, Teoria liczb, PWN 1977,
- Władysław Narkiewicz, Elementary and Analitic Theory of Algebraic Numbers, PWN 1974.