シュライアー整域

抽象代数学において、シュライアー整域 (Schreier domain) は、Otto Schreier にちなんで名づけられているが、整閉整域であって、すべての 0 でない元が primal なものである、すなわち、x が yz を割るときにはいつでも x は x = x x と書くことができて x は y を割り x は z を割る。整域が pre-Schreier とは、すべての 0 でない元が primal ということである。GCD整域はシュライアー整域の例である。用語"シュライアー整域"は P. M. Cohn によって 1960s に導入された。用語 "pre-Schreier domain" は Muhammad Zafrullah による。

一般に、既約元が primal であることと素元であることは同値である。したがって、シュライアー整域において、すべての既約元は素元である。特に、atomic Schreier 整域は一意分解環である。これは atomic GCD 整域は UFD であるという事実を一般化する。

 参考文献 
 Cohn, P.M., Bezout rings and their subrings, 1967.
 Zafrullah, Muhammad, On a property of pre-Schreier domains, 1987.

Category:環論
Category:数学に関する記事