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)

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
454 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 ...
27
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. ...
7
votes
1answer
491 views

Irreducible cyclotomic polynomial

I want to know if there is a way to decide if a cyclotomic polynomial is irreducible over a field $\mathbb{F}_q$?
18
votes
5answers
831 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 ...
15
votes
2answers
331 views

Sum of irrational numbers, a basic algebra problem

Let $x_1,\dots,x_n$ be positive rational numbers. If $\sqrt[l_1]{x_1},\dots,\sqrt[l_n]{x_n}$ are all irrational numbers (where $l_1,l_2,\dotsc,l_n\in\Bbb N^*$), does it follow that $$\sqrt[l_1]{x_1}+ ...
8
votes
4answers
557 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 ...
7
votes
1answer
373 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!
6
votes
1answer
2k views

Prove $f=x^p-a$ either irreducible or has a root. (arbitrary characteristic) (without using the field norm) [duplicate]

Let $K$ be an arbitrary field, $p$ a prime and $a\in K$. Show $f=x^p-a$ is either irreducible in $K[x]$ or has a root in $K$. My strategy was to split this up into a case for each ...
6
votes
4answers
216 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 ...
7
votes
2answers
598 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} ...
5
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
2answers
995 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 ...
2
votes
2answers
978 views

Necessary and Sufficient Condition for a sub-field

Is there any necessary and sufficient condition to determine whether a subset $H$ of a given field $K$ is a subfield? In some paper I have found something like that: $H$ is a field if for all $a, ...
-1
votes
2answers
642 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 ...
8
votes
4answers
882 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 ...
5
votes
1answer
598 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}$) ...
3
votes
2answers
91 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
1answer
120 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
186 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 ...
5
votes
1answer
605 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
167 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
105 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 ...
2
votes
3answers
147 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
66 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
361 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?
20
votes
0answers
485 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$: ...
12
votes
3answers
9k 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
6answers
3k 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 ...
14
votes
4answers
5k 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. ...
11
votes
3answers
459 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 ...
11
votes
1answer
286 views

Field reductions

If there is a field $F$ that is a field reduction of the real numbers, that is $F(a)=\mathbb{R}$ for some $a$, let's also denote this $F=\mathbb{R}(\setminus a)$, then given $x \in \mathbb{R}$ is ...
10
votes
2answers
931 views

What exactly is the fixed field of the map $t\mapsto t+1$ in $k(t)$?

Suppose $k$ is a field, and $k(t)$ is the rational function field. If $f(t)=P(t)/Q(t)$ for some polynomials $P(t)$ and $Q(t)\neq 0$, then the map $t\mapsto t+1$ sends $f(t)$ to $f(t+1)$. So the ...
8
votes
5answers
477 views

Prove $\sqrt[3]{3} \notin \mathbb{Q}(\sqrt[3]{2})$

I've tried solving $\sqrt[3]{3} =a + b* \sqrt[3]{2}+c* \sqrt[3]{4}$, but there is no obvious contradiction, even when taking the norms/traces of both sides. I can't think of another approach. This is ...
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 ...
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. ...
8
votes
2answers
1k views

Problem in Jacobson's Basic Algebra (Vol. I)

It is section $4.4$, exercise number $5$. It says the following: Let $F$ be a field of characteristic $p$. Show that $f(x)=x^p-x-a$ has no multiple roots and that $f(x)$ is irreducible in $F[x]$ if ...
6
votes
1answer
387 views

Degree of field extension

If $p$ is odd prime and $c=\cos(\frac{2\pi}{p})$, $s=\sin(\frac{2\pi}{p})$ then for which values of $p$ does $\mathbb{Q}(s,c)=\mathbb{Q}(c)$?
6
votes
5answers
2k views

Infinite Degree Algebraic Field Extensions

In I. Martin Isaacs Algebra: A Graduate Course, Isaacs uses the field of algebraic numbers $$\mathbb{A}=\{\alpha \in \mathbb{C} \; | \; \alpha \; \text{algebraic over} \; \mathbb{Q}\}$$ as an example ...
5
votes
1answer
114 views

Why is the extension $k(x,\sqrt{1-x^2})/k$ purely transcendental?

Consider the function field $k(x,\sqrt{1-x^2})$ of the circle over an algebraically closed field $k$. Is $k(x,\sqrt{1-x^2})$ a purely transcendental extension over $k$? I'm curious because I was ...
5
votes
2answers
188 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?
4
votes
1answer
87 views

Existence of a group isomorphism between $(\mathbb K,+)$ and $(\mathbb K^\times,\cdot)$

Let $(\mathbb K,+,\cdot)$ be a field. Is there a group isomorphism between $(\mathbb K,+)$ and $(\mathbb K^\times,\cdot) $ ? The answer should clearly be negative. I tried to proceed via ...
3
votes
2answers
816 views

isomorphism of Dedekind complete ordered fields

In the last chapter of Spivak's Calculus, there is a proof that complete ordered fields are unique up to isomorphism. I find the first steps in it somewhat suspicious. Specifically, I believe he is ...
3
votes
2answers
494 views

A question about a weak form of Hilbert's Nullstellensatz

Corollary 5.24 on page 67 in Atiyah-Macdonald reads as follows: Let $k$ be a field and $B$ a finitely generated $k$-algebra. If $B$ is a field then it is a finite algebraic extension of $k$. We know ...
10
votes
3answers
302 views

Does $\mathbb{F}_p((X))$ has only finitely many extension of a given degree?

We know that $\mathbb{Q}_p$ has only finitely many extensions of a given degree in its algebraic closure. Is it the same for $\mathbb{F}_p((X))$?
6
votes
2answers
666 views

A field that is an ordered field in two distinct ways

Question: Explain the construction below (taken directly from Counter Examples in Analysis): An ordered field is a field $F$ that contains a subset $P$ such that $P$ is closed with respect ...
6
votes
1answer
458 views

Galois Groups of Finite Extensions of Fixed Fields

I am trying to prove the following proposition: Let $L$ be an algebraically closed field, $g \in Aut(L)$ and $K=\{x \in L \; | \; g(x)=x\}$. Show that every finite extensions $E/K$ is a cyclic ...
6
votes
2answers
500 views

Why aren't there any coproducts in the category of $\bf{Fields}$?

Well the question is stated in the title. I dont know much about field theory and i was suprised when i read it on wikipedia please provide some examples thanks in advance
6
votes
5answers
6k 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 + ...