EF-ring
Utseende
En EF-ring eller ring med entydig faktorisering, är en heltalsring där varje, från noll skilt och icke inverterbart, element entydigt kan skrivas som en produkt av irreducibla element. Begreppen irreducibelt element och primelement sammanfaller i en sådan ring.
Heltalen Z är en EF-ring, men ej ringen Z [i·].
Exempel
[redigera | redigera wikitext]- Alla principalidealdomäner, och därmed alla Euklideiska domäner, är EF-ringar. Speciellt är heltalen, de Gaussiska heltalen och Eisensteinheltalen EF-ringar.
- Auslander–Buchsbaums sats säger att varje regelbunden lokal ring är en EF-ring.
- Ringen av komplexa tal på formen , där a och b är heltal, är inte en EF-ring eftersom talet 6 här inte har en entydig faktorisering utan kan faktoriseras både som 2·3 och .
Ekvivalenta krav för en ring skall ha entydig faktorisering
[redigera | redigera wikitext]Ett noetherskt integritetsområde har entydig faktorisering om och endast om varje primideal av höjd är principalt. En Dedekinddomän har entydig faktorisering om och endast om dess idealklassgrupp är trivial. I detta fall är den faktiskt en principalidealdomän.
Det finns även ekvivalenta krav för icke-noetherska integritetsområden. Låt A vara ett integritetsområde. Följande krav är då ekvivalenta.
- A är en EF-ring.
- Varje nollskilt primideal av A innehåller ett primelement. (Kaplansky)
- A satisfierar stigande kedjekravet för primideal (SKP), och lokaliseringen S−1A är en EF-ring, där S är en multiplikativt sluten delmängd av A genererad av primelement. (Nagatas kriterium)
- A satisfierar SKP och varje irreducibelt element är ett primelement.
- A är atomisk och varje irreducibelt element är ett primelement.
- A är en SGD-domän (det vill säga, varje par av element har en största gemensamma delare) som satisfierar SKP.
- A är en Schreierdomän och atomisk.
- A är en pre-Schreierdomän och är atomisk.
- A har en delarteori där varje delare är principal.
- A är en Krulldomän där varje divisoriellt ideal är principal.
- A är en Krulldomän och varje primideal av höjd 1 är principal.
Källor
[redigera | redigera wikitext]- Israel Nathan Herstein: Topics of Algebra, Blaisdell Publishing Company, London 1964.
- John B. Fraleigh, A First Course in Abstract Algebra, Addison-Wesley, New York 1967.
- B.L. van der Waerden, Algebra, Springer-Verlag, Berlin 1966.