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)

1
vote
6answers
93 views

In a field $F=\{0,1,x\}$, how does $1 + 1 = x$?

I understand that in a field with two elements $1 + 1 = 0$, but in a field with three I do not understand how $1 + 1 =x$. The work I have done so far is: \begin{align} 1 + 1 &= \{ 0 , 1 , x\}\\ 1 ...
11
votes
2answers
217 views

Galois Group of $x^{4}+7$

I am trying to find the Galois group of $x^{4}+7$ over $\mathbb{Q}$ and all of the intermediate extensions between $\mathbb{Q}$ and the splitting field of this polynomial. I have found that the ...
6
votes
2answers
71 views

Embedding $\mathbb{F}_{q^2}^*$ into $GL_2(\mathbb{F}_{q})$

If we see $\mathbb{F}_{q^2}$ as a $2$-dimensional vector space over $\mathbb{F}_{q}$ (and pick a base) then we can identify $\operatorname{Aut}_{\mathbb{F}_{q}}(\mathbb{F}_{q^2})$ with ...
8
votes
2answers
64 views

Irreducibility of Cyclotomic polynomials over number field

Let $K$ be a number field i.e. a finite extension of $\mathbb{Q}$. For a positive integer $n$, let $\Phi_n(X)$ denote the $n$-th cyclotomic polynomial. Is it possible to say that there exist at most ...
0
votes
1answer
23 views

Radical extension and algebraic solution of an irreducible polynomial

Suppose that $k$ is a field with characteristic equal to zero, that $P \in k[X]$ is an irreducible polynomial and that $\alpha$ is a root of $P$ in an algebraic closure $\overline{k}$. Suppose also ...
1
vote
1answer
35 views

Every irreducible polynomial f over perfect field F is separable

Every irreducible polynomial f over perfect field F is separable. Can you check my proof? Let f is inseparable. So we have $f=\sum_i h_ix^i$ and $f^p=\sum_i h_i^px^{ip}$ Now I use Frobenius mapping ...
1
vote
1answer
36 views

Is every field a Krull domain?

Background: A Krull domain is an integral domain $A$ with a family $(v_i)$ of valuations on the field of fractions $K$ for $A$ satisfying the following conditions: Each $v_i$ is discrete. The ...
1
vote
1answer
53 views

If $F(\alpha)=F(\beta)$, must $\alpha$ and $\beta$ have the same minimal polynomial?

Let's consider a field $F$ and $\alpha,\beta\in\overline{F}-F$ (where $\overline{F}$ is an algebraic closure). If $F(\alpha)=F(\beta)$, is it true that $\alpha$, $\beta$ have the same minimal ...
2
votes
0answers
40 views

Calculus on Spaces other than $R$

I was thinking that all that the real numbers (and the complex numbers similarly) need for calculus to work is for them to be a field and a complete metric space, and probably have the usual field ...
0
votes
1answer
56 views

Prove that $\mathbb{Q}{[\sqrt3]} = \lbrace a + b\sqrt3: a, b \in \mathbb{Q} \rbrace$ is a subfield of $\mathbb{R}$

Prove that $\mathbb{Q}{[\sqrt3]} = \lbrace a + b\sqrt3: a, b \in \mathbb{Q} \rbrace$ is a subfield of $\mathbb{R}$ My answer: Must show: i) $0 \in \mathbb{Q}{[\sqrt3]}$ ii) $1 \in ...
5
votes
1answer
57 views

Does it make sense to talk about complex matrices over the field of real numbers, R?

I don't see an issue with considering a vector space of complex matrices over R -- addition of matrices makes sense, but scalar multiplication will be done with real numbers. But I wanted to ask, ...
2
votes
1answer
42 views

extend trace and norm from a number field $K$ to $ K \otimes_{\mathbb Q} \mathbb R $

I read somewhere that we can extend the trace and the norm of a number field $K$ to the commutative algebra $ V=K \otimes_{\mathbb Q} \mathbb R$. Before state exactly my question, let me write the ...
1
vote
0answers
37 views

Cardinality of the set of all field automorphisms of $\mathbb C$ [duplicate]

Does $\mathbb C$ have infinitely many field automorphisms? Does it have uncountably many field automorphisms?
3
votes
0answers
18 views

For any field $k$ and $n>0$: $X^n-a\text{ reducible }\ \Leftrightarrow\ a=b^p\ \vee\ a=-4b^4$.

I'm stuck on the following exercise: Let $k$ a field and $n$ a positive integer. Prove that $X^n-a\in k[X]$ is reducible if and only if there exist a prime $p$ dividing $n$ and a $b\in k$ such ...
2
votes
1answer
19 views

Unit group of a field is divisible

In the lecture notes on Valuation theory, in Ex. $1.16$ on page $11$ we are asked to show that: If $k$ is an algebraically closed field, then $k^{\times}$ is a divisible abelian group. Isnt $k = ...
0
votes
0answers
14 views

Trace of an element in a separable field extension

Let $L=K(\alpha)$ be a finite separable field extension of $K$ of degree $n$ and let $\alpha$ have minimal polynomial $f(X)\in K[X]$ with roots $\alpha=\alpha_1,...,\alpha_n$. Write ...
2
votes
1answer
30 views

Example of $Q((x))$ that doesnt match field of fractions of ring $F[[x]]$

Let $F$ be a commutative ring without zero divisors and $Q$ -its field of fractions. Let $Q(x)$ be also field of fractions of ring $F[x]$. How can field $Q((x))$ not match field of fractions of ring ...
0
votes
1answer
15 views

connection between absolute irreducibility and smooth+geometrically connected

Let $C_1$ and $C_2$ be two smooth, projective, and geometrically connected curves over a field $K$ of characteristic $0$. Assume there are two non-constant branch mapping of $K$-curves, $\phi_1\colon ...
0
votes
1answer
42 views

Is there a way to generate groups, rings, fields, etc.? [closed]

There are ways to generate a list of numbers $a_1, a_2,...a,n$ such that no $a_i,a_j$ share any factors, mainly by letting $a_{n+1}=a_n^2-a_n+1$ with $a_0>1$, my question is: is there a way to ...
8
votes
1answer
80 views

$A$ regular, $k'/k$ transcendental. How to prove that $A \otimes_k k'$ is regular?

Let $k$ be a field and $k'$ a purely transcendental extension of $k$. Let now $A$ be an integral finitely generated $k$-algebra. How to prove that if $A$ is regular then $A \otimes_k k'$ is also ...
0
votes
2answers
65 views

Create a field from set of 2 elements.

Can we always create a field from a set of at least $2$ elements? For addition I considered a function: $A\times A \rightarrow A$. If $a+b=b+a=a+a \rightarrow a $. If $b+b \rightarrow b$. Is it ...
1
vote
0answers
19 views

Computing number of irreducible polynomials of degree n over $\mathbb{F}_q$

When I try to find the number of irreducible polynomials (of degree n) over a finite field I first look for the number of $\alpha \in \mathbb{F}_{q^n}$ such that ...
0
votes
2answers
37 views

Showing that any field extension of a finite field is simple

We know that the multiplicative subgroup $F^\times$ of a finite field $F$ is cyclic. Use this to show that any field extension of a finite field is simple. Any clues?
2
votes
0answers
28 views

Intermediate “prime” extensions [Rotman]

Problem Assume $F$ contains the $k$th roots of unity, and let $R=F(\alpha)$, where $\alpha$ is a root of $x^k-a$ for some $a\in F$. Prove that there exist intermediate fields $$F=K_0\subset ...
1
vote
3answers
26 views

Finding an isomorphism between polyomial quotient rings

Let $F_1 = \mathbb{Z}_5[x]/(x^2+x+1)$ and $F_2 = \mathbb{Z}_5[x]/(x^2+3)$. Note neither $x^2+x+1$ nor $x^2+3$ has a root in $\mathbb{Z}_5$, so that each of the above are fields of order 25, and hence ...
2
votes
1answer
53 views

Galois group and traslations by rational numbers.

Is a well known result that, for every $n \in \mathbb{N}$, there exist an irreducible polynomial $p \in \mathbb{Q}[x]$ such that the Galois Group of its splitting field is $S_n$. Now my question: ...
1
vote
1answer
25 views

Isomorphism of quadratic extensions (of a number field)

I think we agree that two (squarefree) quadratic extensions of $\mathbb Q$, say $\mathbb Q(\sqrt 2)$ and $\mathbb Q(\sqrt 3)$ are not isomorphic. Now consider the following tower of fields ...
1
vote
2answers
39 views

Which of these statements about the field extension $\mathbb{R}/\mathbb{Q}$ are true?

We know that $\mathbb R$ is an extension of $\mathbb Q$. Justify the following (true /false): $[\mathbb R:\mathbb Q]<\infty$ $[\mathbb R:\mathbb Q]=$ countably infinite / uncountably ...
4
votes
2answers
45 views

Degree of minimal polynomial

The minimal polynomial of $a$ over $\mathbb{Q}$ is quadratic. The minimal polynomial of $b$ over $\mathbb{Q}$ is cubic. Is the minimal polynomial of $a+b$ necessarily of degree $6$? If so, what is ...
0
votes
0answers
41 views

Prove that the number of automorphisms from $E$ to $E$ that fixes $F$ is equal to $[E:F]$ .

Let $E/F$ be a finite extension and it is a Galois extension. Prove that the number of automorphisms from $E$ to $E$ that fixes $F$ is equal to $[E:F]$ . I cant start at all.How should I begin?
1
vote
0answers
25 views

$E/F$ is a normal extension iff $E$ is a splitting field for some polynomial $f\in F[X]$.

$E/F$ is a finite extension. Prove that $E/F$ is a normal extension $\iff$ $E$ is a splitting field for some polynomial $f\in F[X]$. An extension $E/F$ is called normal if it is algebraic and ...
0
votes
1answer
42 views

Why the complex number system is not an ordered field [duplicate]

In high school, we are taught that we do not have $2i < 3i$, i.e., the complex number system is not an ordered field. (Real number, for example, is an ordered field. For example, $2 < 3$). ...
0
votes
1answer
20 views

Equivalent Definitions of Prime Subfield

I found two definitions for a prime subfield $K$ of a field $F$. 1. Wolfram $-$ $K$ is the subfield of $F$ generated by the multiplicative identity $1$ of $F$. 2. ProofWiki $-$ $K$ is the ...
2
votes
2answers
68 views

Example of two field extensions such that their tensor product is not a field

Example of two fields $K$ and $L$, which are extensions over $k$, such that $K\otimes_k L$ is not a field. Here is what I did. But I am a little bit unsure. Can someone suggest anything, or perhaps ...
1
vote
1answer
39 views

Is the Galois correspondence still valid if automorphisms aren't required to be the identity on the base field?

Let $E$ be a finite extension of $F$, and $\mathrm{Aut}(E|F)$ be the group of those automorphisms of $E$, which take $F$ to itself (but not necessarily identity on $F$. Let $X$ be the collection of ...
6
votes
4answers
106 views

Show that $\mathbb{Q}(\sqrt{5}+\sqrt[3]{2})=\mathbb{Q}(\sqrt{5},\sqrt[3]{2})$

I've got that $[\mathbb{Q}(\sqrt{5}+\sqrt[3]{2}):\mathbb{Q}] \in \{1,2,3,6\}$ because it's going to divide $[\mathbb{Q}(\sqrt{5},\sqrt[3]{2}):\mathbb{Q}]=6$. Clearly it is not $1$. I want to show that ...
1
vote
1answer
42 views

Why is is $K(\alpha,\beta)/K(\alpha)$ algebraic if $K(\alpha,\beta)/K(\beta)$ is algebraic? [duplicate]

Let $K$ be a field, and let $\alpha$ be transcendental over $K$ and algebraic over $K(\beta)$. We have a Hasse diagram of field extensions Now, by reduction to absurdity $\beta$ must be ...
1
vote
2answers
62 views

Prove that field $Q(x)$ is a field of fractions of ring $F[x]$

Let $F$ be a commutative ring without zero divisors and $Q$ its field of fractions. How can I prove that field $Q(x)$ is a field of fractions of ring $F[x]$? And also why is it that field $Q((x))$ ...
1
vote
0answers
58 views

Quotient field - base change

For my master thesis, I need to examine the following statement: $Frac(R) \otimes_{k} L \cong Frac(R \otimes_{k} L)$, where $R$ is an integral domain over the perfect field $k$ and $L$ is a finite ...
1
vote
3answers
81 views

$\mathbb{Q}(\sqrt2) $ is isomorphic to $\mathbb{Q}(\sqrt2 +2 )$

Show that $\mathbb{Q}(\sqrt2) $ is isomorphic to $\mathbb{Q}(\sqrt2 +2 )$, but is it more? Are these fields equal? $\mathbb{Q}(\sqrt2)=\{a+b\sqrt2 |a,b \in \mathbb{Q}\}$ ...
2
votes
0answers
28 views

Exercise about cyclic field extension

I am having hard time to solve following exercise. Let $\Omega$ be the algebraic closure of a field $k$. a) Suppose that every finite extension of $k$ is cyclic. Prove that it exists $\sigma \in ...
2
votes
1answer
36 views

Number of Galois conjugates

Let $L/\mathbb Q$ be a (finite) Galois extension of degree $n$ with Galois group $\Gamma$. We know that there is a primitive element or generator $\alpha$ of this extension. My question: Is the ...
1
vote
1answer
83 views

About the usage of the strong approximation theorem

I'm reading Henning Stichtenoth's Algebraic Function Fields and Codes and at Proposition 3.2.5(a) of section 2, chapter 3 he says: Let $\mathcal{O}_S$ be a holomorphy ring of $F/K$. Then $F$ is ...
2
votes
1answer
21 views

L|K field extension and $deg(f)\nmid[L:K]$

Let L|K be finite field extension and $f \in K[X]$ is irreducible with $deg(f) > 1$. Show that, if $f\nmid[L:K]$ then f has no zeros in L. Is it true? For ex. $f=x^3+x$ and $[Q(\sqrt 5,i):Q]$. f ...
3
votes
2answers
90 views

Polynomials over a finite field

Let $\mathbb{F}_p$ be a finite field where $p$ is a prime. Consider the following set of polynomials over $\mathbb{F}_p$: $$G_n(p)=\{{x+a_2x^2+\cdots+a_nx^n\mid a_i\in \mathbb{F}_p}\}.$$ Is ...
0
votes
1answer
72 views

Galois Group of $x^4 - x^2 - 3$

Find the Galois Group of $x^4 - x^2 - 3$ This is a qual question. I don't know how to find the splitting field of this polynomial.
1
vote
2answers
47 views

Are these rings fields?

Are the following rings fields? 1) $\Bbb Q[x] /\langle x^2+1\rangle$ Since a polynomial ring taking values on any field is a E.D, and hence a P.I.D, this is a field iff the ideal is prime or ...
1
vote
1answer
48 views

How does one construct the Galois field extension $GF((2^2)^3)$?

Looking at past exam question, one asks us to construct a Galois field extension $GF((2^2)^3)$ whenever the primitive irreducible polynomial $p(X) = X^3 + \alpha X^2 + \alpha X + \alpha \in ...
2
votes
1answer
25 views

Finding the subfields of the cyclotomic field of order $5$

This is part of an exercise from Hungerford's Algebra: Find all intermediate fields in the field extension $F_5/\mathbb{Q}$, where $F_5$ is the cyclotomic extension of $\mathbb{Q}$ of order $5$. ...
1
vote
1answer
19 views

Abstract algebra. Proof of: Let $F$ be a finite field and $P$ an irreducible polynomial upon $F$. Then $(F[t]|_{\equiv_P}, + , \ast)$ is a field.

Division of polynomials I put what is unclear to me in between three asterisks bounding the unclear lines... $\equiv_{P}$ is defined as ($\forall Q, S \in F[t]$) $Q\equiv_{P} S \iff ...