Questions tagged [separable-extension]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
0 votes
1 answer
52 views

Semisimplicity implies separability for a perfect field

Let $k$ be a field, $A$ a finite-dimensional semisimple $k$-algebra. If $k$ is a perfect field (every finite field extension of $k$ is seperable), then $A$ is separable. I know a proof that uses the ...
Margaret's user avatar
  • 1,585
0 votes
0 answers
51 views

When are coordinate rings separable?

Let $k$ be a field, and $f\in k[x]$ be a polynomial. Consider the coordinate ring $k[x]/(f)$. This is a $k$-algebra. I have seen people using the statement that this $k$-algebra is separable iff $f$ ...
Margaret's user avatar
  • 1,585
0 votes
0 answers
25 views

Splitting field of a separable (and irreducible) polynomial is separable

I was struggling proving this and didn't manage to find any solution here that felt understandable for my level, so I am submitting my best idea, which seems right. Let $L$ be a splitting field of a ...
Waaal's user avatar
  • 197
0 votes
1 answer
35 views

Is $\alpha \in \mathbb{F}_{p^n}$ separable over $\mathbb{F}_p(t)$?

I know that $\alpha \in \mathbb{F}_{p^n}$ is separable over $\mathbb{F}_p$ because finite fields are perfect. This means that the minimal polynomial $\mu_\alpha(x)\in\mathbb{F}_p[x]$ is separable. Is ...
Luigi Traino's user avatar
0 votes
1 answer
110 views

Understanding proof of Proposition 5.49 of the Gortz's Algebraic Geometry book.

I am reading the Gortz's Algebraic Geometry, Proposition 5.49 and stuck at some point. First, I propose a question. Q. Let $Y = \operatorname{Spec}B$ is affine reduced $k$-scheme ( $k$ is a field ). ...
Plantation's user avatar
  • 2,100
0 votes
0 answers
51 views

Separable field extension with bounded simple extensions

I’d like to get some help about an exercise in Field theory (J. Bastida, ‘Field extensions and Galois theory’, p. 157, problem 2). Let K be a field and let L be a separable extension of K. Suppose ...
Amanda Wealth's user avatar
0 votes
1 answer
50 views

Corollary 6.4:Arithmetic of Elliptic Curves,Silverman

Notation:$\hat{\phi}$ is the dual isogeny for the Frobenius morphism($\phi$). In proving (c) part of this corollary,we have 2 cases.Either $\hat{\phi}$ is separable or inseparable.Suppose $\hat{\phi}$ ...
user631874's user avatar
1 vote
3 answers
72 views

Are all compact sets in a separable locally compact space G_delta sets?

In Halmos' Measure theory Theorem E from $\S$50 states that a compact set $C$ in a separable locally compact space $X$ is a $G_\delta$ set. The proof goes by the following logic: for $x \in X \...
Matsmir's user avatar
  • 2,535
2 votes
0 answers
51 views

Show $\mathbb{Q}(\sqrt{3+\sqrt{3}})/\mathbb{Q}$ is not a normal extension and find it's normal closure [duplicate]

I want to show $\mathbb{Q}(\sqrt{3+\sqrt{3}})/\mathbb{Q}$ is not a normal extension and conclude that the normal closure is $\mathbb{Q}(\sqrt{3+\sqrt{3}},\sqrt{3-\sqrt{3}})$. After knowing the former,...
Ariel Yael's user avatar
0 votes
1 answer
51 views

Proof that on infinite fields, finite separable extensions are all simple.

Question: Let $k$ be a infinite field. If $F = k(\alpha_1,...,\alpha_r)$, with each $\alpha_i$ separable over $k$, prove that there exist $c_1,...,c_r \in k$ such that $F = k(c_1\alpha_1+...+c_r\...
SalutaFungo's user avatar
2 votes
0 answers
22 views

prove $\deg_{\alpha,L}\mid\deg_{\alpha,K}$ if $\alpha$ is separable and $K(\alpha)/K$ is normal

I'm trying to prove the following: Let $K$ be a field, $\alpha \in \overline{K}$ a separable element s.t. $K(\alpha)/K$ is normal, and let $L/K$ be some finite subextension of $\overline{K}$. Prove ...
Ariel Yael's user avatar
2 votes
0 answers
35 views

Classification of separable rings

Let $C$ be a symmetric monoidal category. A unital associative algebra $(A,m:A\otimes A\to A)$ is called separable if there exists an $A$-$A$-bimodule homomorphism $d: A\to A\otimes A$ such that $m\...
H.Yang's user avatar
  • 61
1 vote
1 answer
73 views

Is $x^{100} - x^2 + 1$ separable in an algebraic closure of $\mathbb{F}_2$

My approach: $f'(X) = 100x^{99} - 2x = 0x^{99} - 0x = 0$ since in $\mathbb{F}_2$. So the $\gcd(f,f') = f > 1$, thus not separable. On the other hand, $f(0) \neq 0 \neq f(1)$, so irreducible. But ...
NiRvanA's user avatar
  • 57
0 votes
0 answers
20 views

If $I=F$ , $K/S$ purely inseparable, $S/F$ separable then $K/I$ is not separable

In Patrick Morandi's book Field and Galois Theory Example 4.24 they write Let $k$ be a field of characteristic 2, let $F=k(x, y)$ and $S=F(u)$, where $u$ is a root of $t^2+t+x$, and let $K=S(\sqrt{u y}...
Soham Chatterjee's user avatar
0 votes
1 answer
44 views

Are all algebraic extensions of finite fields separable? What about fields of characteristic p in general?

I know that all algebraic extensions of fields of characteristic $0$ are separable, but what about a field of characteristic $p$, for example, $\mathbb{F}_7$? I know that, for a finite field of ...
Brais Romero's user avatar
0 votes
1 answer
56 views

Separable extension characterization

Let $F$ be a field of characteristic $\operatorname{char}F=p\neq 0$. It is well-known that a simple extension $F<F(\alpha)$ is separable if and only if $F(\alpha^{p^k})=F(\alpha)$, for any $k\geq 1$...
user1104937's user avatar
0 votes
0 answers
56 views

If $L/K$ is normal extension $\Rightarrow K_s/K$ is normal extension

If is $L/K$ a normal extension, then it follows that $K_s/K$ is a normal extension. Definition of normal extension: Let $L/K$ be an algebraic extension and $\overline{L}$ be a algebraic closure of $L$,...
wanymose's user avatar
  • 552
2 votes
1 answer
40 views

Field extension $L/K$ such that every element has degree $1$ or $2$ over $K$

Let $L$ be a field extension of a field $K$ of characteristic $\neq 2$ such that every element of $L\setminus K$ has degree $2$ over $K$, can we show that $[L:K]=2$ by elementary methods, without ...
Kieran McShane's user avatar
3 votes
1 answer
102 views

Example of a field on which every irreducible polynomial has degree a power of $p$

Exercise A-47 in Milne's Fields and Galois Theory notes asks to prove that if $p$ is a prime number and $F$ is a field of characteristic zero such that every irreducible polynomial $f(X)\in F[X]$ has ...
Albert's user avatar
  • 2,572
0 votes
1 answer
34 views

Let $L/K$ be finite extension, is $L/K_s$ purley inseperable

I was thinking about the following: Let $L/K$ be a finite extension and $K_s=\{a \in L : a \text{ is separable over } K\}$ Is $L/K_s$ purely inseparable? I will start with the definiton: The ...
wanymose's user avatar
  • 552
2 votes
1 answer
83 views

If $p:=x^n-x-a$ has a root in $K$, then $p$ splits into linear factors in $K[X]$

Let $K$ be a field with $\text{char}K=n>0$. Define for $a \in K$ $p:=x^n-x-a \in K[x]$ Show that $p$ is separable Show that if $p$ has a root in $K$, then $p$ splits into linear factors in $K[x]$ ...
wanymose's user avatar
  • 552
0 votes
1 answer
49 views

Minimum polynomial and inseparable degree

Let $\alpha$ be algebraic over $K$. Prove: $$f_K ^{\alpha} =\prod_{\sigma\in X(K(\alpha)/K)} (X-\sigma(\alpha))^i$$ Where $i$ is the inseparable degree of $K(\alpha)$ over $K$. Also, $X(K(\alpha)/K)= ...
cut's user avatar
  • 317
0 votes
1 answer
72 views

Separable extensions and simple roots

An element $\alpha\in \mathbb F$ is algebraic w.r.t a field extension $\mathbb E\subset \mathbb F$ if it's the root of some polynomial over $\mathbb E$. One can prove the sum, product, and inverse of ...
Arrow's user avatar
  • 13.7k
1 vote
1 answer
43 views

How to show that the image of the morphism $X \mapsto X^{p^n}$ equals the separable closure.

Let $K$ be a field with $\operatorname{char}(K) = p > 0$ and let $L = K[X]/(f)$ for some irreducible polynomial $f \in K[X]$. We know that there is a separable polynomial $q_{sep}\in K[X]$ such ...
Kevin van Yperen's user avatar
0 votes
1 answer
241 views

Finite extension of a characteristic p field is separable if and only if $E=F(E^p)$

I am trying to show that if $E$ is an extension of a field $F$ with char$(F)$=p, prime, then the extension is separable if and only if $E=F(E^p).$ I have proven that if $\{e_1,\ldots ,e_n\}$ is a ...
user460693's user avatar
0 votes
0 answers
47 views

Separable polynomial in an algebraic closure

There is a separable polynomial $G(X)$ over a field $K$. There is another polynomial $F(X)$ over the same field $K$ such that all roots of $G(X)$ (in an algebraic closure of $K$) are also roots of $F(...
NiRvanA's user avatar
  • 57
0 votes
0 answers
53 views

Tensor product criteria of an extension separability

Given an extension $L|\mathbb{k}$ I need to prove that the ring $L\otimes_{\mathbb{k}}L$ embeds into a direct product of algebraic extensions of $L$ if and only if $L|\mathbb{k}$ is separable. I can ...
Matthew Willow's user avatar
0 votes
0 answers
47 views

Show for algebraic $L/K$ if $L$ perfect, $K$ not necessarily perfect.

I just need a simple example to show the statement, but Im doubting the one I thought of. I have proof that $K$ perfect $\iff L/K$ separable. So to show the statement we need some $L$ that is perfect ...
Simon Tura's user avatar
1 vote
2 answers
65 views

Irreductibility of $x^p-t$ for fields $F$ with characteristic $p$ and such that $t$ has not a $p$-root in $F$

I am having problems to understand the the proof of following Lemma 9.14.2 in: https://stacks.math.columbia.edu/tag/09HF Lemma 9.14.2. Let $p$ be a prime number. Let $F$ be a field of characteristic p....
Antonio Hernando's user avatar
1 vote
1 answer
62 views

field extension is simple

I am working on the following problem: Let $L/K$ be a field extension of degree $6$. Show that $L/K$ has a primitve element. My idea is to use the theorem of primitive elements. So, if I prove that $L=...
john_psl1298's user avatar
0 votes
0 answers
33 views

Question about the minimal polynomial of an inseparable element in a field

Let $K/F$ be a field extension. The characteristic of F is prime $p$. Suppose $\beta \in K$ is an inseparable element of degree $p$, show the minimal polynomial of $\beta$ in $F$.
MathLearner's user avatar
0 votes
1 answer
180 views

Why is a field extension separable if and only if the discriminant of the basis of the field extension is nonzero?

Let $L/K$ be a finite dimensional field extension. We define the trace function $T_{L/K}(x)$ of $L$ over $K$ as $T_{L/K}(x)=\textrm{trace}(r_x)$, where $x\in L$ and $r_x$ is matrix given by the ...
badatalg's user avatar
1 vote
1 answer
48 views

Composition of two simple field extension with coprime degree is simple?

Let $E/F$ be a simple field extension of degree $m$ and $L/E$ be a simple field extension of degree $n$, where $\gcd(m,n)=1$. Is it necessary that $L/F$ is simple? In the setting of characterstic $0$ ...
Jianing Song's user avatar
  • 1,288
0 votes
1 answer
23 views

Proving the Existence of an Intermediate Field with Special Properties in an Inseparable Field Extension

I am reading Algebraic Number Fields by Janusz. In the middle of one of his proofs on page 23, he makes the following claim: Suppose $K$ is a field and $L$ a finite field extension that is not ...
badatalg's user avatar
0 votes
1 answer
62 views

Why is $K^{\mathrm{sep}}$ dense in $K_v^{\mathrm{sep}}$?

Let $K$ be a global field and $v$ be a non-archimedean place of $K$. Given a field $k$, let $k^{\mathrm{sep}}$ be a separable closure inside an algebraic closure $\overline k$. I would like to know ...
Alphonse's user avatar
  • 6,120
0 votes
0 answers
78 views

Infinite algebraic field extension of a finite field is normal and separable

I am trying to prove that every infinite algebraic field extension $K$ of a finite field $\mathbb{F}$ is separable and normal. I know how to do it for finite $K$, but I am struggling to see why the ...
T. Wildwolf's user avatar
0 votes
1 answer
54 views

Finding the roots of $x^5-2$. My question is about finding the $5^{th}$ roots of 2.While the associated question is about finding roots of unity [duplicate]

I know the roots of polynomial $x^5-2$ are $\sqrt[5]{2},\zeta_{5}^{i}\sqrt[5]{2}$, where $0<i<5$, but I don’t know how we get these roots except $\sqrt[5]{2}$. Can someone guide me the method of ...
Haseeb Ahmad's user avatar
0 votes
0 answers
87 views

When is the product of two separable polynomials necessarily separable?

Obviously, this doesn't hold in general. I was watching this video and at 11:40 the creator claims that if $g = fh$ and $g$ is inseparable, while $f$ is separable, then $h$ must not be separable. This ...
zaq's user avatar
  • 761
0 votes
0 answers
31 views

Why do two minimal polynomials of $\alpha$ over different extensions share the multiplicity of $\alpha$?

I am reading this PDF and concerned about Lemma 3. I will copy it here for completeness. Lemma 3. Assume that $K \subseteq E \subseteq L$ is a tower of finite field extensions. If an element $\alpha$ ...
zaq's user avatar
  • 761
1 vote
0 answers
25 views

Are inseparable elements of an extension field closed under addition?

I know that both the separable and purely inseparable elements form fields. It seems very likely false that the inseparable elements form a field, but in a proof I'm developing the following fact ...
zaq's user avatar
  • 761
2 votes
0 answers
69 views

A field extension is separable iff it is contained in a Galois Extension

The following statement appears in Corollary 4.10 of Morandi's book titled Field and Galois Theory Let L be a finite extension of F. Then, L is separable over F if and only if it is contained in a ...
RichardAshcroft's user avatar
0 votes
0 answers
74 views

Why is an element separable only if it is of the form $\alpha^p$ for some $\alpha$?

Here is a problem from Allan Clark's Abstract Algebra book: Let $F$ be a field, $p > 0$ the characteristic of $F$ and $E$ a finite algebraic extension of $F$. Denote by $E^{(p)}$ the minimal ...
zaq's user avatar
  • 761
1 vote
2 answers
116 views

Question about what is a separable polynomial

Here is the definition of separable polynomial as I understand it. Let $K$ be a splitting field for a polynomial $f(x)\in F[x]$. If $f(x)$ is irreducible, then $f(x)$ is separable if the roots in $K$ ...
John Doe's user avatar
  • 3,113
1 vote
1 answer
384 views

Show $\alpha$ is separable over a field $F$ iff $F(\alpha) = F(\alpha^p)$.

Let $F$ be a field of characteristic $p \neq 0$ and $\alpha$ an element of an extension $E$. Show $\alpha$ is separable over $F$ iff $F(\alpha) = F(\alpha^p)$. For the backward direction, I haven't ...
zaq's user avatar
  • 761
1 vote
1 answer
115 views

Degree of a separable extension of a Dedekind ring's quotient field

I'm studying "Algebraic number theory" written by S. Lang. In proposition 21 of chapter 1.7 it says if $A$ is a Dedekind ring and $K$ its quotient field, for a separable extension $L/K$, $[L:...
nafise modaresi's user avatar
1 vote
1 answer
41 views

Last part of a theorem on automorphisms of $\mathbb{F}_q$ in Lang's algebra

On Lang's Algebra theorem 5.4 states The group of automorphisms of $\mathbb{F}_q$ where $q=p^n$ is cyclic of degree $n$, generated by the Frobenius isomorphism. On the last part of the theorem Lang ...
PunkZebra's user avatar
  • 1,573
1 vote
0 answers
99 views

Does anyone know the Reflection method in solving PDEs?

I am looking at solutions for a diffusion equation, where we have: \begin{equation} \frac{1}{4}u_{xx}=u_t , \ \ \ \ \ \ \, 0<x<\infty, t>0 \\ u_x(0,t)=0 \\ u(x,0)=\begin{cases} 6 \ \ \ \ 0 \...
Luthier415Hz's user avatar
  • 2,574
1 vote
0 answers
50 views

Prove that $A$ is a field [duplicate]

I've trying to prove some theorem about Galois-Hopf Theory. It's details are not necessary to understand my question. I want to prove the following: Let $F/K$ be a Galois field extension. Let $A$ be ...
Alejandro Bergasa Alonso's user avatar
0 votes
0 answers
82 views

$K(u, v) = K(u+v)$ when characteristic of $K=0$?

Let $F$ be a field extension of $K$ where $u, v$ are in $F$ such that $u$ is separable over $K$ and $v$ is purely inseparable over $K$. The answer to this question shows that $K(u, v) = K(u+v)$ when ...
Anfänger's user avatar
  • 575
0 votes
1 answer
88 views

Existence of $p^{th}$ root in an inseparable extension

Let $K= \mathbb{F}_p(t)$ i.e. the field of rational functions over $\mathbb{F}_p$. I'm trying to prove that if $x$ is inseparable over $K$, then $K(x)$ contains a $p^{th}$ root of $t$. I tried to find ...
userbignumber's user avatar

1
2 3 4 5