Schreier ___domain

In abstract algebra, a Schreier ___domain, named after Otto Schreier, is an integrally closed ___domain where every nonzero element is primal; i.e., whenever x divides yz, x can be written as x = x₁ x₂ so that x₁ divides y and x₂ divides z. An integral ___domain is said to be pre-Schreier if every nonzero element is primal. A GCD ___domain is an example of a Schreier ___domain. The term "Schreier ___domain" was introduced by P. M. Cohn in 1960s. The term "pre-Schreier ___domain" is due to Muhammad Zafrullah.

In general, an irreducible element is primal if and only if it is a prime element. Consequently, in a pre-Schreier ___domain, every irreducible is prime. In particular, an atomic pre-Schreier ___domain is a unique factorization ___domain; this generalizes the fact that an atomic GCD ___domain is a UFD.

References

• Cohn, P.M., Bezout rings and their subrings, 1968.
• Zafrullah, Muhammad, On a property of pre-Schreier domains, 1987.