4
votes
1answer
84 views

Levels of Rings and Fields, -1 as a sum of squares

Definition: Let $R$ be a commutative ring. The level of $R$, denoted $s(R)$, is the least positive integer $s$ such that $-1$ can be written as the sum of $s$ many squares in $R$. Set $s(R)=\infty$ if ...
2
votes
1answer
242 views

Two notions of uniformizer

Let $X$ be a projective algebraic curve and consider a `uniformizing' map $h:X \rightarrow \mathbb{P}^1$. Is there any connection between this notion of uniformizer and a uniformizer of the maximal ...
1
vote
0answers
145 views

Separability of compositum of fields

Let $E/F$ be a finite separable extension, and let $K$ be a function field with constant field $F$. Is the compositum $KE$ of $K$ and $E$ a separable extension over $E$?
2
votes
1answer
84 views

Linear disjointness of two “explicit” field extensions

Let $k$ be a characteristic zero field and let $L/k$ be a quadratic extension. Write $L = k(\sqrt{p})$. Let $q$ be a non-square in $k^\star$ and let $r \in k^\star$ be any constant. Consider the ...
10
votes
1answer
251 views

Is a field perfect iff the primitive element theorem holds for all extensions, and what about function fields

Let $L/K$ be a finite separable extension of fields. Then we have the primitive element theorem, i.e., there exists an $x$ in $L$ such that $L=K(x)$. In particular, the primitive element theorem ...
3
votes
1answer
124 views

On Intermediate Fields of $\mathbb{C}(x_1,\dots,x_n)$

I am recently reading some Galois Theory, and a question occurred to me: What are the intermediate fields of $K$ of $\mathbb C(x_1,\dots,x_n)$, where $n$ is an arbitrary integer? I am aware of a ...