Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $f$ be a homogeneous polynomial of degree $k$ in $K[x,y]$ where $K$ is a field, let $g$ be a homogeneous polynomial of degree $j$ in $K[x,y]$ such that $f(x,y)/x^{k} = g(x,y)/y^{j}$. Why this implies that $f(x,y)=x^k$ and $g(x,y)=y^j$?

share|improve this question
    
Do you mean $g(x,y)=y^j$ ? –  lhf May 9 '12 at 22:47
1  
It's a bad idea to use the same symbol $k$ for a field and for the degree of a polynomial. –  Gerry Myerson May 10 '12 at 2:00

2 Answers 2

up vote 3 down vote accepted

This is not quite true. The conclusion should instead by that $f=cx^k$ and $g=cy^k$ for some $c\in \mathbb k$ (I use $\mathbb k$ to denote the field to avoid confusion with the degree $k$).

Proof: Note that the degrees of $f$ and $g$ have to be the same since the degrees of $x^k$ and $y^k$ are the same. Furthermore, $f$ must be divisible by $x^k$ and $g$ by $y^k$ since $f(x,y)/x^k=g(x,y)/y^k\in k(y)[x]$ and $g(x,y)/y^k=f(x,y)/x^k\in k(x)[y]$, thus $f=f'x^k$ and $g=g'y^k$ for some homogeneous $f',g'\in k[x,y]$. But the degrees of $f$ and $g$ are both $k$, so the degrees of $f'$ and $g'$ must be $0$. They must also be equal, as $f'=f/x^k=g/y^k=g'$, so $f(x,y)=cx^k$ and $g(x,y)=cy^k$ for some $c\in \mathbb k$.

share|improve this answer

Have a closer look at $f(x,y)/x^k$. Since $f$ is homogeneous, the quotient is a polynomial in $y/x$. Similarly $g/y^k$ is a polynomial in $x/y$. Since they are equal, they have to be constant.

Remark: In fact they do not actually have to be equal to $x^k$ or $y^k$, but to a scalar multiple. I assume that in your (algebraic geometrical ?) setting you consider the polynomials up to a unit anyway.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.