Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Primary ideals in Z

  1. Nov 10, 2013 #1
    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].


    Note: 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]
  2. jcsd
  3. Nov 11, 2013 #2
    [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].
  4. Nov 11, 2013 #3
    Thanks economicsnerd!

    Not entirely sure how I missed that ... :-(
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook