Inom kommutativ algebra, en del av matematiken, är Auslander–Buchsbaums sats ett resultat som säger att regelbundna lokala ringar är EF-ringar.
Satsen bevisades först av Maurice Auslander och David Buchsbaum (1959). De bevisade att regelbundna lokala ringar av dimension 3 är EF-ringar, och Masayoshi Nagata (1958) hade tidigare bevisat att detta implicerar att alla regelbundna lokala ringar är EF-ringar.
Källor
- Den här artikeln är helt eller delvis baserad på material från engelskspråkiga Wikipedia, Auslander–Buchsbaum theorem, 27 februari 2015.
- Auslander, Maurice; Buchsbaum, D. A. (1959), ”Unique factorization in regular local rings”, Proceedings of the National Academy of Sciences of the United States of America 45: 733–734, doi:, ISSN 0027-8424, PMID 16590434
- Nagata, Masayoshi (1958), ”A general theory of algebraic geometry over Dedekind domains. II. Separably generated extensions and regular local rings”, American Journal of Mathematics 80: 382–420, ISSN 0002-9327