Fractional Ideal - Definition and Basic Results

Definition and Basic Results

Let R be an integral domain, and let K be its field of fractions. A fractional ideal of R is an R-submodule I of K such that there exists a non-zero rR such that rIR. The element r can be thought of as clearing out the denominators in I. The principal fractional ideals are those R-submodules of K generated by a single nonzero element of K. A fractional ideal I is contained in R if, and only if, it is an ('integral') ideal of R.

A fractional ideal I is called invertible if there is another fractional ideal J such that IJ = R (where IJ = { a1b1 + a2b2 + ... + anbn : aiI, biJ, nZ>0 } is called the product of the two fractional ideals). The set of invertible fractional ideals form an abelian group with respect to above product, where the identity is the unit ideal R itself. This group is called the group of fractional ideals of R. The principal fractional ideals form a subgroup. A (nonzero) fractional ideal is invertible if, and only if, it is projective as an R-module.

Every finitely generated R-submodule of K is a fractional ideal and if R is noetherian these are all the fractional ideals of R.

Read more about this topic:  Fractional Ideal

Famous quotes containing the words definition, basic and/or results:

    It’s a rare parent who can see his or her child clearly and objectively. At a school board meeting I attended . . . the only definition of a gifted child on which everyone in the audience could agree was “mine.”
    Jane Adams (20th century)

    We can’t nourish our children if we don’t nourish ourselves.... Parents who manage to stay married, sane, and connected to each other share one basic characteristic: The ability to protect even small amounts of time together no matter what else is going on in their lives.
    Ron Taffel (20th century)

    Nothing is as difficult as to achieve results in this world if one is filled full of great tolerance and the milk of human kindness. The person who achieves must generally be a one-ideaed individual, concentrated entirely on that one idea, and ruthless in his aspect toward other men and other ideas.
    Corinne Roosevelt Robinson (1861–1933)