Questions tagged [field-extensions]
The field-extensions tag has no usage guidance.
36
questions
0
votes
0
answers
65
views
Identity for compositum and intersection of fields
Let $k$ be an arbitrary base field and $K, L, M$ some fields over $k$ contained in a fixed overfield $\Omega$.
Question: Are there some "reasonable" assumptions (ie beyond a bunch of really ...
- 5,650
0
votes
0
answers
70
views
Squares in division ring extensions $\ell/k$ with $[\ell:k] = 2$
Let $k$ and $\ell$ be division rings such that $\ell$ contains $k$, and $[\ell : k] = 2$. When do I know that there is an element $a \in k$ such that $x^2 = a$ has solutions in $\ell$, but not in $k$?
- 4,005
1
vote
0
answers
99
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 ...
- 7,971
1
vote
0
answers
46
views
Galois action on blow-ups related to field extensions of infinite degree
Let $f(X) \in k[T]$ be irreducible over the field $k$, and separable of finite degree $n$. Then if $\ell$ is the corresponding field extension, we know by Galois theory that $\mathrm{Gal}(\ell/k)$ ...
- 4,005
0
votes
1
answer
284
views
How do I extend the $2$-adic absolute value to prove Monsky's Theorem?
In proving Monsky's Theorem, it is required that we define the $2$-adic absolute value on an arbitrary finitely generated extension of $\mathbb{Q}$ say $\mathbb{K}=\mathbb{Q}(\alpha_1,\ldots,\alpha_n)$...
user500557
4
votes
1
answer
168
views
Existence of intermediate field extensions for tamely ramified p-adic extensions
Let $p$ be a prime, and let $K/\mathbb{Q}_p$ be a tamely ramified finite extension of degree $n$. Let $q$ be a prime factor of $n$ with $q\neq p$. Must there exist an intermediate extension $L$ (...
- 421
2
votes
0
answers
98
views
Any connection between extension of algebraic structure and forcing of set theory?
Any connection between extension of algebraic structure and forcing of set theory? And more, are there any approach from one of the two to other field to solve problem?
- 2,862
1
vote
1
answer
160
views
Fields with restrictions on their finite extensions: Given $n\in\mathbb{N}_{>1}$ which fields $F$ do not have extensions of degree $n$?
$\DeclareMathOperator\char{char}$This question is inspired by the MSE question Example of a non-algebraically closed field without quadratic extensions. To repeat:
Given $n\in\mathbb{N}_{>1}$ ...
- 221
6
votes
1
answer
291
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 ...
- 365
2
votes
0
answers
155
views
A dimension problem related to an abelian simple extension of a field
$\DeclareMathOperator\Imm{Im}$Let $K=F(\alpha)$ be an abelian extension of $F$ and let $\sigma$ be a map (could be any map) from $K^\times$ (the multiplicative group of $K$) to itself. Define an $F$-...
- 385
5
votes
1
answer
465
views
Absolutely irreducible representation and splitting field
Let $A$ be a finite-dimensional algebra over a field $F$. A representation $M$ of $A$ is called absolutely irreducible if $M\otimes_FE$ is irreducible as a representation of $A\otimes_FE$ for all ...
- 759
1
vote
0
answers
83
views
Indeterminacy locus of an algebraic function
Let $K=\mathbb{C}(t_1,\dots,t_n)$ be the field of rational functions, $f$ an algebraic function over $K$ and assume the field extension $K(f)/K$ is non-solvable. Is it possible to characterise the ...
- 151
2
votes
0
answers
114
views
Finding elements in a real extension of $\mathbb{Q}$ that are close to some number in $\mathbb{R}$
Let's consider a set of numbers that one knows to high precision, and one knows or has a strong suspicion that `exact versions of these numbers' (see below) belong to a real extension of $\mathbb{Q}$. ...
- 311
2
votes
2
answers
279
views
If $G=\mathsf{Aut}_k(F)$ acts on field $F$ algebraic over $k$ then do we have: orbit $G\alpha=\text{ roots of minimal polynomial of }\alpha$?
I posed this question on Math.Stackexchange (see here) but until now there was no response. This made me decide to give it a try here.
Let $k\subseteq F$ denote an algebraic field extension and let $\...
- 217
3
votes
2
answers
237
views
Existence of generic zeros
Let $\Omega$ be an algebraically closed field of characteristic $0$, $k$ a subfield such that $\mathrm{tr.deg}(\Omega/k)=\infty$. Let $u_1,\dots,u_n,u_{n+1}\in \Omega$ be algebraically independent ...
- 113
3
votes
0
answers
155
views
Wildly ramified extension field
Given an algebraically closed complete valued field $(k,|.|)$ with characteristic 0, such that the residue field $\tilde{k}$ has a positive characteristic, and consider the complete extension $(\...
2
votes
0
answers
81
views
The power of Archimedean spirals: is there an algebraic characterization of Archimedean numbers?
I asked this question over a year ago on Math.StackExchange but I didn't get an answer.
In his famous treatise On spirals, Archimedean used a spiral to square the circle and trisect an angle. There ...
- 811
1
vote
2
answers
368
views
A quantity associated to a field extension
Let $F\subset E$ be a field extension. So $E$ has a natural structure of $F$-vector space.
A vector subspace $V\subset E$ is a special subspace if $F\subset V$ and $V$ is closed under the inverse ...
- 270
1
vote
1
answer
89
views
Algorithms for Polynomials Over a Real Algebraic Number Field, a reference
I need to find "Algorithms for Polynomials Over a Real Algebraic Number Field
Ph.D. thesis, University of Wisconsin, Madison (1974) by Rubald". However I cannot find it online nor in my ...
- 377
8
votes
3
answers
1k
views
Counter example of a radical extension that is not Galois/normal over $\mathbb{Q}(\omega)$?
Most proofs of Galois theorem stating that "an equation is solvable in radicals if and only if its Galois group is solvable," show the left to right direction by induction on the height of ...
- 221
1
vote
1
answer
189
views
Reference book for Galois extension [closed]
I need a reference for field extension and Galois extension (like an introduction) please.
Thank you.
- 131
1
vote
0
answers
291
views
A composition of a simple extension and a separable extension is simple
Let $K/L/M$ be a tower of finite field extensions with $K/L$ separable and $L/M$ simple (in the sense of being generated by a single element). How does one show that $K/M$ is also simple?
I know that ...
6
votes
2
answers
580
views
The variety induced by an extension of a field
If $K$ is a finitely generated field extension of $k$, then there exists an irreducible affine $k$-variety with function field $K$. The idea is that if $x_1, \dots, x_n$ are generators of $K$ under $k$...
9
votes
1
answer
292
views
Concerning $k \subset L \subset k(x,y)$
The following is a known result in algebraic geometry:
Let $k$ be an algebraically closed field of characteristic zero (for example, $k=\mathbb{C}$).
Let $L$ be a field such that $k \subset L \subset ...
- 2,735
2
votes
2
answers
174
views
General linear group action on extensions of finite fields
Let $q$ be a prime power. Let $\mathbb{F}_q$ be the finite field with $q$ elements. Then $\mathbb{F}_{q^n}$ is a field extension of $\mathbb{F}_q$ of degree $n$ and can be considered as an $n$-...
- 540
3
votes
0
answers
98
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$ ...
- 131
11
votes
3
answers
1k
views
Cubic polynomials over finite fields whose roots are quadratic residues or non-residues
For a cubic polynomial $f(x)=x^3+x^2+\frac{1}{4}x+c$ over $\mathbb{F}_q$, where $q$ is a odd prime power, I find that for a lot of $q$, there does not exist $c\in\mathbb{F}_q$ such that $f$ has three ...
user150240
6
votes
2
answers
470
views
Complete reducibility and field extension
Let $\pi$ be a representation of a Lie algebra $L$ in a finite-dimensional linear space $V$ over the field $F$. Let $K$ be a field extension of $F$. Let $\pi_K=\pi\otimes K$ be the corresponding ...
- 71
3
votes
0
answers
108
views
A bound for $[\mathbb{C}(x,y,z):\mathbb{C}(p,q,r)]$, where $\operatorname{Jac}(p,q,r) \in \mathbb{C}^{\times}$
Y. Zhang (in his PhD thesis) and P. I. Katsylo proved the following nice result; the two proofs are different, see: Zhang's thesis and Katsylo's paper:
Let $f: (x,y) \mapsto (p,q)$ be a $k$-algebra ...
- 2,735
14
votes
1
answer
490
views
Sum of subfields of $\mathbb{C}$
Do there exist algebraically closed subfields $F_1, F_2, \dots, F_n$ ($n \geq 2$) of the field of complex numbers such that no $F_i$ is contained in $\bigcup_{j \neq i} F_j$ and $F_1 + F_2 + \dots F_n ...
- 151
3
votes
0
answers
144
views
Modal Principles of Field Extensions
In 2007 (with more work done later), J. Hamkins and B. Löwe found that the ZFC provably valid principles of forcing are the assertions of S4.2. In the introduction, they mention field extension as a ...
- 131
9
votes
1
answer
459
views
Image of the norm map for degree $3$ galois extension over $\mathbb{Q}$
I want to construct a cyclic division algebra of degree $3$ over some degree $3$ Galois extension $E$ of $\mathbb{Q}$. So the construction is as follows:
As a set $D=E\oplus uE \oplus u^2 E$ where $u$...
- 215
3
votes
1
answer
187
views
Extension of isomorphism of fields
I know this is not a "research Mathematical question", but this is a question that I would ask to my Math colleagues, but no one could give me a readily "yes-no" answer. Unfortunately, this is not a ...
- 31
10
votes
1
answer
1k
views
What are the primes that are ramified?
Let $K$ be an imaginary quadratic field and $E$ be an elliptic curve with CM by $\mathcal{O}_K$. We know that the maximal unramified extension (Hilbert class field) $H/K$ is $K(j(E))$. Can we ...
- 1,151
4
votes
1
answer
314
views
Field extensions (non-algebraic)
Let k be a field, and L/k a finitely generated field extensions. I would like to know if one can classify intermediate extensions L/K/k such that K/k has transcendence degree one.
This question ...
- 1,413
34
votes
4
answers
11k
views
Finite extension of fields with no primitive element
What is an example of a finite field extension which is not generated by a single element?
Background: A finite field extension E of F is generated by a primitive element if and only if there are a ...
- 23.6k