諾特環
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