All Questions
Tagged with ac.commutative-algebra galois-theory
23 questions with no upvoted or accepted answers
12
votes
0
answers
3k
views
Algebraic Closure of the field of rational functions
Using the theorem of Puiseux, one concludes that the algebraic closure of $\mathbb C(X)$ is the set of algebraic elements (over $\mathbb C(X)$) of the algebraic closure of $\mathbb C((X))$, which is $\...
- 1,891
10
votes
0
answers
452
views
What does Hilbert's 90 theorem tell us about Galois fixed points in projective space?
Consider the following statement:
If $K\subseteq L$ is a Galois extension of fields with Galois group $G$ and $x \in \mathbb{P}^n(L)$ is such that $\sigma(x)=x$ for all $\sigma\in G$, then $x \in \...
- 32.5k
4
votes
0
answers
212
views
Reference request: Radicial morphisms & Jacobson-Bourbaki correspondence
My name is Chemy (Przemysław). I am a PhD student at UvA (Amsterdam), and I work on projects related to foliations in algebraic geometry in positive characteristic. Therefore I am avidely reading two ...
- 485
3
votes
0
answers
114
views
English translation of Borel-Serre's "Théorèmes de finitude en cohomologie galoisienne"?
Is there an English translation of this text, or at least some English language paper that proves the same results?
I especially need a proof of the following fact which is in this paper: Say $k$ is a ...
- 31
3
votes
0
answers
603
views
Norms in Galois extensions
Let $k$ be a field of characteristic 0, and $\overline k$ be a fixed algebraic closure of $k$.
Let $k\subset F\subset E$ be a tower of finite Galois extensions in $\overline k$,
where both $\mathrm{...
- 14.1k
2
votes
0
answers
311
views
Degree $8$ cyclic extension over $\mathbb{Q}$
Actually I am interested in degree $ 8 $ cyclic extension over $ \mathbb{Q} $. Let $ L $ be such extension. At first I was thinking to take basis as normal basis, as we can determine the galois group ...
- 923
2
votes
0
answers
221
views
Field whose absolute Galois group is $\mathbb{Z}_p$
Let $L$ be a perfect field. Assume there is an algebraic closure $L\subset \overline{L}$ and a prime $p$ such that $\mathrm{Gal}(\overline{L}/L)\cong \mathbb{Z}_p$ as topological groups.
Is there a ...
- 53
2
votes
0
answers
27
views
Does the $G$-norm coincide with the ordinary norm for "quasi-$G$-Galois" extensions
Let $S$ be a commutative ring, let $G$ be a finite group acting on $S$ via automorphisms (not necessarily faithfully), and
let $R$ be a subring of $S$ consisting of elements fixed $G$.
The extension $...
- 2,928
2
votes
0
answers
171
views
residue fields of smooth $\mathbf{Q}$-algebras
Let $A$ be a $\mathbf{Q}$-algebra. We say $A$ is "residually abelian", if there exists a maximal ideal $\mathfrak{m}$ of $A$ whose residue field $\kappa(\mathfrak{m})$ is a Kummer extension of an ...
user92332
2
votes
0
answers
192
views
Existence of "splitting objects" and algebraic closures
Definition 0. Let $(\mathbf{C},U)$ denote a concrete category. Let "splits" be a desirable property that pointed $\mathbf{C}$-objects may or may not satisfy. Let $(X,x)$ be a pointed $\mathbf{C}$-...
- 3,793
2
votes
0
answers
60
views
lift isomorphic in a sufficiently thick fiber
Let $P$ and $P'$ two polynomials in $k[[\pi]][t]$ for an algebraically closed field $k$ and let $A=k[[\pi]]$.
We consider $ X'=Spec (A[t]/(P'))$ and $X=Spec (A[t]/(P)$.
Let $d=val(\Delta(P))$ where $\...
- 3,472
2
votes
0
answers
173
views
On Artin-Hironaka lemma and Galois theory
Let $A=k[[t]]$ Let $B$ a flat $A$-finite algebra which is etale and Galois at the generic point.
Then by Artin lemma 3.12 (ii) in his IHES paper on approximation, we know that there exists an integer ...
- 3,472
2
votes
0
answers
1k
views
Decomposition group vs Galois group of completed extension for height > 1 primes
Assume
Let $R$ be a Noetherian normal excellent domain, $F$ its field of fractions.
Let $S$ be a finite $R$-algebra, $L$ its field of fractions.
$L/F$ a (finite) Galois extension
$S$ normal in $L$
...
- 21
2
votes
0
answers
384
views
What do you call an algebraic element with the property that the generated field extension is normal?
Let $L/K$ be a field extension. Let $\alpha \in L$ be algebraic over $K$. Is there an established terminology for the property of $\alpha$ that $K(\alpha)/K$ is a normal field extension? Would you ...
- 2,399
1
vote
0
answers
88
views
When does sum of algebraically independent polynomial become dependent?
Given $f_1,...,f_n \in \mathbb{F}[x_1,...,x_n]$ where $f_n = g + h$. Suppose the sets $\{ f_1,...,f_{n-1},g \}$ and $\{ f_1,...,f_{n-1},h \}$ are algebraically independent then is there a ...
- 341
1
vote
0
answers
64
views
Resolvent is minimal polynomial for universal splitting algebra
Given a degree $n$ monic $f\in A[x]$ write $\mathrm{Split}_Af$ for its universal splitting algebra, constructed by taking the quotient of $A[x_1,\dots ,x_n]$ by the Vieta formulas. This is the initial ...
- 10.5k
1
vote
0
answers
128
views
Nielsen--Schreier for fields
Is it true that a subextension of a purely transcendental extension is itself purely transcendental?
In symbols, suppose we have field extensions $M/L/K$, with $M/K$ purely transcendental. Must $L/K$ ...
- 9,722
1
vote
0
answers
36
views
Quadratic suborders of an imprimitive quartic order
Let $Q$ be an irreducible quartic order; that is, $Q$ is a subring of the ring of integers $\mathcal{O}_K$ in a quartic extension $K$ over $\mathbb{Q}$ such that the fraction field of $Q$ is equal to $...
- 26.9k
1
vote
0
answers
81
views
Geometry of componentially locally strongly separable algebras
Janelidze's categorical Galois theory yields, for nice adjunctions, a good notion of covering morphism.
The category of finitely affine schemes admits such an adjunction into the category of ...
- 10.5k
0
votes
0
answers
183
views
Degree 6 Galois extension over $\mathbb{Q} $
Let L be the splitting field of $ x^3- 2$ over $ \mathbb{Q}$. Then $ G=\operatorname{Gal}(L/K) \cong S_3$. Let $\sigma\in G$ such that the fixed field of $ \sigma$ is $\mathbb{Q}(2^{1/3})$. Let $x,y\...
- 923
0
votes
0
answers
112
views
Existence of a subspace of having no isotropic 2-plane
Let $V$ be a vector space of dimension $n$ over the field $\mathbb {Q} $. A subspace $W$ is isotropic for a skew-bilinear form $\alpha$ on $V$ if $\alpha(x,y) = 0$ for all $x,y \in W$.
More ...
- 923
0
votes
0
answers
245
views
Notation Problem, Fixed Rings and Fields
I am trying to make sense of the notation and certain sets in two articles by Annick Valibouze whose results I'm using for my bachelor's thesis, I hope it's relevant enough to merit an answer.
In one ...
- 119
-2
votes
1
answer
151
views
Quadratic extension and prime ideals
Let $B/A$ be a quadratic Galois extension between local domains. Define ${\mathrm{Gal}}(B/A) = \{e,\sigma\}$.
Choose two prime ideals ${\frak P}_1, {\frak P}_2$ of $B$ such that ${\frak P}_2 = {\...
- 781