Dedekind domain

From Wiktionary, the free dictionary
Jump to navigation Jump to search

English

[edit]
English Wikipedia has an article on:
Wikipedia

Etymology

[edit]

Named after German mathematician Richard Dedekind (1831–1916).

Noun

[edit]

Dedekind domain (plural Dedekind domains)

  1. (algebra, ring theory) An integral domain in which every proper ideal factors into a product of prime ideals which is unique (up to permutations).
    It can be proved that a Dedekind domain (as defined above) is equivalent to an integral domain in which every proper fractional ideal is invertible.
    • 1971, Max D. Larsen, Paul J. McCarthy, Multiplicative Theory of Ideals[1], Elsevier (Academic Press), page 201:
      In this chapter we shall study several of the important classes of rings which contain the class of Dedekind domains.
    • 2007, Leonid Kurdachenko, Javier Otal, Igor Ya. Subbotin, Artinian Modules over Group Rings, Springer (Birkhäuser), page 55:
      As we can see every principal ideal domain is a Dedekind domain.
    • 2007, Anthony W. Knapp, Advanced Algebra[2], Springer (Birkhäuser), page 266:
      Let us recall some material about Dedekind domains from Chapters VIII and IX of Basic Algebra. A Dedekind domain is a Noetherian integral domain that is integrally closed and has the property that every nonzero prime ideal is maximal. Any Dedekind domain has unique factorization for its ideals.

Usage notes

[edit]

Synonyms

[edit]
  • (integral domain whose prime ideals factorise uniquely): Dedekind ring

Hypernyms

[edit]

Derived terms

[edit]

Translations

[edit]

Further reading

[edit]