Use this tag for questions about fields and field theory in abstract algebra. A field is, roughly speaking, an algebraic structure in which addition, subtraction, multiplication, and division of elements are well-defined. Please use (galois-theory) instead for questions specifically about that ...

learn more… | top users | synonyms

2
votes
1answer
24 views

Sources about transcendence degree

I asked this question: Characterization of the transcendentals over a field I realized I need some knowledge about transcendence degree to prove some facts in the book I'm reading. I would like to ...
13
votes
1answer
265 views

Families of Polynomials Irreducible in $\mathbb{Z}$ but reducible in $\mathbb{Z}/p\mathbb{Z}$ for all primes $p$.

I am wondering if there exist classification of polynomials that are irreducible in $ \mathbb{Z}$ but reducible $\pmod p$ for all primes $p$. I am aware that $\Phi_n$ has this property if ...
0
votes
1answer
81 views

Query on an example of Morandi's Field and Galois Theory, regarding the degree of a field extension.

I am going through Morandi's Field and Galois Theory, and I am looking at Example $1.5$, Chapter I. It says, (more or less) If $k$ is a field, let $K=k(t)$ be the field of rational functions in ...
1
vote
3answers
44 views

Extensions of degree $1$.

My doubt is very simple: Let $F|K$ be a field extension, if $[F:K]=1$, what can we say about $F$ and $K$? can I say $F=K$? I'm trying to prove the equality without success. Thanks in advance
4
votes
1answer
69 views

Milne's Galois Theory Example

The following example is drawn from Milne's Galois Theory notes, p.42 (http://www.jmilne.org/math/CourseNotes/FT.pdf) We study the extension $\mathbb{Q}[\zeta]/\mathbb{Q}$ where $\zeta=e^{2\pi i/7}.$ ...
2
votes
1answer
103 views

Are all fields vector spaces?

Are $\mathbb{Z_p},\mathbb{Q},\mathbb{R},\mathbb{C}$ above themselves vector space? Is a field above anoother field a vector space? As for 1. we know that $\Bbb R^n$ is a vector space so in ...
1
vote
2answers
53 views

What is the potential function of the field $\left(\frac{-y}{x^2+y^2},\frac{x}{x^2+y^2}\right)$

The vector field is obviously conservative on every closed domain that doesn't encompass the point $(0,0)$, so there must be a potential function. I've got $\arctan(\frac{x}{y})$ for $x$ unequal to ...
3
votes
1answer
60 views

real closure of an archimedean field

my question is: Is an archimedean field dense in its real closure? I know that in the non-archimedean case, this does not have to be true (e.g., rational fucntions). Thanks!
2
votes
1answer
51 views

Proving that a field $K$ can be generated by algebraically independent elements and an separable element

Let $k$ be a perfect field (either $k$ has characteristic $0$, or characteristic $p > 0$ and every element has a $p$th root), and let $K$ be a finitely generated extension field. I have a question ...
1
vote
1answer
27 views

Irreducibility in Galois/non Galois Extensions

Let $k$ be a field and $\alpha$ algebraic over $k$. Let $K$ be the Galois closure of $k(\alpha)$ (obtained by adding all conjugates of $\alpha$). If $f(x) \in k[x]$ is irreducible over $k[\alpha]$ is ...
2
votes
1answer
86 views

Projective special linear groups are co-hopfian?

Is it known if $PSL(2,\, F)$, with $F$ a field of prime $p$ characteristic (maybe with all proper subfields of finite order), is co-hopfian? I've searched everywhere but found nothing. Definition A ...
0
votes
1answer
55 views

Additive inverse in a field is unique

there will be an $a$ let's prove $-a$ is unique. let's assume there are 2 additive inverses $b$ and $c$ therefore $a+b=a+c$ let's multiply them by the multiplicative inverse of $a$ I try to use the ...
2
votes
1answer
55 views

A Fixed Field of $\mathbb{Q}(\sqrt{2},\sqrt{3},\sqrt{5})$

I was working on a review problem from Dummit and Foote and came across the following issue. It is clear that the Galois group of the splitting field for the polynomial $(x^2-2)(x^2-3)(x^2-5)$ has ...
0
votes
0answers
24 views

Galois group of a splitting field

$f=x^4-5x^2+6 \in \operatorname Q[x]$ $f=(x^2-2)(x^2-3)$ $\operatorname F=\operatorname Q(\sqrt[2]{2},\sqrt[2]{3})$ $f$ is irreducible for Eisenstein's criterion, $\operatorname{char} \operatorname ...
1
vote
1answer
34 views

Galois group of the splitting field of $ x^6 - 5$

$f = x^6 - 5$ $\in \operatorname Q [x]$ I want to find a splitting field $\operatorname F$ of $f$ over $ \operatorname Q$ $\sqrt[6]{5}$ is a real root of $f$ $u$ is the 6-th root of unity then $ ...
6
votes
5answers
309 views

A finite commutative ring with 1 whose elements satisfy a particular equation

I would be very grateful if you give me a hint on it: Suppose $R$ is a finite commutative ring with identity such that $ x^3 = x $ for all elements $x$ of $R$. Then $R$ is a finite direct product ...
1
vote
2answers
38 views

$K \le B\le F$, If $F$ Galois over $K$ $\Rightarrow$ $F$ a Galois over $B$

Let $F$ a Galois over $K$, and let $B$ be a subfield of $F$ such that : $K \le B\le F$ $\Rightarrow$ $F$ a Galois over $B$ PROOF: $F$ is a splitting field of $f \in K[x]$ separable over $K$. ...
5
votes
1answer
59 views

$F/K$ algebraic and every nonconstant polynomial in $K[X]$ has a root in $F$ implies $F$ is algebraically closed.

Let $F/K$ be an algebraic extension of fields in characteristic zero. If $F/K$ is normal, and every nonconstant polynomial $f \in K[X]$ has a root in $F$, then $F$ is algebraically closed. This is ...
5
votes
3answers
191 views

A question about algebraically closed fields

A field $\mathbb{K}$ is said to be algebraically closed in practice if every polynomial over $\mathbb{K}$ of positive degree less than or equal to $10^{10}$ has zero belonging $\mathbb{K}$. The ...
1
vote
0answers
52 views

Find a multiplicative inverse of an element in a field

Suppose we have an element $\sigma=p+qa\rho+rd\rho^{-1}\in K$ where $K=\mathbb{Q}(\rho)$ where $[K:\mathbb{Q}]=3$ I want to find a multiplicative inverse of $\sigma$ i .e ...
1
vote
1answer
48 views

How do we know that $\mathbb{Q}$ is the initial field of characteristic $0$?

For any field $F$, I can see why any two morphisms $\mathbb{Q} \rightarrow F$ must be equal. If $F$ has characteristic $0$, how do we furthermore know that there exists a homomorphism $\mathbb{Q} ...
0
votes
3answers
59 views

For extension fields, does $[F(a,b):F(a)]=[F(b):F]$?

sorry if this question seems obvious, For a field F and $a,b\notin F$, does $[F(a,b):F(a)]=[F(b):F]$? If so, how do you prove it or is there a counter example?
1
vote
1answer
20 views

Is a finitely generated extension of a real closed field also real closed?

Let $\widetilde{\mathbb{Q}}$ be the field of real algebraic numbers, and consider $\widetilde{\mathbb{Q}}(\pi)$. My question: is $\widetilde{\mathbb{Q}}(\pi)$ a real closed field? Bonus karma points ...
2
votes
0answers
43 views

Proof that all ordered fields are in the Surreals

It says on Wikipedia that any ordered field can be embedded in the Surreal number system. Is this true? How is it done, or if it is unknown (or unknowable) what is the proof that an embedding exists ...
1
vote
2answers
100 views

Existence of Irreducible polynomials over Z of any given degree which do not satisfy the Eisenstein's Criterion

I just came across the following interesting question which has been once discussed: Existence of Irreducible polynomials over $\mathbb{Z}$ of any given degree I was wondering if we could find such ...
1
vote
1answer
33 views

How to show the cyclotomic polynomial is irreducible over $\mathbb{R}(T,\sqrt[n]{T})$

I'm trying to solve the following problem. Let $T$ be a transcendental over $\mathbb{R}$. Put $K=\mathbb{R}(T), n\geq3$. Let $L$ be the least splitting field of $X^n-T$. Then, calculate $[L:K]$. I ...
0
votes
2answers
42 views

prove that if $p(x)\in R[x]$ is reducible over $F[x]$ then $p(x)$ is reducible over $R[x]$.

let $R$ be a unique factorization domain and let $F$ be its field of fractions. Prove that if $p(x)\in R[x]$ is reducible over $F[x]$ then $p(x)$ is reducible over $R[x]$.
1
vote
1answer
43 views

How to show $\sqrt[3]{X-i}\notin \mathbb{C}(X,\sqrt[3]{X+i})$

I'm trying to show $\sqrt[3]{X-i}\notin \mathbb{C}(X,\sqrt[3]{X+i})$. But this is harder than I expected. Is there any easy way to show this?
2
votes
1answer
94 views

Ordered field with nested intervals axiom without Archimedean axiom

Does an ordered field $F$ satisfying the Cauchy-Cantor axiom but not the Archimedean axiom exist? Cauchy-Cantor axiom: Every system of nested intervals $I_1 \supset I_2 \supset \cdots \supset ...
5
votes
2answers
181 views

A field having an automorphism of order 2

The following fact is used in the Unitary space. If $F$ is a field having an automorphism $\alpha$ of order 2. Let $F_0=\{a\in F: \alpha(a)=a\}$. Then $|F:F_0|=2$. Is there any easy proof (or ...
1
vote
3answers
137 views

Show that these matrices are congruent.

Let $K$ be a field of characteristic$\ne 2$ and $u$ be an invertible element of $K$. Show that $\begin{pmatrix}1&0\\0&-1\end{pmatrix}$ and $\begin{pmatrix}u&0\\0&-u\end{pmatrix}$ are ...
3
votes
3answers
102 views

Is it possible to describe $Q(x)$ as the extension field of $R$ freely generated by $\{x\}$?

Given an integral domain $R$, the polynomial ring $R[x]$ can be defined as the commutative $R$-algebra freely generated by $\{x\}$. Also, let $Q$ denote the field of fractions associated to $R$. Then ...
3
votes
1answer
72 views

Galois closure of $\mathbb{C}(T,\sqrt{T^2+T+1})$ over $\mathbb{C}(T^3)$

I'm trying to solve the following problem. But it's too difficult for me. Let $\mathbb{C}(T)$ be a function field, and put $L:=\mathbb{C}(T,\sqrt{T^2 + T +1})$, $K:=\mathbb{C}(T^3)$. Let $M$ be a ...
2
votes
3answers
250 views

Upper bound on cardinality of a field

Is there an upper bound on the cardinality of a field? The "biggest" fields I know are the field of real numbers, or the field of complex numbers. Is there a field with cardinality greater than ...
1
vote
1answer
71 views

Solvability of polynomials over fields of characteristic zero

1) Let $K$ be a field, $\operatorname{char}(K)= 0$, and $f ∈ K [x]$ with $\deg(f)\le4$. Then $f$ is solvable by radicals. Proof: $\operatorname{Gal} (F/K) \cong S_4$ then $\operatorname{Gal}(F/K)$ ...
5
votes
2answers
375 views

Are all existence proofs by contradiction?

Do all existence proofs proceed indirectly (a.k.a "by contradiction," "reductio ad absurdum," etc.)? For example, can we prove directly that in a field the additive identity element and the ...
1
vote
1answer
39 views

Degree of a single extension of a field. [closed]

Let $K$ be a field. Let $L:=K(b)$ where $b^m\in K$ but $b^i\not\in K$ for all $0<i<m$. Then is $[L:K]=m$?
1
vote
1answer
66 views

Characterize elements in $\mathbb Q(\sqrt2,\sqrt[3]5)$

I'm studying algebra by Herstein's Topics in Algebra, 2ed, and stuck at Ex.5.1.6(b): In $\mathbb Q(\sqrt2,\sqrt[3]5)$ characterize all the elements $w$ such that $\mathbb Q(w)\ne \mathbb ...
4
votes
2answers
42 views

Why is an extension $\bar \phi : F(x) \rightarrow F(a)$ an isomorphism if $\phi : F[x] \to F(a)$ is injective?

Why is $\bar \phi : F(x) \rightarrow F(a)$ an isomorphism given $\phi : F[x] \rightarrow F(a)$ satisfy $\ker \phi = \{0\}$ ? I've been trying to figure out why $\bar \phi$ is an isomorphism, and ...
1
vote
1answer
54 views

How to show this is the minimal polynomial

I'm trying to the following problem. But I can't show some irreducibility of the polynomials. Put $L=\mathbb{C}(X,Y,Z)$, $\omega=\frac{-1+\sqrt{-3}}{2}$. Define two automorphism $\sigma, \tau$ of ...
-1
votes
2answers
58 views

Mathematical field theory Application in real world and other branches of Mathematics

I need to write work about applications of Mathematical field theory in real world and in other branches of Mathematics. Can someone guide me to an appropriate book, resource? Thanks, Denis.
2
votes
1answer
96 views

Radical Solvable quintic polynomial.

I am trying to solve the following exercise: Let $k$ be a field of characteristic 0, and let $f(x)\in k[x]$ be a polynomial of degree 5 with splitting field $E/k$. Prove that $f(x)$ is ...
4
votes
1answer
86 views

What is the difference between field theory and Galois theory

I am about to finish the book Galois theory by Harold Edwards. I am planning to study Galois theory at a more advanced level or field theory. I am unable to decide because I don't know the difference ...
2
votes
1answer
46 views

$(u+1)(u+2)\cdots(u+p)=u^p-u$

Let $E$ be a field with characteristic $p>0$. How should I prove that $$(u+1)(u+2)\cdots(u+p)=u^p-u$$ I can verify this equality for small $p=2,3,5$. Is there a way to prove this result in general? ...
3
votes
3answers
251 views

What is the meaning of “fix” in field theory?

What is the meaning of "fix" in field theory? Example: I found a definition of field automorphism, A field automorphism fixes the smallest field containing $1$, which is $\Bbb Q$, the rational ...
23
votes
1answer
262 views

Does there exist two non-constant polynomials $f(x),g(x)\in\mathbb Z[x]$ such that for all integers $m,n$, gcd$(f(m),g(n))=1$?

Does there exist two non-constant polynomials $f(x),g(x)\in\mathbb Z[x]$ such that for all integers $m,n$, gcd$(f(m),g(n))=1$? I think there are no such polynomials, but how to prove?
0
votes
1answer
37 views

A question about separable extension

We say $K$ is separably generated over $k$ if there exists a transcendence basis $\{x_i,i\in I\}$ of $K/k$ such that $K/k(x_i,i\in I)$ is a separable algebraic extension. We say $K$ is separable over ...
5
votes
1answer
57 views

Prove that $k(\alpha+\beta)=k(\alpha,\beta)$

I am trying to solve the following problem: Let $k$ be a finite field and let $k(\alpha,\beta)/k$ be finite. If $k(\alpha)\cap k(\beta)=k$, prove that $k(\alpha,\beta)=k(\alpha+\beta)$. What I ...
3
votes
0answers
39 views

Proving that a certain maximal subfield has countably infinite index

Let $K$ be a maximal subfield of $\mathbb C$ which does not contain $\sqrt{2}$. I've shown that $\mathbb C$ is an algebraic extension of $K$, and that the Galois group of any finite extension of $K$ ...
3
votes
2answers
60 views

Is there a universal property in this proposition (which regards field extensions)?

Since learning a bit of category theory, I am trying, as an exercise, to state results that I come across in categorical language. I am trying to do this with the following: Let ...