Tertiary ideal

This article includes a list of references, related reading, or external links, but its sources remain unclear because it lacks inline citations. Please help improve this article by introducing more precise citations. (May 2024) (Learn how and when to remove this message)

In mathematics, a tertiary ideal is a 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

${\displaystyle t(I)=\{r\in R{\mbox{ }}|{\mbox{ }}\forall s\notin I,{\mbox{ }}\exists x\in (s){\mbox{ }}x\notin I{\text{ and }}(x)(r)\subset I\}.}$

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

${\displaystyle I=T_{1}\cap \dots \cap T_{n}}$.

• Primary ideal
• Lasker–Noether theorem

• Riley, J.A. (1962), "Axiomatic primary and tertiary decomposition theory", Trans. Amer. Math. Soc., 105 (2): 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, ISBN 9780080873572
• Kurata, Yoshiki (1965), "On an additive ideal theory in a non-associative ring", Mathematische Zeitschrift, 88 (2): 129–135, doi:10.1007/BF01112095, S2CID 119531162

This algebra-related article is a stub. You can help Wikipedia by expanding it.

• v
• t
• e