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 (1)

8
votes
0answers
707 views

Patrick Morandi- Field and Galois Theory- Section 4- Exercise 11

Let $K$ be the rational function field $k (x)$ over a perfect field $k$ of characteristic $p > 0$. Let $F = k(u)$ for some $u$ in $K$, and write $u = \frac {f(x)}{g(x)}$ with $f$ and $g$ ...
7
votes
6answers
702 views

Are all finite fields isomorphic to $\mathbb{F}_p$?

I've recently started taking some algebra courses and I was wondering whether or not every finite field is isomorphic to $\mathbb{F}_p$, where $p$ is prime.
7
votes
4answers
789 views

Show $x^6 + 1.5x^5 + 3x - 4.5$ is irreducible in $\mathbb Q[x]$.

Show $p(x) = x^6 + 1.5x^5 + 3x - 4.5$ is irreducible in $\mathbb Q[x]$. By Gauss' Lemma, a primitive polynomial in $\mathbb Z[x]$ is irreducible in $\mathbb Q[x]$ if and only if it is irreducible in ...
7
votes
2answers
255 views

In field ($F, +, \cdot$) , how can I prove $x^2 =1\implies x=1,-1$

I'm a really confused about fields. I know that it means $x$ is the reciprocal element of itself, and I can easily show that $1^2=1$ (not as trivial for $(-1)^2$ though), but I'm not sure how it ...
7
votes
4answers
483 views

Proving that these two fields $\mathbb Z_{11}[x]/〈 x^2+1〉$ and $\mathbb Z_{11}[x]/〈 x^2+x+4〉$ are isomorphic with $121$ elements each.

I have been stuck in this problem for some time now. Prove that $x^2+2$ and $x^2+x+4$ are irreducible over $\mathbb{Z}_{11}$. Also, prove further $\mathbb Z_{11}[x]/\langle x^2+1\rangle$ and ...
7
votes
2answers
1k views

Why are fields with characteristic 2 so pathological?

For example, over fields with characteristic 2, there exist nonzero symmetric nilpotent matrices, and nonzero matrices could be simultaneously symmetric and anti-symmetric. I wonder why characteristic ...
7
votes
2answers
1k views

Tensor product and compositum of fields

Let E/k, F/k be two arbitrary field extensions of k. My question is: Is there a field extension M/k s.t. E/k, F/k are subextensions of M/k? Alternatively, can we talk about compositum fields without ...
7
votes
2answers
770 views

Show that an algebraically closed field must be infinite.

Show that an algebraically closed field must be infinite. Answer If F is a finite field with elements $a_1, ... , a_n$ the polynomial $f(X)=1 + \prod_{i=1}^n (X - a_i)$ has no root in F, so F ...
7
votes
4answers
245 views

Why is $\{a + b\sqrt2 + c\sqrt3 : a\in\Bbb{Z}, b, c \in\Bbb{Q}\}$ not closed under multiplication?

The set $R = \{a + b\sqrt{2} + c\sqrt{3}: a \in \Bbb{Z}, c, b \in \Bbb{Q}\}$ is not closed on multiplication, my textbook states. Why is this? And related to that: why then is $S = \{a + b\sqrt{2} : ...
7
votes
5answers
86 views

Is $\mathbb{Q}[\sqrt{2},\sqrt{3}]$ the same as $\mathbb{Q}(\sqrt{2},\sqrt{3})$?

Is $\mathbb{Q}[\sqrt{2},\sqrt{3}]$ the same as $\mathbb{Q}(\sqrt{2},\sqrt{3})$? I mean, $\mathbb{Q}[\sqrt{2},\sqrt{3}]$ can be viewed as: $\mathbb{Q}[\sqrt{2}][\sqrt{3}]$, as polynomials of ...
7
votes
2answers
170 views

Galois group of the splitting field of the polynomial $x^5 - 2$ over $\mathbb Q$

We know that the splitting field of $x^5 - 2 $ over $\mathbb Q$ is $\mathbb Q(2^{1/5}, \rho)$, where $\rho$ is a fifth root of unity. Therefore, $\left[\mathbb Q(2^{1/5} , \rho) : \mathbb Q \right] = ...
7
votes
2answers
2k views

Every finite extension of a finite field is separable

I'm trying to prove that every finite extension of a finite field is separable. I found a solution on internet which says: Let $F$ be a finite field and $E$ be an extension of $F$ having $p^n$ ...
7
votes
3answers
1k views

Help with proof that $\mathbb Z[i]/\langle 1 - i \rangle$ is a field.

I have been having a lot of trouble teaching myself rings, so much so that even "simple" proofs are really difficult for me. I think I am finally starting to get it, but just to be sure could some one ...
7
votes
1answer
609 views

Proving that a polynomial is not solvable by radicals.

I'm trying to prove that the following polynomial is not solvable by radicals: $$p(x) = x^5 - 4x + 2 $$ First, by Eisenstein $p$ is irreducible. (It is not difficult to see that this ...
7
votes
2answers
1k views

Construct algebraic closure of $\mathbb{Q}$

In abstract algebra lecture, the lecturer wants to construct an algebraic closure of $\mathbb{Q}$. The construction is as follow: Suppose $\mathbb{Q_1}=\mathbb{Q}$. Let $\mathbb{Q}_2$ be the set ...
7
votes
3answers
422 views

Do maximal proper subfields of the real numbers exist?

To clarify the problem, consider the field ${\Bbb R}$ as a field extension of ${\Bbb Q}$ using some sort of Hamel basis. Does there exist a field $F\subsetneq{\Bbb R}$ such that $F(\sqrt{2})={\Bbb R}$ ...
7
votes
2answers
221 views

Explicit Galois theory computation in cyclotomic field

Let $p$ be an odd prime. Let $\zeta=e^{\frac{\pi i}{4 p}}$, thus $\zeta$ is a primitive $8p$-th root of unity. There is a unique $\mathbb Q$-automorphism $\tau$ of the number field ${\mathbb ...
7
votes
2answers
547 views

Determining subfields of $\mathbb{Q}(\zeta_3,\sqrt[3]{2})$ without Galois theory?

Somehow I had convinced myself recently that one could determine the subfields of $\mathbb{Q}(\zeta_3,\sqrt[3]{2})$ (here $\zeta_3 = \frac{-1+\sqrt{3}i}{2}$ is a primtive $3$rd root of $1$) without ...
7
votes
1answer
369 views

For field extensions $F\subsetneq K \subset F(x)$, $x$ is algebraic over $K$

Let $x$ be an element not algebraic over $F$, and $K \subset F(x)$ a subfield that differs from $F$. Why is $x$ algebraic over $K$? Thanks a lot!
7
votes
1answer
893 views

Need help understanding separable polynomials

I have the following definition of what it means for a polynomial to be separable: Let $E$ be a field and $P \in E[x]$ be irreducible. Then we say $P$ is separable if it has no repeated root in ...
7
votes
4answers
178 views

Fields of arbitrary cardinality

So I took an introductory abstract algebra course a few semesters ago, and we were shown that groups and rings can both be made into products, i.e. if I have some group $G$ (resp. ring $R$) and some ...
7
votes
2answers
485 views

Elementary proof of $\mathbb{Q}(\zeta_n)\cap \mathbb{Q}(\zeta_m)=\mathbb{Q}$ when $\gcd(n,m)=1$.

In an answer to another question I used the fact that $\mathbb{Q}(\zeta_m)\subseteq \mathbb{Q}(\zeta_n)$ if and only if $m$ divides $n$ (here $\zeta_n$ stands for a primitive $n$th root of unity, ...
7
votes
2answers
959 views

A question regarding normal field extensions and Galois groups

The following is possibly true but I can't find a corresponding theorem: If $E/F$ is the splitting field of some polynomial in $F$ and $F \subset K \subset E$ then: $Gal(E/K)$ normal subgroup of ...
7
votes
1answer
125 views

Infinite $p$-extension contains $\mathbb{Z}_p$-extension

Does the Galois group of every infinite $p$-extension $K$ of a number field $k$ contain a (closed) subgroup such that the quotient group is isomorphic to $\mathbb{Z}_p$? My feeling is "yes", but I'm ...
7
votes
1answer
148 views

Extension degree of residue field.

Let $k$ be a field, and $A$ be a finitely generated $k$-algebra with $\text{dim}(A)\leq 1$. Then for any maximal ideal $\mathfrak{m}$ of $A$, does this inequality $[A/\mathfrak{m}:k]<\infty$ hold? ...
7
votes
3answers
495 views

Subextension of a finitely generated extension of fields

If $E/K$ is a finitely generated field extension and $F$ is an intermediate field how can I prove that $F/K$ is finitely generated?
7
votes
2answers
526 views

Derivations in a ring. What applications do they have outside algebra?

INTRODUCTION Let $R$ be any ring, possibly without unity. We call a function $d:R\longrightarrow R$ a derivation on $R$ if it satisfies the following conditions. $(1)$ It is an endomorphism of the ...
7
votes
1answer
222 views

Field Extensions

Let $L/K$ a finite extension and $f(x)\in K[x]$ a non-linear irreducible polynomial. Prove that if $\mathrm{gcd}\left( \mathrm{deg}(f) , \left[ L:K \right] \right)=1$ then $f(x)$ has no roots in ...
7
votes
1answer
220 views

A shortcut in Galois theory

How could we prove Galois correspondence without using Dedekind’s Lemma on group characters, Artin’s lemma and the primitive element theorem ? I just came across Meinolf Geck's article On the ...
7
votes
3answers
334 views

Why are the surreals considered “recreational” mathematics?

One of my college math professors once remarked to me that it was interesting that John Conway's two "biggest" contributions to math were both recreational: the Game of Life and the Surreals. No one, ...
7
votes
3answers
206 views

Proving that $X^6-15X^4-6X^3+75X^2-90X-116$ is irreducible over $\mathbb Q$

When asked to find the minimal polynomial of $\sqrt[3]{3}+\sqrt[2]{5}$ over $ \mathbb Q$, I easily found out that $X^6-15X^4-6X^3+75X^2-90X-116$ has $\sqrt[3]{3}+\sqrt[2]{5}$ as a root. It's very ...
7
votes
1answer
144 views

A first order theory whose finite models are exactly the $\Bbb F_p$

Is there a first order theory $T$ in the language of rings such that its finite models are exactly the fields $\Bbb F_p$ with $p$ prime (but no $\Bbb F_q$ with $q$ a proper prime power is a model of ...
7
votes
2answers
132 views

Equivalent definition of algebraically closed

In Hungerford's Algebra text, it is stated that a field $K$ is algebraically closed iff there exists a subfield $F$ such that $K$ is algebraic over $F$ and all polynomials in $F[x]$ split in $K[x]$. ...
7
votes
1answer
154 views

prove that the field extension is cyclic

Let's define the sequence $x_0=0$ and $ x_{i+1} = \sqrt{x_i+2}$ taking always the positive root. Prove that the field extension $\Bbb Q \subset \Bbb Q(x_i) $ is cyclic with degree $2^i$ Well.. at ...
7
votes
2answers
175 views

What's the theoretical basis for integration using partial fractions?

Exercises involving integration using partial fractions depend on expressing a rational function $\frac{P(x)}{Q(x)}$ (where the degree of $P$ is less than the degree of $Q$) as a sum of ...
7
votes
2answers
102 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 ...
7
votes
2answers
197 views

If $E/F$ is algebraic and every $f\in F[X]$ has a root in $E$, why is $E$ algebraically closed?

Suppose $E/F$ is an algebraic extension, where every polynomial over $F$ has a root in $E$. It's not clear to me why $E$ is actually algebraically closed. I attempted the following, but I don't think ...
7
votes
3answers
174 views

Every element is radical in a field extension.

Let $L/K$ be an algebraic field extension. Suppose for each $x\in L$, there exists an integer $n>0$ such that $x^n\in K$, where $n$ may depend on $x$. If the characteristic of $K$ is zero, does it ...
7
votes
1answer
132 views

What is going on in this degree 8 number field that fails to be a quaternion extension of $\mathbb{Q}$?

This is a soft but very mathematically hands-on question. Hopefully it will be interesting to more than just me. Thanks in advance for your help in thinking clearly about what follows. I have been ...
7
votes
2answers
185 views

Is it true that every element of $\mathbb{F}_p$ has an $n$-th root in $\mathbb{F}_{p^n}$?

It is not hard to prove that every element of $\mathbb{F}_p$ has a square root in $\mathbb{F}_{p^2}$: take any $a \in \mathbb{F}_p$ and consider the polynomial $f = X^2 - a$. If $f$ has a root in ...
7
votes
2answers
130 views

Showing $\mathbb{Q}(2^{1/3}+2^{1/5})=\mathbb{Q}(2^{1/3},2^{1/5})$

In order to prove $[\mathbb{Q}(2^{1/3}+2^{1/5}):\mathbb{Q}]=15$, I want to show $\mathbb{Q}(2^{1/3}+2^{1/5})=\mathbb{Q}(2^{1/3},2^{1/5})$. Any suggestions?
7
votes
1answer
554 views

An exercise on cyclic extensions of Hungerford's book, Algebra.

I'm trying to show the following exercise of the book, it is in the section of cyclic extensions and says the following: Let $\overline{\mathbb Q}$ be a fixed algebraic closure of $\mathbb Q$, let ...
7
votes
1answer
170 views

What does this notation mean: $\displaystyle\lim_{\leftarrow} \,\mathbb{Z}/n\mathbb{Z}$?

Just a small notation question from this Wikipedia page: The absolute Galois group of a finite field $K$ is isomorphic to the group $$\hat{\mathbb{Z}}=\lim_{\leftarrow} \mathbb{Z}/n\mathbb{Z}.$$ ...
7
votes
1answer
338 views

Generating Elements of Galois Group

I am trying to prove the following: Let $K=\mathbb{Q}(\sqrt{p_1},\ldots,\sqrt{p_n})$. Show that $K/\mathbb{Q}$ is Galois with Galois group $(\mathbb{Z}/2\mathbb{Z})^n$. I have attached my proof ...
7
votes
1answer
252 views

How to show that $(\mathbb{Q}(\sqrt{2}))^{\times} \cong (\mathbb{Q}(\sqrt{3}))^{\times}$

How to show that $$(\mathbb{Q}(\sqrt{2}))^{\times} \cong (\mathbb{Q}(\sqrt{3}))^{\times}$$ where $(\mathbb{Q}(\sqrt{2}))^{\times}$ is multiplicative group of $\mathbb{Q}(\sqrt{2})$. Mapping ...
7
votes
3answers
436 views

Intersection of Cyclotomic Fields

How would I prove that $\mathbb{Q_m} \cap \mathbb{Q_n} = \mathbb{Q_{(m, n)}}$ (here $\mathbb{Q_n}$ denotes the $n$th cyclotomic field)? I already know of a solution involving the fact that given two ...
7
votes
2answers
277 views

Splitting field of $x^{13}+1$ over $\mathbb{Q}$

I want to know how to calculate the degree of the field extension $[K:Q]$ where $K$ is the splitting field of $x^{13}+1$ over $\mathbb{Q}$. I'm new to this area and this is not really covered in my ...
7
votes
1answer
252 views

Algebraic Extensions and Separability

I have been wrestling with the following problem for the past few hours, but I have made no progress whatsoever, namely: Let $K/k$ be an algebraic extension with characteristic $p>0$ and let ...
7
votes
2answers
237 views

Application of the Artin-Schreier Theorem

This is exercise $6.29$ out of Lang's book: Let $K$ be a cyclic extension of a field $F$, with Galois group $G$ generated by $\sigma$. Assume that the characteristic is $p$, and that ...
7
votes
1answer
142 views

Lower Bound on Number of Wildly Ramified Extensions of $\mathbb{Q}_p$

Suppose $p$ is prime and $p$ divides $e$ divides $n$. Typically up to isomorphism there are a lot of wildly ramified extensions of $\mathbb{Q}_p$ which have degree $n$ and ramification index $e$. ...