Proving Primary Ideals in \mathbb{Z}: Peter's Challenge

  • Context: Graduate 
  • Thread starter Thread starter Math Amateur
  • Start date Start date
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
2 replies · 3K views
Math Amateur
Gold Member
MHB
Messages
3,920
Reaction score
48
In Dummit and Foote on page 682 Example 1 reads as follows:
----------------------------------------------------------------------------------------------------------------------------The primary ideals in [itex]\mathbb{Z}[/itex] are [itex]0[/itex] and the ideals [itex](p^m)[/itex] for [itex]p[/itex] a prime and [itex]m \ge 1[/itex].-----------------------------------------------------------------------------------------------------------------------------

So given what D&F say, (4) is obviously not primary.

I began trying to show from definition that (4) was not a primary from the definition, but failed to do this

Can anyone help in this ... and come up with an easy way to show that (4) is not primary?

Further, can anyone please help me prove that the primary ideals in [itex]\mathbb{Z}[/itex] are 0 and the ideals [itex](p^m)[/itex] for p a prime and [itex]m \ge 1[/itex].

PeterNote: the definition of a primary idea is given in D&F as follows:

Definition. A proper ideal Q in the commutative ring R is called primary if whenever [itex]ab \in Q[/itex] and [itex]a \notin Q[/itex] then [itex]b^n \in Q[/itex] for some positive integer n.

Equivalently, if [itex]ab \in Q[/itex] and [itex]a \notin Q[/itex] then [itex]b \in rad \ Q[/itex]
 
Physics news on Phys.org
[itex](4)[/itex] is primary, and this agrees with what D&F said. Indeed [itex](4)=(p^m)[/itex] where, [itex]p=2[/itex] and [itex]m=2[/itex].
 
  • Like
Likes   Reactions: 1 person
Thanks economicsnerd!

Not entirely sure how I missed that ... :-(