Jump to content

Tertiary ideal

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by KolbertBot (talk | contribs) at 05:27, 29 October 2017 (Bot: HTTP→HTTPS (v473)). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

In mathematics, a tertiary ideal is an (two-sided) ideal in a (perhaps noncommutative) ring that cannot be expressed as a nontrivial intersection of a right fractional ideal with another ideal. Tertiary ideals generalize primary ideals to the case of noncommutative rings. Although primary decompositions do not exist in general for ideals in noncommutative rings, tertiary decompositions do, at least if the ring is Noetherian.

Every primary ideal is tertiary. Tertiary ideals and primary ideals coincide for commutative rings. To any (two-sided) ideal, a tertiary ideal can be associated called the tertiary radical, defined as

Then t(I) always contains I.

If R is a (not necessarily commutative) Noetherian ring and I a right ideal in R, then I has a unique irredundant decomposition into tertiary ideals

.

See also

References

  • Riley, J.A. (1962), "Axiomatic primary and tertiary decomposition theory", Trans. Amer. Math. Soc., 105: 177–201, doi:10.1090/s0002-9947-1962-0141683-4
  • Tertiary ideal, Encyclopedia of Mathematics, Springer Online Reference Works.
  • Behrens, Ernst-August (1972), Ring Theory, Verlag Academic Press
  • Kurata, Yoshiki (1965), "On an additive ideal theory in a non-associative ring", Mathematische Zeitschrift, 88 (2): 129–135, doi:10.1007/BF01112095