Results 1 to 2 of 2

Thread: Irreducible polynomial

  1. #1
    Member
    Joined
    Nov 2008
    Posts
    76

    Irreducible polynomial

    Why is the polynomial $\displaystyle XY$ is irreducible in $\displaystyle R=k[X,XY, XY^2,XY^3,...]$? Assume $\displaystyle XY=pq$ for some $\displaystyle p,q \in R$. I want to show that either $\displaystyle p$ or $\displaystyle q$ are units. Would anyone help me on this?
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Senior Member
    Joined
    Jul 2010
    From
    Vancouver
    Posts
    432
    Thanks
    17

    Re: Irreducible polynomial

    It has been 5 days now so you probably have figured it out by now, but still, here is my take. First, we find the units $\displaystyle R^{\times}$. Since $\displaystyle R$ is a subring of $\displaystyle k[x,y]$ any unit of $\displaystyle R$ is also a unit of $\displaystyle k[x,y]$. But we know (from a theorem) that the units of $\displaystyle k[x,y]$ are the non-zero elements $\displaystyle k^*$. Thus we see that $\displaystyle R^{\times} = k^*$.

    Thus, to show that $\displaystyle xy$ is irreducible in $\displaystyle R$, we need to show that if $\displaystyle xy = pq$ for $\displaystyle p,q\in R$, then $\displaystyle p$ or $\displaystyle q$ is in $\displaystyle k^*$. So, let $\displaystyle xy = pq$ for some $\displaystyle p,q \in R$. We can view any polynomial of $\displaystyle R$ as a polynomial in $\displaystyle k[x,y]$ and thus we'll work over $\displaystyle k[x,y]$ instead. There, we have that

    $\displaystyle p(x,xy,\dots) = p_1(x) + xy p_2(x,y)$

    and

    $\displaystyle q(x,xy,\dots) = q_1(x) +xy q_2(x,y)$

    for some $\displaystyle p_1,p_2,q_1,q_2$. Multiplying these out gives us

    $\displaystyle xy = pq = (p1+xyp_2)(q_1+xyq_2) = p_1q_1 + xy(p_2q_1+p_1q_2+xyp_2q_2)$

    Since $\displaystyle p_1q_1 \in k[x]$, we see that it must be zero for the LHS and RHS to agree. Since $\displaystyle k[x,y]$ is an integral domain, $\displaystyle p_1 = 0$ or $\displaystyle q_1 = 0$. We choose $\displaystyle p_1 = 0$, that is

    $\displaystyle xy = xy p_2(x,y) (q_1(x) + xy q_2(x,y))$

    Since $\displaystyle k[x,y]$ is integral, we can cancel out the $\displaystyle xy$. We are left with

    $\displaystyle p_2(x,y)(q_1(x)+xy q_2(x,y)) = 1$

    and thus $\displaystyle p_2(x,y),q_1(x)+xy q_2(x,y) \in (k[x,y])^{\times} = k^*$. Thus we see that $\displaystyle p = c xy$ and $\displaystyle q = d$ for some $\displaystyle c,d \in k^*$. Therefore, $\displaystyle q$ is a unit, and we are done.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Irreducible polynomial
    Posted in the Advanced Algebra Forum
    Replies: 5
    Last Post: Feb 9th 2010, 12:08 AM
  2. Irreducible polynomial
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: Jan 22nd 2010, 06:15 AM
  3. Irreducible polynomial
    Posted in the Advanced Algebra Forum
    Replies: 0
    Last Post: Feb 20th 2009, 01:22 AM
  4. Irreducible polynomial
    Posted in the Advanced Algebra Forum
    Replies: 11
    Last Post: Feb 15th 2009, 07:59 AM
  5. irreducible polynomial
    Posted in the Advanced Algebra Forum
    Replies: 3
    Last Post: Dec 2nd 2008, 09:01 AM

Search Tags


/mathhelpforum @mathhelpforum