- Thread starter
- #1

- Jun 22, 2012

- 2,918

Example (2) on page 682 of Dummit and Foote reads as follows: (see attached)

------------------------------------------------------------------------------------------

(2) For any field k, the ideal (x) in k[x,y] is primary since it is a prime ideal.

For any [TEX] n \ge 1 [/TEX], the ideal [TEX] (x,y)^n [/TEX] is primary

since it is a power of the maximal ideal (x,y)

-------------------------------------------------------------------------------------------

My first problem with this example is as follows:

How can we demonstrate the the ideal (x,y) in k[x,y] is maximal

Then my second problem with the example is as follows:

How do we rigorously demonstrate that the ideal [TEX] (x,y)^n [/TEX] is primary.

D&F say that this is because it is the power of a maximal ideal - but where have they developed that theorem/result?

The closest result they have to that is the following part of Proposition 19 (top of page 682 - see attachment)

------------------------------------------------------------------------------------------------------------------

Proposition 19. Let R be a commutative ring with 1

... ...

(5) Suppose M is a maximal ideal and Q is an ideal with [TEX] M^n \subseteq Q \subseteq M [/TEX]

for some [TEX] n \ge 1[/TEX].

Then Q is a primary ideal with rad Q = M

--------------------------------------------------------------------------------------------------------------------

Now if my suspicions are correct and Proposition 19 is being used, then can someone explain (preferably demonstrate formally and rigorously)

how part (5) of 19 demonstrates that the ideal [TEX] (x,y)^n [/TEX] is primary on the basis of being a power of a maximal ideal.

Would appreciate some help

Peter

------------------------------------------------------------------------------------------

(2) For any field k, the ideal (x) in k[x,y] is primary since it is a prime ideal.

For any [TEX] n \ge 1 [/TEX], the ideal [TEX] (x,y)^n [/TEX] is primary

since it is a power of the maximal ideal (x,y)

-------------------------------------------------------------------------------------------

My first problem with this example is as follows:

How can we demonstrate the the ideal (x,y) in k[x,y] is maximal

Then my second problem with the example is as follows:

How do we rigorously demonstrate that the ideal [TEX] (x,y)^n [/TEX] is primary.

D&F say that this is because it is the power of a maximal ideal - but where have they developed that theorem/result?

The closest result they have to that is the following part of Proposition 19 (top of page 682 - see attachment)

------------------------------------------------------------------------------------------------------------------

Proposition 19. Let R be a commutative ring with 1

... ...

(5) Suppose M is a maximal ideal and Q is an ideal with [TEX] M^n \subseteq Q \subseteq M [/TEX]

for some [TEX] n \ge 1[/TEX].

Then Q is a primary ideal with rad Q = M

--------------------------------------------------------------------------------------------------------------------

Now if my suspicions are correct and Proposition 19 is being used, then can someone explain (preferably demonstrate formally and rigorously)

how part (5) of 19 demonstrates that the ideal [TEX] (x,y)^n [/TEX] is primary on the basis of being a power of a maximal ideal.

Would appreciate some help

Peter

Last edited: