Ideal

Relatively prime ideals

Let ๐‘… be a commutative ring. Two ideals ๐”ž,๐”Ÿ โŠด๐‘… are said to be relatively prime iff ๐”ž +๐”Ÿ =โŸจ1โŸฉ.1 ring

Properties

  1. Suppose ๐”ž1,โ€ฆ,๐”ž๐‘› are pairwise relatively prime. Then ๐”ž1โ‹ฏ๐”ž๐‘› =๐”ž1 โˆฉโ‹ฏ โˆฉ๐”ž๐‘›
  2. Suppose ๐”ž1,โ€ฆ,๐”ž๐‘› are each relatively prime with ๐”Ÿ. Then ๐”ž1โ‹ฏ๐”ž๐‘› +๐”Ÿ =โŸจ1โŸฉ.
  3. Suppose ๐”ญ,๐”ฎ are distinct nonzero prime ideals in a 1-dimensional ring. Then ๐”ญ๐‘  +๐”ฎ๐‘ก =โŸจ1โŸฉ for ๐‘ ,๐‘ก โˆˆโ„•.

Results


tidy | en | SemBr

Footnotes

  1. 2022. Algebraic number theory course notes, ยง1.3.3, p. 25 โ†ฉ