Elementary divisor domain

From Commalg

This article defines a property of integral domains, viz., a property that, given any integral domain, is either true or false for that.
View other properties of integral domains | View all properties of commutative unital rings
VIEW RELATED: Commutative unital ring property implications | Commutative unital ring property non-implications |Commutative unital ring metaproperty satisfactions | Commutative unital ring metaproperty dissatisfactions | Commutative unital ring property satisfactions | Commutative unital ring property dissatisfactions

History

Origin

This term was introduced by: Kaplansky

The notion of an elementary divisor domain was introduced by Kaplansky in his paper Elementary Divisors and Modules.

It was later generalized to elementary divisor ring by Gillman and Henriksen, in Some remarks about elementary divisor rings.

Definition

Symbol-free definition

An elementary divisor domain or Hermite domain is any of the following equivalent things:

Definition with symbols

Fill this in later

Relation with other properties

Stronger properties

References

  • Elementary divisors and modules by I. Kaplansky, Trans. Amer. Math. Society, 66 (1949), 464-491
  • Some remarks about elementary divisor rings by L. Gillman and M. Henriksen, Trans. Amer. Math. Society, 82 (1956), 362-365