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

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
22 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 ...
1
vote
0answers
24 views

Projective special linear groups

Is it known if $PSL(2,\, F)$, with $F$ a field of prime $p$ characteristic, is co-hopfian? I've searched everywhere but found nothing. Definition A group $G$ is called co-hopfian if $G$ has no ...
0
votes
1answer
40 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
36 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
21 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
24 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 $ ...
1
vote
1answer
78 views

Describing $\mathbb{C}[x,y] / (y^2-x^3)$

First, I'd like to show $\mathbb{C}[x,y] / (y^2-x^3)$ is an integral domain. Then I need to find out whether or not it is a PID. For the first part, I want to show $y^2-x^3 \: | \: fg \implies ...
6
votes
5answers
250 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
33 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
49 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
175 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
40 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
43 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
55 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
19 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
41 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
95 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
votes
0answers
27 views

Schanuel's conjecture and field extensions.

Doing a little bit of reading over the summer break before going into my masters year of my maths degree and i have been looking at Schanuel's conjecture which states that; Given any $n$ complex ...
1
vote
1answer
32 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
41 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
41 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
85 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
179 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
132 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
96 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
69 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
230 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
69 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
364 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
38 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
64 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
40 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
51 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 ...
0
votes
2answers
42 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
87 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 ...
3
votes
1answer
71 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
44 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
222 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
239 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
35 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
52 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
35 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
46 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 ...
3
votes
1answer
45 views

what is this property called?(Field theory)

In what references the following property $P$ of a field $F$ is investigated? The property $P$: For all $n\in \mathbb{N}$ if $\sum_{i=1}^{n} f_{i}^{2}=0,\;\;f_{i}\in F$ then $f_{i}=0, \forall i\in ...
6
votes
2answers
88 views

Euclid and finite fields

In 300 BC or so Euclid pointed out that if $S$ is any finite set of prime numbers then the prime factors of $1+\prod S$ are not in $S$, so that $S$ can always be extended to a larger finite set. Much ...
0
votes
1answer
47 views

Possible Fields?

Is there an algebraically closed field which is a 1-dimensional vector space (as opposed to complex numbers which are 2-D)? Also is there a complete $\aleph_0$ field?
2
votes
1answer
27 views

If $L_1/K$ and $L_2/K$ are not Galois (solvable), then $L_1L_2/K$ is not Galois (solvable)

This is part of an exam preparation: Prove/contradict: If $L_1/K$ and $L_2/K$ are not Galois, then $L_1L_2/K$ is not Galois. If $L_1/K$ and $L_2/K$ are not solvable Galois extensions, ...
0
votes
2answers
31 views

Is $\mathbb{Q}[X]/(X^2+1) \cong \mathbb{Q}[X]/(X^2-1)$

Is $$\mathbb{Q}[X]/(X^2+1) \cong \mathbb{Q}[X]/(X^2-1)$$ I know that $\mathbb{Q}[X]/(X^2+1) \cong \mathbb{Q}(i)$ but I can't say that $\mathbb{Q}[X]/(X^2-1) \cong \mathbb{Q}(1) = \mathbb{Q}$ ...
3
votes
0answers
26 views

Why is the subfield (of a field) generated by an algebraic element equal to the subring generated by the same element?

I am trying to prove that, for a field extension $\mathbf{K}/k$ and $a$ an algebraic element over $k$, $$k(a)=k[a],$$ where $k(a)$ is the subfield of $\mathbf{K}$ generated by $a$ and $k[a]$ is the ...