Skip to main content
6 of 7
edited tags
YCor
  • 63.9k
  • 5
  • 187
  • 286

For which $f \in \mathbb{C}[x,y][T]$, all irreducible elements of $\mathbb{C}[x,y]$ remain irreducible in $\mathbb{C}[x,y,T]/(f)$

Let $f=f(T) \in \mathbb{C}[x,y][T]$ be a monic polynomial: $f=T^n+a_{n-1}T^{n-1}+\cdots+a_1T+a_0$, $a_j \in \mathbb{C}[x,y]$.

Denote: $A=\mathbb{C}[x,y]$ and $B=\mathbb{C}[x,y,T]/(f)=\mathbb{C}[x,y][w]$, where $w^n+a_{n-1}w^{n-1}+\cdots+a_1w+a_0=0$.

Of course, $A$ is a UFD, so irreducible elements of $A$= prime elements of $A$.

Can one describe all possible forms of $f$, for which every irreducible element of $A$ remains irreducible in $B$?

The motivation to ask this question is $k[x^2] \subset k[x^2][x^3]$; it seems that every irreducible element of $k[x^2]$ remains irreducible (but not prime) in $k[x^2][x^3]=k[x^2,T]/(T^2-(x^2)^3)$.

Remarks: (1) Notice that $a_0$ is reducible in $B$.

(2) I guess that my question has no complete answer, so partial answers are also welcome.

(3) I assumed that $f$ is monic in order to obtain that $A \subset B$ is flat, according to Nagata's theorem, Theorem D.2.2 ($e=1$). Actually, $A \subset B$ is free.

Thank you very much!

Edit: As was mentioned in the comments, I have now asked this somewhat relevant question.

user237522
  • 2.8k
  • 14
  • 24