Results 1 to 2 of 2

Thread: prime and atom

  1. #1
    Member
    Joined
    Oct 2008
    Posts
    83

    prime and atom

    Suppose that a,b in R, where R is an integral domainand a~b.
    Show that: (i) a is prime if and only if b is prime
    (ii) a is an atom if and only if b is an atom
    how do you prove it?

    Thank you very much
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Junior Member
    Joined
    Oct 2009
    Posts
    68
    $\displaystyle a\sim b\ \Leftrightarrow\ a=ub$ where $\displaystyle u\in R$ is a unit. As $\displaystyle u$ is a unit, $\displaystyle uv=1$ for some $\displaystyle v\in R$ and so $\displaystyle b=va.$


    (i)

    Suppose $\displaystyle a$ is prime and $\displaystyle b\mid cd$ $\displaystyle (c,d\in R).$ Then $\displaystyle cd=be=a(ve)$ for some $\displaystyle e\in R.$ Hence $\displaystyle a\mid cd$ $\displaystyle \implies$ $\displaystyle a\mid c$ or $\displaystyle a\mid d$ as $\displaystyle a$ is prime. So either $\displaystyle fa=c$ or $\displaystyle ga=d$ for some $\displaystyle f,g\in R$ $\displaystyle \implies$ either $\displaystyle (uf)b=c$ or $\displaystyle (ug)b=d$ $\displaystyle \implies$ $\displaystyle b\mid c$ or $\displaystyle b\mid d$ $\displaystyle \implies$ $\displaystyle b$ is prime.

    The other implication follows by interchanging $\displaystyle a$ and $\displaystyle b$ and interchanging $\displaystyle u$ and $\displaystyle v.$


    (ii)

    Suppose $\displaystyle a$ is irreducible and let $\displaystyle b=cd$ for some $\displaystyle c,d\in R.$ Then $\displaystyle a=(uc)d$ and since $\displaystyle a$ is irreducible, either $\displaystyle uc$ or $\displaystyle d$ is a unit. If $\displaystyle uc$ is a unit, then $\displaystyle c=v(uc)$ is a unit. Thus $\displaystyle b=cd\ \Rightarrow\ c\ \mbox{or}\ d$ is a unit, proving that $\displaystyle b$ is irreducible.

    Again the other implication follows by swapping $\displaystyle a\,/\,u$ and $\displaystyle b\,/\,v.$
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Replies: 1
    Last Post: Oct 22nd 2011, 12:37 PM
  2. atom factorization
    Posted in the Advanced Algebra Forum
    Replies: 0
    Last Post: Nov 18th 2009, 08:05 AM
  3. Checking proof of atom
    Posted in the Advanced Algebra Forum
    Replies: 0
    Last Post: Oct 31st 2009, 06:19 AM
  4. Replies: 4
    Last Post: Oct 9th 2009, 12:38 PM
  5. Boolean atom
    Posted in the Advanced Algebra Forum
    Replies: 2
    Last Post: Feb 13th 2009, 09:41 AM

Search Tags


/mathhelpforum @mathhelpforum