# Irreducibility of Multivariable Polynomials

Question: Let $k$ be a field and $p,q\in k[x]$ two relatively prime polynomials. Prove $p(x)y-q(x)$ is irreducible in $k[x,y]$.

How does one show this? More generally, how does one show that multivariable polynomials are irreducible? In one variable we have access to tools like Gauss's lemma and Eisenstein's criteria, but I do not know any methods applicable to the multivariable case.

-

## 2 Answers

Define $f(x,y) = p(x) y - q(x)$. Suppose $f(x,y) = g(x,y) h(x,y)$.

In the ring $k(x)[y]$, $f(x,y)$ is clearly irreducible; therefore one of $g(x,y)$ and $h(x,y)$ is a unit. WLOG, assume $g(x,y)$ is the unit. The only units in $k(x)[y]$ are the nonzero elements of $k(x)$, therefore $g(x,y) = e(x)$ for some $e$.

If $f(x,y) = e(x) h(x,y)$, then $e(x)$ must be a common divisor of $p(x)$ and $q(x)$; therefore $e(x)$ is a unit of $k[x]$, and thus $g(x,y)$ is a unit of $k[x,y]$.

-

All multivariate polynomials are also one-variable polynomials. This polynomial is a polynomial in $y$ with coefficients in $k[x]$, which is a UFD, so Gauss's lemma and Eisenstein's criterion continue to apply (but are unnecessary because here the polynomial is linear...).

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 25, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": false, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9214564561843872, "perplexity_flag": "head"}