In
mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
, a tertiary ideal is a two-sided
ideal
Ideal may refer to:
Philosophy
* Ideal (ethics), values that one actively pursues as goals
* Platonic ideal, a philosophical idea of trueness of form, associated with Plato
Mathematics
* Ideal (ring theory), special subsets of a ring considere ...
in a perhaps noncommutative
ring
Ring may refer to:
* Ring (jewellery), a round band, usually made of metal, worn as ornamental jewelry
* To make a sound with a bell, and the sound made by a bell
:(hence) to initiate a telephone connection
Arts, entertainment and media Film and ...
that cannot be expressed as a nontrivial intersection of a right
fractional ideal
In mathematics, in particular commutative algebra, the concept of fractional ideal is introduced in the context of integral domains and is particularly fruitful in the study of Dedekind domains. In some sense, fractional ideals of an integral doma ...
with another ideal. Tertiary ideals generalize
primary ideal In mathematics, specifically commutative algebra, a proper ideal ''Q'' of a commutative ring ''A'' is said to be primary if whenever ''xy'' is an element of ''Q'' then ''x'' or ''y'n'' is also an element of ''Q'', for some ''n'' > 0. Fo ...
s to the case of
noncommutative ring
In mathematics, a noncommutative ring is a ring whose multiplication is not commutative; that is, there exist ''a'' and ''b'' in the ring such that ''ab'' and ''ba'' are different. Equivalently, a ''noncommutative ring'' is a ring that is not a ...
s. Although
primary decomposition
In mathematics, the Lasker–Noether theorem states that every Noetherian ring is a Lasker ring, which means that every ideal can be decomposed as an intersection, called primary decomposition, of finitely many ''primary ideals'' (which are related ...
s do not exist in general for ideals in noncommutative rings, tertiary decompositions do, at least if the ring is
Noetherian In mathematics, the adjective Noetherian is used to describe Category_theory#Categories.2C_objects.2C_and_morphisms, objects that satisfy an ascending chain condition, ascending or descending chain condition on certain kinds of subobjects, meaning t ...
.
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
*
Primary ideal In mathematics, specifically commutative algebra, a proper ideal ''Q'' of a commutative ring ''A'' is said to be primary if whenever ''xy'' is an element of ''Q'' then ''x'' or ''y'n'' is also an element of ''Q'', for some ''n'' > 0. Fo ...
*
Lasker–Noether theorem
In mathematics, the Lasker–Noether theorem states that every Noetherian ring is a Lasker ring, which means that every ideal can be decomposed as an intersection, called primary decomposition, of finitely many ''primary ideals'' (which are related ...
References
*
Tertiary ideal Encyclopedia of Mathematics, Springer Online Reference Works.
*
*
{{DEFAULTSORT:Tertiary ideals
Algebra