Back Primární ideál Czech Primäres Ideal German Primara idealo Esperanto ایده‌آل اولیه Persian אידיאל פרימרי HE 準素イデアル Japanese 으뜸 아이디얼 Korean Ideał prymarny Polish Ideal primar Romanian Примарный идеал Russian

Primary ideal

Not to be confused with Prime 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 yn is also an element of Q, for some n > 0. For example, in the ring of integers Z, (pn) is a primary ideal if p is a prime number.

The notion of primary ideals is important in commutative ring theory because every ideal of a Noetherian ring has a primary decomposition, that is, can be written as an intersection of finitely many primary ideals. This result is known as the Lasker–Noether theorem. Consequently,[1] an irreducible ideal of a Noetherian ring is primary.

Various methods of generalizing primary ideals to noncommutative rings exist,[2] but the topic is most often studied for commutative rings. Therefore, the rings in this article are assumed to be commutative rings with identity.

  1. ^ To be precise, one usually uses this fact to prove the theorem.
  2. ^ See the references to Chatters–Hajarnavis, Goldman, Gorton–Heatherly, and Lesieur–Croisot.

Developed by StudentB