Fields as algebraic objects. For vector and tensor fields, use eg. [dg.differential-geometry]. For physical fields, use eg. [mp.mathematical-physics] or [quantum-field-theory].

learn more… | top users | synonyms

4
votes
1answer
138 views

Examples of NIP fields of characteristic $p$

Definition. According to Shelah, a field $K$ does not have the independence property (i.e. is NIP) if for every first order formula $\varphi(x, \bar y)$ in the language of fields $(+,\times,0,1)$, the ...
1
vote
1answer
81 views

Quaternion algebra in characteristic $p$

Given a prime number $p$, can you give me concrete examples of fields $\mathbf F$ of characteristic $p$ and quaternion algebras $\mathbb H(\mathbf F)$ over $\mathbf F$ such that $\mathbb H(\mathbf F)$ ...
6
votes
1answer
138 views

Existence of a skew field with surjective inner derivations

In my research, I've come twice now towards a skew field $K$ that satisfies the following: $$\text{for all non-central element $a$, the map }\quad x\mapsto ax-xa\quad\text{ is onto.}$$ I am hoping ...
-1
votes
0answers
31 views

the term “minimal degree” in a set [closed]

I have been reading a proof to the division algorithm of polynomials in a ring. I am struggling to understand the portion of the proof in regards to how the remainder polynomial if it is not zero, it ...
6
votes
2answers
391 views

What are the basic possibilities for a tensor product of two fields?

Let $k$ be a field, with $F,k'$ field extensions of $k$. The ring $k' \otimes_k F$ is denoted by $F_{k'}$. In Borel's Linear Algebraic Groups, it is claimed (I believe erroneously) that "each of ...
3
votes
1answer
237 views

When is possible to factor a field extension into one which adds no roots of unity, followed by one which adds only roots of unity?

The answer to whether this is possible for general fields is no. However, the counterexamples used two ingredients: 1) $\Bbb Q_p$, whose extensions $K$ containing $\Bbb Q_p(\sqrt[p^e]{u})$ might not ...
0
votes
0answers
47 views

Generators of fixed function fields under involutions

I am trying to prove something for function fields in two generators and only one involution but I don't know if it is true, if true, I would like to generalize, here it is. Let $K=k(\eta_1,\eta_2)$ ...
2
votes
0answers
182 views

Parametric Solvable Septics?

Known parametric solvable septics are, $$x^7+7ax^5+14a^2x^3+7a^3x+b=0\tag{1}$$ $$x^7 + 21x^5 + 35x^3 + 7x + a(7x^6 + 35x^4 + 21x^2 + 1)=0\tag{2}$$ $$x^7 - 2x^6 + x^5 - x^4 - 5x^2 - 6x - 4 + n(x - ...
15
votes
1answer
815 views

A set of generators for $\bar{\mathbb{Q}}$

Two questions: Does there exist a sequence $\alpha_1,\alpha_2,...$ of algebraic numbers with degrees $d_1,d_2,...$ s.t. for each $i$, $d_i|d_{i+1}$ and $\alpha_i= p_i(\alpha_{i+1})$ with $p_i$ a ...
20
votes
4answers
5k 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 ...
3
votes
0answers
87 views

Fields whose algebraic closure is a finite extension [duplicate]

It is well-known that the complex numbers $\mathbb{C}$ is a degree two extension of $\mathbb{R}$, where one possible minimal polynomial is $x^2 + 1$. Further, $\mathbb{C}$ is algebraically closed. ...
1
vote
0answers
83 views

Which fields have no extensions of degree divisble by a fixed prime?

Let $p$ be a prime. What are the most general examples of a field $K$ such that for any finite extension $L/K$ the degree $[L:K]$ is prime to $p$? Certainly, there are algebraically closed examples ...
1
vote
0answers
38 views

Infinitesimally small elements in extensions of models of model-complete theories

Suppose that we have a first order language $\mathcal{L}$ that extends the language of rings. Let $T$ a be a topological $\mathcal{L}$-theory of fields in the sense of Pillay.. this means that not ...
4
votes
1answer
197 views

Examples of perfect pseudo algebraically closed fields in positive characteristic

Is there any known example of a perfect pseudo algebraically closed field of positive characteristic containing $\overline{\mathbb{F}_p}$ but is not algebraically closed?
16
votes
4answers
1k views

Which fields have multiplicative group isomorphic to additive group times Z/2Z?

Let $K$ be a field, $K_{*}$ its multiplicative group and $K_{+}$ its additive group. As Richard Stanley notes in this answer, the only field for which $K_{+} \simeq K_{*} \times ...
17
votes
7answers
2k views

In what sense are fields an algebraic theory?

Since there is no "free field generated by a set", it would seem that 1) there is no monad on Set whose algebras are exactly the fields and 2) there is no Lawvere theory whose models in Set are ...
17
votes
1answer
558 views

Algebraic closure as a fibrant replacement?

Emil Artin's construction of the algebraic closure of a field $K$ is as follows. Let $K_{0} = K$, and inductively let $\{x_f\}$ be a set of indeterminates indexed by the irreducible $f$ in one ...
13
votes
2answers
405 views

Logical complexity of algebraically closed fields

One can define fields using a finite list of axioms that quantify over the field itself. However, the obvious way to define algebraically closed fields involves either an infinite list of axioms, or ...
1
vote
0answers
109 views

How can I decode efficiently a triple-error-correcting binary BCH code?

In a given $\mathrm{BCH}(N,K)$, $T=3$ code over $\mathrm{GF}(2^m)$, there are ways to find the error locations in a given $N$-bit codeword directly from the syndromes without going through the normal ...
0
votes
1answer
256 views

Extension of homomorphism to place in quotient field, or of local ring to valuation ring in quotient field

Let be given a domain $R$ (that can be supposed to be integrally closed if this can help), and $\varphi$ an homomorphism of $R$ into a field $F$. $\varphi$ extends uniquely to a homomorphism ...
5
votes
0answers
149 views

Laurent and power series over the field with one element?

Question. Is there a suitable notion of the Laurent series ring $\mathbb{F}_1((t))$ and power series ring $\mathbb{F}_1[[t]]$ in some framework for the field with one element $\mathbb{F}_1$? For ...
2
votes
2answers
211 views

Decomposition and valuation rings

I am reading Algebraic Number Theory by A. Fröhlich, M. J. Taylor, it first introduced the theorem: $(K,u)$ be a field and its absolute value, $(K_u,\bar u)$ be its completion and absolute value ...
20
votes
0answers
1k views

Subfields of $\mathbb{C}$ isomorphic to $\mathbb{R}$ that have Baire property, without Choice

While sitting through my complex analysis class, beginning with a very low level introduction, the teacher mentioned the obvious subfield of $\mathbb{C}$ isomorphic to $\mathbb{R}$, and I then ...
1
vote
1answer
139 views

Purely inseparable field extensions of degree p

Take a field $k$. If $k'/k$ is a field extension of degree $p$, it is known that there are many possibilities for the isomorphism class of $k'$. See ...
1
vote
1answer
68 views

Separable extensions of henselian fields

Let $(k,v)$ be a henselian field, with $\mathcal{O}$ and $\bar{k}$ being respectively its valuation ring and its residue field. If $K/k$ a finite separable field extension (on which $v$ thus extends ...
9
votes
0answers
95 views

Gersten complexes in Quillen's and Milnor's K-theories

Consider a good enough scheme $X$ (e.g. an algebraic variety over a field). Let $X_i$ be the set of points of dimension $i$ in $X$. Then we have the Gersten complex in Quillen's K-theory: $$ ...
5
votes
3answers
355 views

Slightly weakened / altered concepts of a field

I've heard of at least three slight modifications of the standard concept of field: meadow, which (according to this paper) is a commutative ring with unit equipped with a total unary operation ...
6
votes
0answers
310 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 ...
3
votes
1answer
126 views

when is the property “being algebraically maximal” a first order property ?

A valued field is said to be algebraic maximal if all its algebraic extension have either a bigger value group or a bigger residue field. Do you know for which field this is a first order property ? ...
10
votes
1answer
247 views

Theory of C* algebras over other fields than the complex numbers

How much of the theory of C*-algebras holds when the complex numbers are replaced by different (algebraically closed) field (possibly with a distinguished ordered subfield that satisfies the same ...
8
votes
1answer
333 views

Orthonormal bases of R^3 with components lying in the golden field

Greg Egan proved an interesting theorem about unit vectors in $\mathbb{R}^3$ whose components actually lie in the 'golden field' $\mathbb{Q}[\sqrt{5}]$. He found it in our studies of twin ...
6
votes
1answer
447 views

Split powers of the multiplicative group of a field

Let $K$ be a field, $K^\times$ its multiplicative group and $I$ an infinite set. Is then $(K^\times)^{(I)} \subseteq (K^\times)^I$ a direct summand? If not, is it possible to characterize the fields ...
13
votes
2answers
829 views

Which commutative groups are the group of units of some field?

Inspired by a recent question on the multiplicative group of fields. Necessary conditions include that there are at most $n$ solutions to $x^n = 1$ in such a group and that any finite subgroup is ...
11
votes
2answers
578 views

Obstructions for a group to be the multiplicative group of a field [duplicate]

It is well known that every finite multiplicative subgroup of a field is cyclic. I somehow got interested in a possible reverse implication: Assume we have an abelian group $G$ whose every finite ...
56
votes
0answers
2k views

A naive question about the double dual of a vector space

Let $K$ be a field. Are there non-scalar endomorphisms of the endofunctor $$ V\mapsto V^{**}/V $$ of the category of $K$-vector spaces? I asked a related question on Mathematics Stackexchange, but ...
2
votes
2answers
344 views

Ideals generated by two elements in the polynomial ring of two variables over a field

Let $k$ be a field. For example, $k=\mathbb{Q}$ or $\mathbb{Z}/p$, $p$ prime. Let $k[x,y]$ be the polynomial ring. Let $f,g\in k[x,y]$. Let the ideal $I=(f,g)$ be the ideal of $k[x,y]$ ...
34
votes
7answers
11k views

Collecting proofs that finite multiplicative subgroups of fields are cyclic.

I teach elementary number theory and discrete mathematics to students who come with no abstract algebra. I have found proving the key theorem that finite multiplicative subgroups of fields are cyclic ...
2
votes
1answer
191 views

Uncountable cardinals and Prufer $p$-groups

Let $A$ be an elementary Abelian uncountable $p$-group. Is it known if there is an action of a Prufer $q$-group (here $q$ is a prime not necessarily distinct from $p$) $C_{q^{\infty}}$ onto $A$ such ...
3
votes
1answer
125 views

Projective coordinates over a non UFD ring

Is it true that when the integers of a number field are not a UFD then not every point in projective $n$-space over that field can be given by relatively prime algebraic integer coordinates? When a ...
4
votes
2answers
3k views

uncountable algebraically closed field other than C ?

Is there any "well-known" algebraically closed field that is uncountable other than $\mathbb{C}$ ? The algebraic closure of $\mathbb{C}(X)$ would work, but is it meaningful, is this field used in some ...
5
votes
0answers
253 views

Rigid fields containing $\mathbb{C}$

Following the question What is the size of the smallest rigid extension field of the complex numbers?, where it was noted that the least cardinality of a rigid field containing $\mathbb{C}$ is ...
2
votes
0answers
182 views

Automorphisms of $\mathbb{C}$ and meromorphic functions

Let $F$ be a meromorphic function on $\mathbb{C}$, and assume that the first-order theory of $(\mathbb{C},F)$ defines $\mathbb{Z}$, which means that there exists a formula $\varphi(z)$ (in the ...
1
vote
0answers
112 views

Invariance of the complex exponential map under a nontrivial field automorphism of $\mathbb{C}$

It is known that the pseudo-exponential map $K \to K^\times$ for $K$ a pseudo-exponential field (of cardinality $2^{\aleph_0}$) in the sense of Zilber is invariant under many field automorphisms, ...
4
votes
2answers
312 views

Constructive Proof to Show that Algebraic Numbers are Algebraically Closed

EDIT2: After reading some papers, I think the question can best be rephrased as "How can the minimal polynomial for a polynomial with algebraic coefficients be calculated. I have seen papers and ...
8
votes
2answers
331 views

Definition of internal field objects

Let $\mathcal{C}$ be a category with finite limits and a strictly initial object $\mathbf{0}$. The final object is denoted by $\mathbf{1}$. I propose the following definition of a field object ...
8
votes
1answer
290 views

Division algebras over extension fields / reducibility of $G$-modules

Reformulation of the question (see below for the original question): Let $K$ be an algebraic number field and $D$ a finite-dimensional $K$-division algebra. Is there a description of the field ...
11
votes
3answers
470 views

Why does inconstructibility of $\sqrt[3]{2}$ imply impossibility of cube doubling? [closed]

In this question "constructing" and "doubling" is meant in the compass-and-straightedge sense. On my desk I have five Basic Algebra texts treating constructability in the plane $\mathbb{C}$ or ...
6
votes
0answers
346 views

Why does the Rogers-Ramanujan continued fraction $R(q)$ appear in Emma Lehmer's quintic?

Define the Ramanujan theta function $f(a,b)$ as, $$f(a,b) = \sum_{n=-\infty}^{\infty} a^{n(n+1)/2}\,b^{n(n-1)/2}$$ and the Dedekind eta function, $$\eta(\tau) = q^{1/24}\prod_{n=1}^{\infty} ...
37
votes
3answers
2k views

Why aren't fields called “bodies” instead?

The discrepancy regarding the names of commutative division algebras in German and English has always startled me. In English they are called fields, whereas their original German name is Körper ...
9
votes
2answers
433 views

Quintic polynomials generating cyclic extensions

We know that a cubic equation generates a cubic cyclic extension iff it has a perfect square discriminant. Now I am wondering if there is a similar condition for quintic polynomials. So I am trying to ...