PlanetMath: two-generator property

(more info)

Math for the people, by the people.

Main Menu

sections Encyclopædia
Papers
Books
Expositions

meta Requests (200)
Orphanage
Unclass'd
Unproven (490)
Corrections (6)
Classification

talkback Polls
Forums
Feedback
Bug Reports

downloads Snapshots
PM Book

information News
Docs
Wiki
ChangeLog
TODO List
Legalese
About

Entry average rating: No information on entry rating

two-generator property

(Theorem)

Theorem 1 Every ideal of a Dedekind domain can be generated by two of its elements.

Proof. Let $\mathfrak{a}$ be an arbitrary ideal of a Dedekind domain . Let $\mathfrak{b}$ be such an ideal of that $\mathfrak{ab}$ is a principal ideal $(\beta)$ . The lemma to which this entry is attached gives also an element $\gamma$ and an ideal $\mathfrak{c}$ of such that $\mathfrak{ac} = (\gamma)$ and $\mathfrak{b+c} = R$ . Then we have

$\displaystyle \mathfrak{a} = \gcd(\mathfrak{ab},\,\mathfrak{ac}) = \gcd((\beta),\,(\gamma)) = (\beta,\,\gamma)$

because $\gcd(\mathfrak{b},\,\mathfrak{c}) = \mathfrak{b+c} = R = (1)$ . $\Box$

The Dedekind domains are trivially Prüfer domains, but the two-generator property can not be generalized to the invertible ideals of all Prüfer domains (and Prüfer rings): Schülting has constructed an invertible ideal of a Prüfer domain that can not be generated by less than three generators. The example of Schülting is the fractional ideal $(1,\,X,\,Y)$ of the Prüfer domain $\bigcap_j B_j$ where the 's run all valuation rings of the rational function field $\mathbb{R}(X,\,Y)$ which have the residue fields formally real.

Bibliography

1: EBEN MATLIS: ``The two-generator problem for ideals''. - The Michigan Mathematical Journal 17 N $\sp\circ$ 3 (1970).
2: HEINZ-WERNER SCHÜLTING: ``Über die Erzeugendenanzahl invertierbarer Ideale in Prüferringen''. - Communications in Algebra 7 N $\sp\circ$ 13 (1979). [Zentralblatt 432.13010]

"two-generator property" is owned by pahio. [ full author list (2) | owner history (2) ]

(view preamble)

Other names:

Ideal of Dedekind domain

This object's parent.

Attachments:: invertibility of regularly generated ideal (Theorem) by pahio

Log in to rate this entry.
(view current ratings)

Cross-references: formally real, residue fields, rational function field, valuation rings, fractional ideal, generators, Prüfer rings, invertible ideals, Prüfer domains, principal ideal, proof, generated by, Dedekind domain, ideal
There are 5 references to this entry.

This is version 34 of two-generator property, born on 2004-02-27, modified 2007-07-30.
Object id is 5645, canonical name is TwoGeneratorProperty.
Accessed 3421 times total.

Classification:

AMS MSC:

11R04 (Number theory :: Algebraic number theory: global fields :: Algebraic numbers; rings of algebraic integers)

Pending Errata and Addenda

None.[ View all 3 ]

Discussion

forum policy

Interact