Skip to main content

All Questions

Filter by
Sorted by
Tagged with
3 votes
1 answer
100 views

Is there a (simple) criterion for membership to the base field of an inseparable extension?

Let $F$ be a field, let $f \in F[x]$, let $E$ be the splitting field of $f$, and let $e \in E$ be written in terms of the roots of $f$. I'm looking for a simple way to establish if $e \in F$. If $E/F$ ...
en-drix's user avatar
  • 157
4 votes
1 answer
186 views

Defining polynomial of compositum of splitting fields

Let $L_1,\dotsc,L_n/K$ be finite separable field extensions. Then the compositum extension $L:=L_1\cdot\dotsb\cdot L_n/K$ is also finite and separable. Thus by the primitive element theorem, there are ...
Nicolas Banks's user avatar
1 vote
1 answer
149 views

$F=\mathbb{C}(u,v)$ satisfying: For every $a,b \in \mathbb{C}[y],c,d \in \mathbb{C}[x]$: $\mathbb{C}(x,y)=F(ax+b)=F(cy+d)$

Let $u,v \in \mathbb{C}[x,y]$, where $u$ and $v$ are algebraically independent over $\mathbb{C}$ and $F=\mathbb{C}(u,v)$. Of course, $d:=[\mathbb{C}(x,y):F] < \infty$. Denote the following ...
user237522's user avatar
  • 2,837
1 vote
0 answers
59 views

If $E \subseteq F=k(x_1,\ldots,x_r)$, satisfies $E(x_1^{i_1},\ldots,x_r^{i_r})=F$, for every $(i_1,\ldots,i_r) \neq (0,\ldots,0)$, then $[F:E] \leq 2$

For $r \geq 2$, let $A_r=\mathbb{C}[x_1,\ldots,x_r]$, $F_r=\mathbb{C}(x_1,\ldots,x_r)$ the field of fractions of $A_r$, and $E_r \subseteq F_r$ an arbitrary subfield of $F_r$ with $[F_r:E_r] < \...
user237522's user avatar
  • 2,837
0 votes
1 answer
473 views

A subfield $R \subseteq \mathbb{C}(x,y)$ with 'many' generators $w$, $R(w)=\mathbb{C}(x,y)$

Let $R \subseteq \mathbb{C}(x,y)$ and assume that $R=\mathbb{C}(u,v)$, where $u,v \in \mathbb{C}[x,y]$ are algebraically independent over $\mathbb{C}$. Here $\mathbb{N}$ includes $0$. Assume that $R$ ...
user237522's user avatar
  • 2,837
1 vote
0 answers
118 views

Degrees of trigonometric numbers

For a rational number $r\in(0,1)$ the number $z=\sin(r\pi)$ is an algebraic number — such numbers appear to be called trigonometric numbers. What is its degree? That is, what is the minimal degree of ...
Joonas Ilmavirta's user avatar
6 votes
1 answer
336 views

Is the minimal polynomial of an algebraic formal Laurent series always separable?

Let $f(x)\in K((x))$ be an algebraic formal Laurent series and let $P(x,y)\in K(x)[y]$ be its minimal polynomial. Is $P(x,y)$ always separable? An example of non separable polynomial comes from ...
Jiu's user avatar
  • 385
3 votes
0 answers
136 views

Bounds on degrees of minimal polynomials of infinite degree algebraic extension

If $E/F$ is algebraic extension of finite degree $n$, then if $\alpha \in E$ is an element, then the degree of minial polynomial $m_\alpha$ for $\alpha$ is at most $n$. Even better, $\deg m_\alpha$ ...
Michal Dvořák's user avatar