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

3
votes
1answer
66 views
+100

Generators of the Relations of a Galois Extension

Let $K$ be a Galois extension of $\mathbb{Q}$ of degree $n$. Pick some primitive element and take the roots $a_1, ..., a_n$ of its minimal polynomial. Then the evaluation map $\mathbb{Q}[x_1, ..., ...
1
vote
0answers
37 views

Counting the roots of a polynomial over a finite field

Let $\mathbb{F}_{11}$ be the field of 11 elements and let $\mathcal{K}$ be the splitting field of $x^{3} - 1$ over $\mathbb{F}_{11}$. How many roots does $(x^{2} - 3)(x^{3} - 3)$ have in ...
0
votes
0answers
13 views

Valuation rings with places of degree $1$ imply there exists a polynomial such that…

Let $k$ be a field and $f \in k[x,y] \setminus k$. Write $E=k(f)$ and $L=k(x,y)$. Assume that there exists a $g \in k(x,y)$ such that $L = E(g)$. Suppose there exists a valution ring $\mathcal{O}$ ...
0
votes
0answers
18 views

Let $f(x)$ be a cubic irreducible over $Z_2$. Prove that the splitting field of $f(x)$ over $Z_2$ has order $8$

Let $f(x)$ be a cubic irreducible polynomial over $Z_2$. Prove that the splitting field of $f(x)$ over $Z_2$ has order $8.$ ( Using just Field Theory and not using Galois Theory ) Attempt: ...
1
vote
1answer
26 views

Some questions about sub-fields of the field of complex numbers

Given a sub-field $f$ of the field $\mathbb{C}$ of complex numbers, is there a name for the smallest sub-field $F(f)$ of $\mathbb{C}$ such that (1) $F(f)$ contains $f$ as a sub-field and (2) ...
1
vote
0answers
19 views

determine the degree of an extension, check normality

I came across an old exam problem and I wonder if my solution is correct. Let $L=\mathbb{Q}(\omega)$, where $\omega=e^{\frac{2\pi i}{6}}$ is a primitive sixth root of unity: a) determine ...
1
vote
0answers
30 views

Showing the existence of sub fields of a finite field

For each divisor $m$ of $n$, $GF(p^n)$ has a unique sub field of order $p^m$ . The proof of this theorem in Gallian goes like this : Suppose that $m$ divides $n$. Then, since : $(p^n-1) = ...
3
votes
3answers
91 views

Is division allowed in rings and fields?

Is division allowed in ring and field? The definition of ring I am using here does not require the presence of multiplicative inverse. I think in general, division is not a well-defined ...
1
vote
1answer
27 views

A field of characteristic zero is perfect

How do you prove that a field F of characteristic zero is perfect, or rather that every irreducible f(x) in F[x] is separable? Thank you!
0
votes
0answers
11 views

intersection is isomorphic to $Aut(F)$

Prove that for any finite field $F$ there exist two subgroups of $GL(|F|,\mathbb{R})$ whose intersection is isomorphic to $Aut(F)$
2
votes
1answer
23 views

Field automorphisms and fixed fields

I currently have to cope with field automorphisms. I already understood that any field automorphism of $\mathbb{C}$ must fix all elements in $\mathbb{Q}$. My question is the following: Assume a ...
3
votes
0answers
64 views

What is the Difference Between an Algebra and a Field?

The Wikipedia page for $\sigma$-algebra, as well as some other resources I'm studying, say this set is called a "sigma-algebra" by some, and called a "sigma-field" by others. I'm writing a paper on ...
0
votes
2answers
37 views

Proving that $f(x)$ is irreducible over $F(b)$ if and only if $g(x)$ is irreducible over $F(a)$

Let $f(x)$ and $g(x)$ be irreducible polynomials over a field $F$ and let $a,b \in E$ where $E$ is some extension of $F$. If $a$ is a zero of $f(x)$ and $b$ is a zero of $g(x)$, show that $f(x)$ is ...
3
votes
2answers
134 views

Sum and Product of two transcendental numbers cannot be simultaneously algebraic

If $\alpha$ and $\beta$ are real number and $\alpha$ and $\beta$ are transcendental over $\mathbb Q$, show that $\alpha \beta$ or $\alpha +\beta$ is also transcendental over $\mathbb Q$ Attempt: ...
2
votes
1answer
38 views

Extending Homomorphism into Algebraically Closed Field

If we are given a homomorphism g between a field k and an algebraically closed field $\Omega$, and a field k' which is a finite algebraic extension of k, how do we extend g to a homomorphism g' from ...
4
votes
1answer
35 views

Let $K$ be a field extension of $F$ and let $a \in K$. Show that $[F(a):F(a^3)] \leq 3$

Let $K$ be a field extension of $F$ and let $a \in K$. Show that $[F(a):F(a^3)] \leq 3$. Find examples to illustrate that $[F(a):F(a^3)]$ can be $1,2$ or $3$. Attempt: $F \subset F(a^3) \subseteq ...
3
votes
0answers
44 views

Find valuation rings of the function field $k(x,y)/k(xy)$ which do not contain $k[x,y]$.

Let k be any field, then how does one find valuation rings of the function field $k(x,y)/k(xy)$ which do not contain $k[x,y]$? I believe there are two. If we consider a rational function field ...
2
votes
1answer
22 views

A field extension of prime degree

Suppose that $E$ is an extension of $F$ of prime degree. Show that $~~\forall~ a \in E : ~ F(a)=F$ or $F(a)=E$ Attempt: Suppose that $E$ is an extension of a field $F$ of prime degree, $p$. ...
1
vote
1answer
25 views

Basis for field extension by an algebraic element

Is was wondering if, given a field $F$ with a known basis and an element $b$ which is algebraic over that field, it is possible to construct explicitly a basis for $F[b]$, the extension of $F$ by $b$. ...
1
vote
2answers
25 views

existence of some algebraic closure

I was curious somethings when I studied algebraic closure in Hungerford's algebra. I know that every field has an algebraic closure. But I have the following question. Let K be a field and F an ...
1
vote
2answers
48 views

What are subfields of $\mathbb{C}$?

I only took the first undergraduate abstract algebra course, so i don't know (at all) what Galois theory is about. I'm asking this question since i'm not sure of the definition of inner product space ...
2
votes
1answer
30 views

Suppose that $f(x)$ and $g(x)$ are irreducible over $F$ and that $\deg f(x)$ and $\deg g(x)$ are relatively prime.

Suppose that $f(x)$ and $g(x)$ are irreducible over $F$ and that $\gcd(~\deg g(x),\deg f(x)~)=1$. If $a$ is a zero of $f(x)$ in some extension of $F$, show that $g(x)$ is irreducible over $F(a)$ ...
3
votes
1answer
29 views

Field theorem: impossible to satisfy three equations simultaneously in an integer field?

Suppose $a_0,a_1,b,c,d$ with $a_0 \neq a_1$ are integers, or elements of any ${\mathbb Z}_p$ for prime $p$. A while ago I was attempting to find a set of such numbers that satisfied the equations ...
6
votes
5answers
300 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 ...
7
votes
1answer
72 views

Counting diagonalizable matrices in $\mathcal{M}_{n}(\mathbb{Z}/p\mathbb{Z})$

How many diagonalizable matrices are there in $\mathcal{M}_{n}(\mathbb{Z}/p\mathbb{Z})$ ? Where $p$ is a prime number. Attempt : By definition a matrix is called diagonalizable if there exists an ...
2
votes
2answers
96 views

Help Determining Degree of a Field Extension

Question: Determine the degree of $\mathbb{Q}(\alpha)$ over $\mathbb{Q}$, where $\alpha^3=2$. Determine the degree of the splitting field of $f(t) = t^3 - 2$ over $\mathbb{Q}$. Is there a difference ...
3
votes
1answer
40 views

Question about calculating the degree of a finite field extension.

I have a question about calculating the degree of a finite field extension over $\mathbb{Q}$. This is problem 18 in chapter 1 of Patrick Morandi's Field and Galois theory. The problem asked to show ...
0
votes
0answers
38 views

Why do nth roots (radicals) have closed forms whilst other polynomial roots do not?

The nth root function - $\sqrt[n]{a_{0}}$ - may be seen as an arithmetic operation (the inverse of the $pow(x, n)$ function) but it can also be interpreted as computing the roots of a specific class ...
2
votes
0answers
56 views

Question on a finite field extension of $\mathbb{Q}$

I have a polynomial $p(x) \in \mathbb{Q}[x]$ and is irreducible over $\mathbb{Q}$. Let it be of degree $n$ and $\alpha_1, ..., \alpha_n$ be its roots. I know that $$ \mathbb{Q}(\alpha_i) \cong ...
4
votes
2answers
34 views

Non-isomorphic field extensions of $\mathbb{Q}$

I'm having a little bit of a problem with the following question: Show that there do not exist two irreducible polynomials $a(x)$ and $b(x)$ in $\mathbb{Q}[x]$ of degrees 6 and 7 respectively ...
0
votes
0answers
7 views

Solutions to a polynomial equation in a PAC field not lying in a subfield

Suppose $f(x,y)$ is an absolutely irreducible polynomial over a PAC (pseudo algebraically closed) field $K$ such that $x,y$ actually appear in $f$. Let $L$ be a proper subfield of $K$. Are we ...
16
votes
5answers
333 views

Proof of Existence of Algebraic Closure: Too simple to be true?

Having read the classical proof of the existence of an Algebraic Closure (originally due to Artin), I wondered what is wrong with the following simplification (it must be wrong, otherwise why would we ...
0
votes
0answers
33 views

A question regarding a lemma in Perrin's Algebraic Geometry.

Algebraic Geometry by Perrin says the following: Let $k$ be an uncountable algebraically closed field and let $K$ be an extension of $k$ whose dimension is at most countable. Then $K=k$. He ...
3
votes
3answers
92 views

Finitely many embeddings of a finite extension in an algebraic closure

So I'm reading through Lang's Algebra, and he keeps saying something along the following lines: "Let $K$ be a finite extension of a field $k$ and let $\sigma_1,\ldots,\sigma_r$ be the distinct ...
2
votes
1answer
42 views

Facts about quotient rings - example

I have three quotient rings: $R_1 = \frac{\mathbb{Q}[x]}{(x^2 -1)}$ $R_2 = \frac{\mathbb{Q}[x]}{(x^2 +1)}$ $R_3 = \frac{\mathbb{Q}[x]}{((x -1)^2)}$ I am trying to decide whether these are integral ...
6
votes
2answers
62 views

Does the data of Galois group, ramified places, and inertia groups, determine a Galois number field?

Suppose I tell you that $K/\mathbb{Q}$ is a finite Galois extension, and I specify the Galois group $G$, and suppose further that I give you a finite list $S$ of places of $\mathbb{Q}$ and for each ...
0
votes
1answer
37 views

Is the field formed by algebraic elements of an extension field over $F$ isomorphic to $F[t]$?

Say $K/F$ is a field extension. The elements in $K$ that are algebraic over $F$ form a subfield of $K$. Is this subfield isomorphic to $F[t]$? What would this isomorphism look like? This is not a ...
1
vote
1answer
34 views

Prove that any two bases of a field extension have the same cardinality.

Suppose $E$ and $F$ are subfields of $\mathbb{R}$ with $F\subseteq E$. Prove that any two bases of $E/F$ have the same cardinality. The definition of a basis I am using is any finite set $S\subseteq ...
2
votes
2answers
29 views

Transitivity Property of Separable Extensions

I was looking for some proof for the transitivity property of separable field extensions. Although this might sound like a very well-known fact and is referred to frequently, I do not seem to find a ...
1
vote
2answers
50 views

There always exists a subfield of $\mathbb C$ which is a splitting field for $f(x)$ $\in$ $Q[X]$?

So I've been studying field theory on my own, and I just started learning about splitting fields. Based on my understandings if a polynomial, $f(x)$ $\in$ $Q[X]$, then there should be always a ...
1
vote
3answers
26 views

Quadratic number fields containing primitive roots of unity

A problem from Michael Artin's Algebra (Second Edition) from Fields: Determine the quadratic number fields $\mathbb{Q}[\sqrt{d}]$ that contain a primitive $n$th root of unity, for some integer $n$. ...
2
votes
2answers
73 views

How do elements of $\mathbb{R}(xy,x+y)$ look like?

I have problems with determining what are typical elements of such field $\mathbb{R}(xy,x+y)$ In one indeterminate it is easier as $\mathbb{R}(x)=\Bigl\{\frac{f(x)}{g(x)}, g(x)\neq 0, ...
1
vote
1answer
47 views

Describe the elements in $Q(\pi)$

Describe the elements in $Q(\pi)$ Attempt: $Q(\pi)$ is the smallest field which contains $Q$ and $\pi$ We know that $\nexists~ f(x) \in Q[x]$ such that $f(\pi)=0$ Hence, $Q[x]/\langle p(x) ...
0
votes
0answers
14 views

Is there a direct way of proving that all splitting fields are isomorphic?

Given $f(x)\in F[X]$, let $E,E'$ be two extension fields of $f$ over $F$, then $E \approx E'$. Now, I've seen a proof involving directly constructing an isomorphism, but I'm searching for another ...
2
votes
2answers
174 views

Is Complex Numbers the biggest field? If yes, is there any easy proof to understand it?

Is the Complex Numbers the biggest field? If yes, does anyone have a "simple"/"easy to understand" proof?
2
votes
1answer
36 views

Let $F$ be a field and let $f(x)$ be a non constant element of $F[x]$. Then, there exists a splitting field $E$ for $f(x)$ over $F$.

Let $F$ be a field and let $f(x)$ be a non constant element of $F[x]$. Then, there exists a splitting field $E$ for $f(x)$ over $F$. I have some queries regarding this theorem of existence of ...
0
votes
2answers
29 views

Zeroes of f(x) in a splitting field $E $ have the same multiplicity

Let $f(x)$ be an irreducible polynomial over a field $F$ and let $E$ be a splitting field of $f(x)$ over $F$. Then all the zeroes of $f(x)$ in $E$ have the same multiplicity. The proof of this ...
1
vote
1answer
34 views

Every field with characterisitic $p$ contains the field $\mathbb{Z}_p$

I seem to hold a very loose grasp of the concept of fields - I've encountered this question: Show that every finite field with characteristic $p$ contains $\mathbb{Z}_p$ (i.e. $\mathbb{Z}_p = ...
0
votes
2answers
33 views

Discrete valuations of the rational numbers

I'm trying to find every discrete valuation on the field of rational numbers. If $a\in \mathbb Q$, we can write $a=p^j\frac{x}{y}$, where $p$ is a prime number and $p\nmid x$ and $p\nmid y$. We can ...
1
vote
1answer
52 views

Are order isomorphic real closed fields isomorphic?

There are counterexamples to order isomorphisms of ordered fields being field isomorphisms, see Is the multiplicative structure of a totally ordered field unique?. However, Wikipedia suggests that for ...