アウスレンダー・ブックスバウムの定理

可換代数において、アウスランダー・ブックスバウムの定理は、正則局所環は一意の因数分解領域であることを述べている。

この定理は、モーリス・アウスランダーとデイヴィッド・ブックスバウム（1959年）によって初めて証明されました。彼らは、次元3の正則局所環が一意の因数分解領域であることを示し、永田正義（1958年）は、このことからすべての正則局所環が一意の因数分解領域であることが示されることを既に示していました。  

• Auslander, Maurice; Buchsbaum, DA (1959)、「正則局所環における一意分解」、米国科学アカデミー紀要、45 (5): 733–734、Bibcode : 1959PNAS...45..733A、doi : 10.1073/pnas.45.5.733、ISSN 0027-8424、JSTOR 90213、MR 0103906、PMC 222624、PMID 16590434     
• 永田正義(1958)「デデキント領域上の代数幾何学の一般理論 II. 分離生成拡大と正則局所環」American Journal of Mathematics、80 (2): 382–420、doi : 10.2307/2372791、ISSN 0002-9327、JSTOR 2372791、MR 0094344