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)

6
votes
5answers
527 views

Showing that $\mathbb{Q}[\sqrt{2}, \sqrt{3}]$ contains multiplicative inverses

Why must $\mathbb{Q}[\sqrt{2}, \sqrt{3}]$ -- the set of all polynomials in $\sqrt{2}$ and $\sqrt{3}$ with rational coefficients -- contain multiplicative inverses? I have gathered that every ...
3
votes
1answer
78 views

Fraction field of $F[X,Y](f)$ isomorphic to $F(X)[Y]/(f)$

Assume $F$ is a field and $f$ is an irreducible polynomial in $F[X,Y]$ which involves the variable $Y$. Then, by Gauss's lemma, $f$ is irreducible also in $F(X)[Y]$ so that $F(X)[Y]/(f)$ is a field ...
3
votes
2answers
199 views

Is any finite-dimensional extension of a field, say $F$, algebraic and finitely generated?

As title, Is any finite-dimensional extension of a field, say $F$, algebraic and finitely generated? Say if $K/F$ is a finite extension when $K$ is a finite-dimensional vector space of $F$. Clearly, ...
6
votes
2answers
454 views

Galois group of algebraic closure of a finite field

Is there any element of finite order of the Galois group of algebraic closure of a finite field, and if there is how can I construct it ? Thanks.
6
votes
1answer
2k views

Sums and products of algebraic numbers

How does one go about proving that the sums and products of two algebraic numbers over a field $F$ (say $a,b\in K$, where $K/F$ is a field extension) is also algebraic? If we call $f_a$ and $f_b$ ...
2
votes
1answer
117 views

the number of intermediate fields in a simple field extension of degree $n$

suppose that $K|F$ is a simple field extension with degree $n$,prove that the number of intermediate fields is less or equal $2^{n-1}$. i've done this: assume $K=F(a)$ and $L$ is a intermediate ...
25
votes
1answer
399 views

Rigidity of the category of fields

Let's call a category rigid if every self-equivalence is isomorphic to the identity. For example, $\mathsf{Set}$, $\mathsf{Grp}$, $\mathsf{Ab}$, $\mathsf{CRing}$ (MO/106838), $\mathsf{Top}$ ...
21
votes
2answers
1k views

Why is $\mathbb{Q}(t,\sqrt{t^3-t})$ not a purely transcendental extension of $\mathbb{Q}$?

This question is taken from Dummit and Foote (14.9 #6). Any help will be appreciated: Show that if $t$ is transcendental over $\mathbb{Q}$, then $\mathbb{Q}(t,\sqrt{t^3-t})$ is not a purely ...
6
votes
6answers
4k views

Abstract algebra book recommendations for beginners.

I am taking abstract algebra in this semester. I find that my lecturer didn't provide enough examples for understanding. So I would like to ask what are the recommended books which has lots of solved ...
27
votes
6answers
2k views

Is $\{0\}$ a field?

Consider the set $F$ consisting of the single element $I$. Define addition and multiplication such that $I+I=I$ and $I \times I=I$ . This ring satisfies the field axioms: Closure under addition. ...
14
votes
5answers
457 views

Why does $K \leadsto K(X)$ preserve the degree of field extensions?

The following is a problem in an algebra textbook, probably a well-known fact, but I just don't know how to Google it. Let $K/k$ be a finite field extension. Then $K(X)/k(X)$ is also finite with ...
28
votes
3answers
2k views

Why isn't the inverse of the function $x\mapsto x+\sin(x)$ expressible in terms of “the functions one finds on a calculator”?

The function $f(x)=x+\sin(x)$ is easily checked to be a bijection from the reals to itself, and so it has a unique inverse $y\mapsto g(y)$ such that $f\circ g=g\circ f$ are both the identity map. ...
11
votes
3answers
485 views

Why is the collection of all algebraic extensions of F not a set?

When proving that every field has an algebraic closure, you have to be careful. In this article https://proofwiki.org/wiki/Field_has_Algebraic_Closure, and as I have been told on this site, if we have ...
10
votes
1answer
1k views

Every finite group is isomorphic to some Galois group for some finite normal extension of some field.

Every finite group is isomorphic to some Galois group for some finite normal extension of some field. I'm trying to write a proof, but I know this is incorrect. Can anyone point me in the write ...
6
votes
2answers
218 views

Are $\Bbb R$ and $\Bbb C$ the only connected, locally compact fields?

I heard that $\Bbb R$ and $\Bbb C$ are the only connected, locally compact fields. Does anyone know a proof for this result?
21
votes
5answers
1k 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 ...
7
votes
1answer
412 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
5answers
8k views

Finding inverse of polynomial in a field

I'm having trouble with the procedure to find an inverse of a polynomial in a field. For example, take: In $\frac{\mathbb{Z}_3[x]}{m(x)}$, where $m(x) = x^3 + 2x +1$, find the inverse of $x^2 + ...
6
votes
4answers
221 views

Number fields with all degrees equal to a power of three

Say that a number field $\mathbb K$ is $3$-powerful if the degree (over $\mathbb Q$) of every non-rational element of ${\mathbb K}$ is a power of $3$. By Zorn’s lemma, the field $\cal A$ of all ...
9
votes
2answers
779 views

How does $\cos(2\pi/257)$ look like in real radicals?

We know $\cos(2\pi/p)$ for p a Fermat prime can be expressed in real radicals. The case $p=17$ is a root of an 8th deg eqn, but can be also given as a sequence of nested radicals, $$\begin{aligned} ...
8
votes
4answers
583 views

Unique quadratic subfield of $\mathbb{Q}(\zeta_p)$ is $\mathbb{Q}(\sqrt{p})$ if $p \equiv 1$ $(4)$, and $\mathbb{Q}(\sqrt{-p})$ if $p \equiv 3$ $(4)$

I want to prove the assertion: The unique quadratic subfield of $\mathbb{Q}(\zeta_p)$ is $\mathbb{Q}(\sqrt{p})$ when $p \equiv 1 \pmod{4}$, respectively $\mathbb{Q}(\sqrt{-p})$ when $p \equiv 3 ...
4
votes
1answer
140 views

Intermediate fields between $\mathbb{Z}_2 (\sqrt{x},\sqrt{y})$ and $\mathbb{Z}_2 (x,y)$

Let $K=\mathbb{Z}_2 (x,y)$, where $x,y$ are independent, and $L$ be a splitting field extension of $(X^2 - x) (X^2 - y)$, then $[L:K] = 4$ and $L = K(\sqrt{x},\sqrt{y})$ where $\sqrt{x},\sqrt{y}$ are ...
-1
votes
2answers
668 views

What is $\operatorname{Gal}(\mathbb Q(\zeta_n)/\mathbb Q(\sin(2\pi k/n))$?

Let $\zeta_n$ be the $n$-th primitive root of unity and $4 \mid n$. Consider the field extensions $\mathbb Q \subset \mathbb Q(\sin(2\pi k/n) \subset \mathbb Q(\zeta_n)$. What is the degree of the ...
9
votes
4answers
1k views

Why is the product of all units of a finite field equal to $-1$?

Suppose $F=\{0,a_1,\dots,a_{q-1}\}$ is a finite field with $q=p^n$ elements. I'm curious, why is the product of all elements of $F^\ast$ equal to $-1$? I know that $F^\ast$ is cyclic, say generated by ...
6
votes
3answers
2k views

Quadratic subfield of cyclotomic field

Let $p$ be prime and let $\zeta_p$ be a primitive $p$th root of unity. Consider the quadratic subfield of $\mathbb{Q}(\zeta_p)$. For instance, for $p=5$ we get the quadratic subfield to be ...
5
votes
1answer
656 views

Degree of the extension $\mathbb{Q}(\sqrt{a+\sqrt{b}})$ over $\mathbb{Q}$

Following my previous question the book then asks Use this to determine when the field extension $\mathbb{Q}(\sqrt{a+\sqrt{b}})$ over $\mathbb{Q}$ is biquadratic (where $a,b\in\mathbb{Q}$) ...
5
votes
2answers
1k views

Galois Field Fourier Transform

there are two definitions for Reed-Solomon codes, as transmitting points and as BCH code ( http://en.wikipedia.org/wiki/Reed%E2%80%93Solomon_error_correction ). On Wikipedia there is written that we ...
3
votes
2answers
94 views

Field that contains $(\mathbb{Z}/p^n\mathbb{Z})^*$

Let $p$ be an odd prime. There exists a field $F$ that contains an isomorphic copy of $(\mathbb{Z}/p^n\mathbb{Z})^*$ as a multiplicative subgroup? Clearly if $n=1$ we can take $F=\mathbb{F}_p$, but ...
1
vote
2answers
6k views

Galois Field GF(4)

Question: Why is the table of GF(4) look like the one below? I know it has to do with the fact that 4 is composite Let GF(4) = {0,1,B,D} Addition: $$ \begin{array}{c|cccc} + & 0& 1& ...
7
votes
2answers
250 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 ...
6
votes
1answer
220 views

Finiteness of the Algebraic Closure

Let $\mathbb R$ be the field of real numbers. Its algebraic closure, the field $\mathbb C$, is a finite extension of $\mathbb R$, which has degree 2. Are there other examples of fields (not ...
5
votes
1answer
787 views

field of algebraic numbers

Would anyone be able to give me an outline or a hint towards the proof that the field of algebraic numbers is an infinite extension of the field of rationals? Many Thanks
5
votes
2answers
172 views

Closure of a number field with respect to roots of a cubic

Consider the following property of subfields ${\mathbb K}$ of ${\mathbb C}$ : $$ \text{Any polynomial of degree 3 with coefficients in} \ {\mathbb K} \ \text{has a root in } {\mathbb K} \ \ \ \ ...
3
votes
1answer
2k views

Construct a finite field of 16 elements and find a generator for its multiplicative group.

Construct a finite field of 16 elements and find a generator for its multiplicative group. Find all generators of multiplicative group. Very obvious Construction of a field with 16 elements according ...
2
votes
2answers
107 views

The set of algebraic numbers is a field.

I need help proving this stunning result. Let me state it this way. Let $\mathbb L$ be a field and $\mathbb K$ be a field with $\mathbb K \subset \mathbb L$ Let $A$ be the set of algebraic ...
1
vote
1answer
125 views

Show that $9+9x+3x^3+6x^4+3x^5+x^6$ is irreducible given one of its roots

Given a polynomial $f(x)=9+9x+3x^3+6x^4+3x^5+x^6$ and one of its roots $\alpha=2^{1/3}+e^{2\pi i/3}$. Show that $f(x)$ is irreducible in $\mathbb Q[x]$. Eisenstein's criterion fails, it also didn't ...
1
vote
1answer
207 views

Minimal polynomial of intermediate extensions under Galois extensions.

Let $K$ be a Galois extension of $F$, and let $a\in K$. Let $n=[K:F]$, $r=[F(a):F]$, and $H=\mathrm{Gal}(K/F(a))$. Let $z_1, z_2,\ldots,z_r$ be left coset representatives of $H$ in $G$. Show that ...
4
votes
1answer
118 views

Formal power series ring, norm. [closed]

Let $k$ be a field. Let $R$ be the formal power series ring $k[[x]]$. Define $N$ on $R \setminus \{0\}$ as follows: $N(f)$ is the smallest $n$ of which the coefficient of $x^n$ in $f$ is nonzero. (a) ...
3
votes
1answer
111 views

Polynomials having as roots the sum (respectively, the product) of two algebraic elements

This question remained somehow incompletely solved. The OP also asked for an explicit form of the minimal polynomial of the sum (respectively, product) of two algebraic elements (in a field ...
2
votes
2answers
52 views

$(a,b) \mathbin\# (c,d)=(a+c,b+d)$ and $(a,b) \mathbin\&(c,d)=(ac-bd(r^2+s^2), ad+bc+2rbd)$. Multiplicative inverse?

Let $r\in \mathbb{R}$ and let $0\neq s \in \mathbb{R}$. Define operations $\#$ and $\&$ on $\mathbb{R}$ x $\mathbb{R}$ by $(a,b) \mathbin\#(c,d)=(a+c,b+d)$ and $(a,b) ...
2
votes
3answers
153 views

Explain why $\mathbb{Z \times Z}$ and $\mathbb{R \times R}$ is not a field [duplicate]

Explain why $\mathbb{Z \times Z}$ and $\mathbb{R \times R}$ is not a field and that why any external direct sum of two fields cannot be a field. I believe it has much to do with the lack of every ...
1
vote
1answer
68 views

Convert from a field extension to an elementary field extension

I have a basic question about algebraic field extensions: How can I convert a multiple extension like $\mathbb{Q}(\sqrt{2},\sqrt{3})$ to a single (elementary) field extension (like ...
0
votes
3answers
428 views

is it possible for two fields with the same characteristic to not be isomorphic?

I know there is a long list of invariants, but is there a proof or theorem that explains two fields with the same characteristic are isomorphic?
22
votes
0answers
552 views

When are nonintersecting finite degree field extensions linearly disjoint?

Let $F$ be a field, and let $K,L$ be finite degree field extensions of $F$ inside a common algebraic closure. Consider the following two properties: (i) $K$ and $L$ are linearly disjoint over $F$: ...
15
votes
3answers
13k views

what is difference between a ring and a field

The ring axioms require that addition is commutative, addition and multiplication are associative, multiplication distributes over addition. A field can be thought of as two groups with extra ...
6
votes
3answers
2k views

Isomorphisms: preserve structure, operation, or order?

Everyone always says that isomorphisms preserve structure... but given the (multiple) definitions of isomorphism, I fail to see how the definitions equate with the intuitive meaning, which is that two ...
15
votes
4answers
6k views

Finding the minimal polynomial of $\sqrt 2 + \sqrt[3] 2$ over $\mathbb Q$.

I have to find the minimal polynomial of $\sqrt 2 + \sqrt[3] 2$ over $\mathbb Q$. The suggested way of doing it is to prove that $\mathbb Q[\sqrt 2 + \sqrt[3] 2]=\mathbb Q[\sqrt 2,\sqrt[3] 2]$ first. ...
12
votes
3answers
1k views

Recognizing when a tower of Galois extensions gives a Galois extension

For the easiest case, assume that $L/E$ is Galois and $E/K$ is Galois. Under what conditions can we conclude that $L/K$ is Galois? I guess the general case can be a bit tricky, but are there some ...
6
votes
1answer
388 views

A formula for the roots of a solvable polynomial

Let $F$ be a field and $p(x)\in F[x]$ a separable polynomial, denote $K$ as the splitting field of $p$ and assume that $K/F$ is Galois with a solvable Galois group. I don't understand if this imply ...
16
votes
3answers
2k views

A finite field cannot be an ordered field.

I am reading baby Rudin and it says all ordered fields with supremum property are isomorphic to $\mathbb R$. Since all ordered finite fields would have supremum property that must mean none exist. ...