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

7
votes
3answers
169 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
2answers
129 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
205 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
2answers
257 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
246 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
175 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
368 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
2answers
262 views

Compositum of fields with trivial intersection

Let $E/F$ be a finite extension. Let $L,K$ be two intermediate fields with $L\cap K = F$, and also $$[L : F] [K:F] = [E:F].$$ Must it hold that the compositum $LK$ equals $E$? If we assume that $E/F$ ...
7
votes
1answer
120 views

“Real part” of a number field

Let ${\mathbb K} \subseteq {\mathbb C}$ be a finite extension of $\mathbb Q$, and let $n=[{\mathbb K} : {\mathbb Q}]$. Let $X_{\mathbb K}$ denote the set of all “components” (i.e., real and imaginary ...
7
votes
1answer
150 views

Exercise on finite intermediate extensions

Let $E/K$ be a field extension, and let $L_1$ and $L_2$ be intermediate fields of finite degree over $K$. Prove that $[L_1L_2:K] = [L_1 : K][L_2 : K]$ implies $L_1\cap L_2 = K$. My thinking ...
7
votes
2answers
608 views

How to find irreducible polynomials over $\mathbb{Q}(i)$ with prescribed Galois group?

Here is my recent homework question: For each of the following five fields $F$ and five groups $G$, find an irreducible polynomial in $F[x]$ whose Galois group is isomorphic to $G$. If no example ...
7
votes
1answer
184 views

Calculating Separable Closures

In my study of fields, the notion of the separability of an algebraic field extension is one of the more slippery concepts I have encountered thusfar. What is particularly vexing to me is the notion ...
7
votes
1answer
78 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 ...
7
votes
1answer
95 views

Should this be viewed as a serious issue with the meadow-theoretic approach?

Meadow theory (see here) allows us to apply the results and concepts of universal algebra to the study of fields. Obviously, this is very, very nice. However, I have the following issue with the ...
7
votes
2answers
277 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} ...
7
votes
1answer
113 views

Multivariate coprime polynomials in field extensions

Suppose $f$ and $g$ are polynomials in $n$ variables, $n\ge 2$, over a field $E$. Suppose further that $f$ and $g$ are relatively prime over $E$. If $F$ is a field extension of $E$, are $f$ and $g$ ...
7
votes
1answer
204 views

Show the two fields are not isomorphic

Let $p,q,r$ be prime integers with $q\neq r$. Let $\sqrt[p]q$ denote any root of $x^p-q$ and $\sqrt[p]r$ denote any root of $x^p-r$. Please show that $\mathbb{Q}(\sqrt[p]q)\neq\mathbb{Q}(\sqrt[p]r)$. ...
7
votes
1answer
226 views

Two questions on Nagata's counterexample to the Hilbert's fourteenth problem.

Let $\{a_{ij}\}$ for $i=1,2,3$, and $j=1,...,16$ be algebraically independent elements over some prime field. Let $k$ be a field containing all $a_{ij}$. Then consider $k^{16}$ as $k$-vector space and ...
7
votes
1answer
185 views

the number field $\mathbb{Q}(\cos \frac \pi n)$

Let $x$ be $\cos \displaystyle \frac \pi n$ for some natural number $n$. Then is it true that $\mathbb{Q}(x^2+x)=\mathbb{Q}(x)$?
7
votes
1answer
254 views

Extension of Homomorphisms (Lang, Atiyah and McDonald)

Let $A$ be a subring of a field $K$, and suppose that $A$ is a local ring with maximal ideal $\mathfrak{m}$. Let $x \in K, \, x \neq 0$. Let $\phi: A \rightarrow L$ be a homomorphism of $A$ into the ...
7
votes
1answer
297 views

Problem 18.7 in I. Martin Isaacs' Algebra

I am trying to solve the following problem in I. Martin Isaacs' Algebra: A graduate course, p.290: Let $f(X),g(X) \in F[X]$ and suppose $E \supseteq F$ is the splitting field both for $f(X)$ and ...
7
votes
1answer
168 views

If $K=K^2$ then every automorphism of $\mbox{Aut}_K V$, where $\dim V< \infty$, is the square of some endomorphism.

I have to show the following: Let $K$ be a field such that $\mbox{char } K \neq 2$ and each element of $K$ is a square (i.e. $K^2=K$) and let $V$ be a finite-dimensional vector spaces over $K$. ...
7
votes
0answers
79 views

Ramification group fixing an unramified extension

For a Galois extension of local fields $L/K$ with Galois group $G$, define the ramification groups $G_i$ by $$G_i = \{ \sigma \in G : \nu_{L}(\sigma(x) - x) \geq i+1 \text{ } \forall x \in ...
6
votes
4answers
631 views

Does there exist a field which has infinitely many subfields?

Does there exist a field which has infinitely many subfields? Does there exist an enormous supply of such fields? I don't know how to begin.
6
votes
3answers
462 views

Is $\mathbb{Q}[\sqrt2]$ = $\mathbb{Q}[\sqrt2+1]$?

Is $\mathbb{Q}[\sqrt2]$ = $\mathbb{Q}[\sqrt2+1]$? I think so because $$\mathbb{Q}[\sqrt{2}+1] = \{\sum_{i=0}^{n}c_i(\sqrt{2}+1)^i\mid n\in\mathbb{N}, c_i\in\mathbb{Q}\}$$ $$= ...
6
votes
2answers
89 views

Dimension of $\Bbb Q(e)$ over $\Bbb Q$?

The dimension of $\Bbb Q(\sqrt{2})$ over $\Bbb Q$ is finite since $\sqrt2$ is algebraic over $\Bbb Q$. But what about any transcendental number (say $e$)? Which is the smallest field containing $\Bbb ...
6
votes
2answers
202 views

Spec of tensor product of fields

Suppose $K/k$ is a finite separable extension of degree $n$. How to show that there exists a finite separable extension $k'/k$ such that $\operatorname{Spec}(K \otimes_k k') $ consists of $n$ ...
6
votes
3answers
231 views

What's the difference between $\mathbb{Q}[\sqrt{-d}]$ and $\mathbb{Q}(\sqrt{-d})$?

Sorry to ask this, I know it's not really a maths question but a definition question, but Googling didn't help. When asked to show that elements in each are irreducible, is it the same?
6
votes
3answers
4k 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
287 views

Is there a less ad hoc way to find the degree of this extension?

I want to find the degree of $\mathbb{Q}(\sqrt{3+2\sqrt{2}})$ over $\mathbb{Q}$. I observe that $3+2\sqrt{2}=2+2\sqrt{2}+1=(\sqrt{2}+1)^2$ so $$ ...
6
votes
2answers
769 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 ...
6
votes
2answers
392 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
1answer
348 views

Does $\varphi(1)=1$ if $\varphi$ is a field homomorphism?

Is it by definition that $\varphi(1)=1$ if $\varphi$ is a field homomorphism ? My field theory lecture said that yes, but now $\varphi\equiv0$ is not a field homomorphism... What is the 'standard' ...
6
votes
5answers
147 views

Strong characterization of $\mathbb C$ with respect to $\mathbb R$

$\mathbb R^2$ is not a field, but $2$-tuple arithmetic rules like $(a,b)(c,d)=(ac-bd,ad+bc)$ coupled with $\mathbb R^2$ make it a field, but are there other rules than $(a,b)(c,d)=(ac-db,ad+bc)$ ...
6
votes
4answers
416 views

First examples in Galois theory

I'm studying Field Theory and after studying theorems and problems about extensions, splitting fields, etc... I'm starting with the first theorems of the Galois Theory itself. In order to see if I ...
6
votes
2answers
182 views

In an ordered field, must 1 be positive?

In an ordered field, must the multiplicative identity be positive? Or must it be defined as such?
6
votes
3answers
694 views

What's the Difference Between a Vector and an Hypercomplex Number?

What's the difference between a vector and an hypercomplex number? For instance a 4-vector and a quaternion. They seem to share many properties. Perhaps this question could be put more generally as: ...
6
votes
5answers
309 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 ...
6
votes
4answers
91 views

Product polynomial in $\mathbb{F}_7$

I need to compute the product polynomial $$(x^3+3x^2+3x+1)(x^4+4x^3+6x^2+4x+1)$$ when the coefficients are regarded as elements of the field $\mathbb{F}_7$. I just want someone to explain to me what ...
6
votes
4answers
139 views

If a polynomial $g$ divides $f$ and $f'$, then $g^2$ divides $f$?

Here's a homework problem from Artin's Algebra that I'm having a lot of trouble with Let $f(x) \in F[x]$ (where $F$ is a field of characteristic $0$). If $g$ is an irreducible polynomial that is ...
6
votes
5answers
291 views

why are subextensions of Galois extensions also Galois?

An algebraic extension of fields $L|K$ is defined to be a Galois extension iff the set of elements of $L$ invariant under the action of $Aut_K L$ is $K$. Apparently in the sequence of field ...
6
votes
2answers
1k views

How to prove that $\cos (2\pi/n)$ is algebraic?

Prove that for all integers $n$, $\cos (2\pi/n)$ is an algebraic number.
6
votes
3answers
697 views

On a formula of the norm of an element of a finite extension of a field

Theorem Let $F$ be a field. Let $K$ be a finite extension of $F$. Let $[K : F]_i$ be the inseparable degree of $K/F$. Let $\bar{K}$ be an algebraic closure of $K$. Let $S$ be the set of $F$-embeddings ...
6
votes
3answers
188 views

Is there a pattern of the factorization of a polynomial modulo $p$ as $p$ varies

Take $P\in\mathbb{Z}[X]$ and factorize it modulo $p$, where $p$ is a prime. Modulo different $p$'s the factorization varies. Is there a pattern in this variation? I mean, for example, if $P$ is ...
6
votes
2answers
211 views

$[L:K]=n!\ \Longrightarrow \ f$ is irreducible and $\text{Gal}(L/K)\cong S_n.$

How do I go about proving the following theorem ? Let $f\in K[T]$ have degree $n$ and splitting field $L/K$. Then we have $$ [L:K]=n!\ \Longrightarrow \ f\text{ is irreducible and Gal}(L/K)\cong ...
6
votes
2answers
302 views

Field Isomorphisms

Suppose $F/L$, $F'/L$, $L/K$ finite extensions of fields. If $F$, $F'$ isomorphic over $K$ then does it follow that they are isomorphic over $L$? I think probably not, but I can't come up with a ...
6
votes
1answer
146 views

Embedding of a field extension to another

Can $\mathbb{Q}(\sqrt {-2})$ be embedded into a cyclic extension of degree 4 over $\mathbb{Q}$?
6
votes
1answer
373 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$?
6
votes
1answer
575 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 ...
6
votes
4answers
87 views

Galois group of $X^{5}-2X+7$ over $\mathbb{Q}$

Is there any way to determine the Galois group of $X^{5}-2X+7$ over $\mathbb{Q}$ not using the discriminant? Thanks!