Given an integral domain R with field of fractions K, a fractional ideal is an R-submodule I of K for which there exists a nonzero r in R such that rI is an (integral) ideal of R. Fractional ideals allow denominators and extend ideal theory from R to K while retaining multiplicative structure.

Principle

Fractional ideals are scaled versions of ordinary ideals inside the field of fractions; the existence of a common denominator r makes them comparable to integral ideals and enables multiplication and inversion operations.

Demonstration

In R = Z with K = Q, any set of the form (a/b)Z = { (a/b)z : z in Z } is a fractional ideal: multiply by b to get aZ, an ordinary ideal of Z. In a Dedekind domain every nonzero fractional ideal is invertible.

Misapplication

Calling arbitrary additive subgroups of K 'fractional ideals' without the existence of a nonzero r in R that clears denominators, or assuming fractional ideals form ideals of R rather than R-submodules of K.

Consequence

Fractional ideals form an abelian group under ideal multiplication (with invertibility in suitable domains), and their behaviour measures obstruction to principality via the ideal class group; they let one manipulate divisibility and class information multiplicatively.

Reversal

The inverse perspective is to restrict attention to integral ideals only; restricting to ideals of R loses multiplicative inverses and the group structure that fractional ideals restore.

Boundary

Fractional ideals are defined only for integral domains with a field of fractions; they are not meaningful in rings with zero divisors. Distinguish fractional ideals from ideals of larger overrings: a fractional ideal is an R-submodule of K, not necessarily an R-ideal inside R itself.

Semantic Tension

Fractional ideal versus principal fractional ideal: every principal fractional ideal is generated by one element of K, but nonprincipal fractional ideals may require multiple generators or behave differently under inversion; fractional ideal versus overring-ideal likewise competes in interpretation.

Synthesis

A fractional ideal is an R-submodule of the fraction field that becomes an ordinary ideal after clearing denominators by some nonzero element of R; this extension recovers multiplicative group structure for ideals and is essential for class group and factorization discussions in Dedekind-like contexts.