Relatively prime ideals
Let
Properties
- Suppose
are pairwise relatively prime. Then๐ 1 , โฆ , ๐ ๐ ๐ 1 โฏ ๐ ๐ = ๐ 1 โฉ โฏ โฉ ๐ ๐ - Suppose
are each relatively prime with๐ 1 , โฆ , ๐ ๐ . Then๐ .๐ 1 โฏ ๐ ๐ + ๐ = โจ 1 โฉ - Suppose
are distinct nonzero prime ideals in a 1-dimensional ring. Then๐ญ , ๐ฎ for๐ญ ๐ + ๐ฎ ๐ก = โจ 1 โฉ .๐ , ๐ก โ โ
Proof of 1โ2
For ^P1, it suffices to show the case for
. For any ideals we already have ๐ = 2 . Since ๐ 1 ๐ 2 โ ๐ 1 โฉ ๐ 2 , it holds in particular that ๐ 1 + ๐ 2 = โจ 1 โฉ for some ๐ 1 + ๐ 2 = 1 . Thus for any ๐ ๐ โ ๐ ๐ , we have ๐ฅ โ ๐ 1 โฉ ๐ 2 , proving ^P1. ๐ฅ = ๐ฅ ๐ 1 + ๐ฅ ๐ 2 โ ๐ 1 ๐ 2 By the hypothesis of ^P2, for each
there exists an ๐ โ โ ๐ such that ๐ ๐ โ ๐ . Then 1 โ ๐ ๐ โ ๐ ๐ ( 1 โ ๐ 1 ) โฏ ( 1 โ ๐ ๐ ) โ ๐ 1 โฏ ๐ ๐ and
1 โ ( 1 โ ๐ 1 ) โฏ ( 1 โ ๐ ๐ ) โ ๐ , hence
, proving ^P2. 1 โ ๐ 1 โฏ ๐ ๐ + ๐ For ^P3 let
. We show that ๐ = m a x { ๐ , ๐ก } ( ๐ญ + ๐ฎ ) 2 ๐ โ ๐ญ ๐ + ๐ฎ ๐ก . To see this, note that every element of
is a sum of elements of the form ( ๐ญ + ๐ฎ ) 2 ๐ where ( ๐ 1 + ๐ 1 ) โฏ ( ๐ 2 ๐ + ๐ 2 ๐ ) and ๐ ๐ โ ๐ญ . But such a term is itself a sum of terms containing either at least ๐ ๐ โ ๐ฎ elements of ๐ or at least ๐ญ elements of ๐ , implying it is either an element of ๐ฎ or ๐ญ ๐ . ๐ฎ ๐ก Now ^P3 follows from this fact and the 1-dimensionality of
, since ๐ we have ๐ญ โ ๐ฎ , and by maximality of ๐ญ โ ๐ญ + ๐ฎ we have ๐ญ . ๐ญ + ๐ฎ = โจ 1 โฉ
Results
Footnotes
-
2022. Algebraic number theory course notes, ยง1.3.3, p. 25 โฉ