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

2
votes
2answers
75 views

Can the product of only some of the algebraic conjugates be an integer?

Suppose I know that $x_1,\dots, x_n$ are algebraic conjugates and suppose that their product is a rational integer: $$ \prod_{i=1}^{n}x_i\in \mathbb{Z} $$ Is it possible that there exists some other ...
0
votes
2answers
140 views

Give an example of a field where -1=1

The question is to find a counterexample to the following: In every field $F$, $-1$ is not equal to $1$. My intuition leads me to integers modulo $1$. Is this correct, are the integers modulo $1$ a ...
2
votes
1answer
42 views

Proof of a Field Extensions Theorem

Consider the following result. Theorem : Let $E/F$ be a finite field extension of degree $n$ and let $V$ be a vector space over $E$. Then $$ \dim_F V = [E:F] \dim_E V. $$ Now, it seems like a ...
8
votes
1answer
327 views

Why should I consider the components $j^2$ and $k^2$ to be $=-1$ in the search for quaternions?

I'm reading a paper about Hamilton's discovery of quaternions and it explains why he failed in his 'theory of triplets' where he tried to make a vector with $3$ dimensions, as an analogy to the ...
1
vote
1answer
42 views

Algebraic extension of rational numbers.

Let $1<m_1,\ldots,m_r\in{\mathbb{Z}}$. If $K=\mathbb{Q}(\sqrt{m_1},\ldots,\sqrt{m_r})$, and $1<n\in{\mathbb{Z}}$ so that $m_i\nmid{n}$. Is true that $\sqrt{n}\notin{K}$? Added: In addition ...
2
votes
2answers
27 views

A field $K$ is an algebra

I learned this definition of an algebra recently. The definition is: A vectorspace $V$ over a field $K$ is is an algebra if there exists $K$-bilineair map $\varphi\colon V\times V\rightarrow V$ which ...
1
vote
0answers
21 views

If $k$ is a field then $\text{End}_k(k^2)$ is simple

Let $k$ be a field. I have to show that $\text{End}_k(k^2)$ is simple. First of all, I don't see why this is true. For example, if $k=\mathbb{C}(x_1,x_2,\dots)$ then $\varphi\colon k^2\rightarrow ...
0
votes
2answers
34 views

Existence of finite field extension containing a root

I've been thinking about my previous question a bit more, and I'm afraid I still don't quite understand. See: Can the natural embedding $K\to K[X]/(f)$ be extended to form an isomorphism $L/K\to ...
0
votes
1answer
47 views

About extension of fields

Is there a field extension $L/K$ such that it is an infinite algebraic extension of fields but the separable degree of $L$ over $K$ is finite?
8
votes
2answers
140 views

The angle $168^\circ$ is constructible

Prove that the angle $\theta=168^\circ$ is constructible using a straightedge and a compass. It is enough to show that the number $\cos\theta$ is constructible, and WolframAlpha gave ...
1
vote
1answer
44 views

Calculating Splitting field

Find the splitting field of the polynomial and degree over $\mathbb{Q}$ $P(X)=X^4+2$. The roots of $P(X)$ are $\sqrt[4]{2}\sqrt{i},\ -\sqrt{i}\sqrt[4]{2}, \ i\sqrt{i}\sqrt[4]{2},\ ...
0
votes
0answers
17 views

Minimal polynomial (Field theory)

Let $\alpha$ be the real positive fourth root of 2. My question is: $Polmin(\alpha,\mathbb{Q}(i))=X^4-2$? Because $Polmin(\alpha,\mathbb{Q}(i)) | Polmin(\alpha,\mathbb{Q})=X^4-2$ But ...
2
votes
1answer
30 views

Galois group of order 2^4

Find the galois group the polynomial $f(X)=(X^2-2)(X^2-3)(X^2-5)(X^2-7)$ over $\mathbb{Q}$. A splitting field for $f(X)$ is $K=\mathbb{Q}(\sqrt{2},\sqrt{3},\sqrt{5},\sqrt{7})$. We must have ...
2
votes
0answers
21 views

Finite dimensional field extension, finitely many intermediate fields

Good morning, My question is the following: Does every finite dimensional field extension have finitely many intermediate fields? I thought about it quite a while and know that the following is true: ...
1
vote
1answer
38 views

If $Q$ is a prime ideal of $R[x]$ then $QF[x]\cap R[x]=Q$

I'm filling the gaps in a proof and I'm stuck in this part: Suppose $R$ is a UFD and $Q$ is a prime ideal of $R[x]$, if $F$ is the quotient field of $R$ and $R\cap Q=\{0\}$, then $QF[x]\cap ...
2
votes
2answers
65 views

If $k>0$ is a positive integer and $p$ is any prime, when is $\mathbb Z_p[\sqrt{k}] =\{a + b\sqrt k~|~a,b \in\mathbb Z_p\}$ a field.

If $k>0$ is a positive integer and $p$ is any prime, when is $\mathbb Z_p[\sqrt{k}] =\{a + b\sqrt k~|~a,b \in\mathbb Z_p\}$ a field? Find necessary and sufficient condition. Attempt: Since we ...
4
votes
1answer
206 views

About $\mathbb Z_{p}[\sqrt{k}]$, when is it a field? [duplicate]

I give up. I'm new in the fields world, and I'm trying to give a sufficient and necessary condition for $\mathbb{Z}_{p}[\sqrt{k}]=\{a+b\sqrt{k}:a,b\in \mathbb{Z}_{p}\}$ to be a field ($p$ is a ...
1
vote
1answer
66 views

Is there a short proof of the formula for Legendre symbol $(\frac{2}{p})=(-1)^{(p^2-1)/8}$?

Let $p$ > 2 be a prime number. I found in wiki a complex proof for this Legendre symbol: $$\left(\frac{2}{p}\right) = (-1)^{\frac{(p^{2}-1)}{8}}$$ Can anyone give me a short solution please?
0
votes
2answers
27 views

Separable extension [closed]

Let $\alpha$ algebraic over $k$ of characteristic $p>0$ Prove that $\alpha$ is separable over $k$ if and only if $k(\alpha)=k(\alpha^p)$. Any suggestion, please.
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!
1
vote
1answer
31 views

Can the natural embedding $K\to K[X]/(f)$ be extended to form an isomorphism $L/K\to K[X]/(f)$?

I'm studying for an abstract algebra exam (covering commutative rings and Galois theory). As an exercise, I'm trying to work out on my own a proof of the theorem that, given a field $K$ and a ...
3
votes
1answer
49 views

Proper Field extensions

Given a field $F$, is there a proper field extension $K$ such that any root in $K$ of a polynomial in $F[X]$ is in $F$? Note: I am not looking for the algebraic closure of $F$. One candidate is the ...
-1
votes
1answer
76 views

There are no field structures on $\mathbb{R}^3$, but what of $\mathbb{R}^n$ for $n\geq 4$?

Has it been proved that there do not exist nice field structures on $\mathbb{R}^n$ for $n\geq 4$? The quaternions $\mathbb{H}$ fail due to lack of commutativity and the bicomplex numbers ...
0
votes
3answers
32 views

Finding the order of elements in a Galois Field

Does there exist a Galois field GF(4)? GF(4)={0,1,2,3}; If we take this Galois field, then the element '2' is not having any degree..? So is it possible to construct GF(4) ?
0
votes
1answer
23 views

Separable polynomial and algebraic extension

If $f\in F[t]$ is separable and $E/F$ is an algebraic extension, then how can I be sure that $f$ is separable as an element of $E[t]$? I thought it is a trivial question...but now I think it is ...
5
votes
1answer
193 views

Sigma-Algebra: Is it an Algebra, Field, or Something Else?

The Wikipedia page for $\sigma$-algebra says this set is called a "sigma-algebra" by some, and called a "sigma-field" by others. I'm writing a paper on measure theory, where the topic of sigma-algebra ...
1
vote
0answers
24 views

Regarding nomenclature of a vector related to field automorphisms

Is there a particular designation in use for the following type of vector, constructed by taking a collection of basis elements $\beta_1$, $\beta_2$, $\dotsc$, $\beta_n$ for a field extension, ...
1
vote
1answer
47 views

Extending Homomorphism into Algebraically Closed Field

If we are given a homomorphism $g$ between a field $k$ and an algebraically closed field $\Omega$, and a field $k'$ which is a finite algebraic extension of $k$, how do we extend $g$ to a homomorphism ...
0
votes
0answers
32 views

Extending a morphism to a finite algebraic field extension [duplicate]

I am trying to understand the proof of Theorem 5.21 in Introduction to Commutative Algebra, and am stuck on the portion underlined in red (note that $$\Sigma := \{(A,f) \mid A \text{ is a subring of ...
0
votes
2answers
81 views

Fields - Proof that every multiple of zero equals zero

This is one of my first proofs about fields. Please feed back and criticise in every way (including style and details). Let $(F, +, \cdot)$ be a field. Non-trivially, $\textit{associativity}$ implies ...
3
votes
2answers
64 views

In which Fields, does $x^n-x$ have a multiple zero?

In which Fields, does $x^n-x$ have a multiple zero? Attempt: Let $f(x) = x^n-x = x(x^{n-1}-1)$ and $f'(x) = nx^{n-1}-1$ If $f(x)$ has a multiple zero, then, $f(x)$ and $f'(x)$ have a common factor. ...
4
votes
1answer
39 views

Finding a cubic polynomial whose splitting field over $\mathbb{Q}$ equals $\mathbb{Q}(a)$ if $a$ is any of its roots

Question: Let $\alpha$, $\beta$ and $\gamma$ be the roots of a rational cubic polynomial $q$. Can we find a (non-trivial) example where the splitting field of $q$ over $\mathbb{Q}$ equals ...
1
vote
1answer
30 views

Field extensions: compute the degree of an extension.

I'm stuck with this problem. Let $F\subseteq E$ and $\gamma\in E$ is trascendental over $F$. Let $m$ be a positive integer. Show that $[F(\gamma):F(\gamma^{m})]=m$, where $[\quad:\quad]$ is the ...
0
votes
1answer
46 views

An infinite extension of $\mathbb Q$ [duplicate]

Let $S=\{\sqrt p \in \mathbb R | p $ is a primer number$\}$. How can I show that $\mathbb Q(S)|\mathbb Q$ is an infinite field extension?
6
votes
1answer
499 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$ ...
4
votes
1answer
35 views

What is the relationship between the trace/norm of a quaternion and the definition in field theory?

I'm having some trouble figuring out the relationship between the trace/norm of a quaternion element and the definition of trace/norm in the extensions of vector spaces. According to my number theory ...
1
vote
0answers
37 views

Irreducible polynomial

Does there exist an irreducible polynomial over a field K with two roots $a,b$ and $k\in K$ such that $a=b+k$ ? This can't happen if K is of characteristic $0$ , but can it happen if K is of ...
1
vote
1answer
34 views

Minimal polynomial and field extension

If the degree of a field extension $[\mathbb{Q}(\alpha):\mathbb{Q}]=n\gt 1$ and $\alpha$ is a root of a monic polynomial $f \in \mathbb{Q}[T]$ and the degree of $f$ is $n$. Does the above imply ...
0
votes
0answers
15 views

Degree of the separable closure of the residue field of a complete field

I'm trying to prove a corollary on ramified extensions but I don't know if my thoughts are true. Let $L$ be a finite extension of a complete discrete valuation field $F$, let ...
1
vote
1answer
30 views

If the field has prime field isomorphic to $\mathbb{Q}$ would there be any subfield isomorphic to $\mathbb{Q}$?

As title says, if the field has prime field isomorphic to $\mathbb{Q}$ would there be any other subfields isomorphic to $\mathbb{Q}$?
2
votes
1answer
38 views

Splitting field of $(x^2-2)(x^6-20)$ over $\mathbb{Q}$

I have to determine the splitting field $K$ of $f(x)=(x^2-2)(x^6-20)$ over $\mathbb{Q}$. My attempt of solution: $K=\mathbb{Q}(\sqrt2, \sqrt[6]{20}, i\sqrt3)$; $d_1:=[\mathbb{Q}(\sqrt2, ...
1
vote
1answer
34 views

Field of prime characteristic over two indeterminates

Let $F$ have prime characteristic $p$ and let $E = F(Y,Z)$, where $Y, Z$ are indeterminates. Let $L=F(Y^{p} , Z^{p})$ $\subseteq E$. a. Show that $\alpha^{p} \in L$ for all $\alpha \in E$. b. Show ...
1
vote
1answer
51 views

Counting the roots of a polynomial over a finite field

Let $\mathbb{F}_{11}$ be the field of 11 elements and let $\mathcal{K}$ be the splitting field of $x^{3} - 1$ over $\mathbb{F}_{11}$. How many roots does $(x^{2} - 3)(x^{3} - 3)$ have in ...
-1
votes
0answers
22 views

Ordered field - Adding inequalities (Looking for a proof)

In an ordered field, it is allowed to add two inequalities. Where can I find a detailed proof?
0
votes
2answers
52 views

What would be a prime element in the field of rational numbers?

It is clear to understand what prime elements will be in case of ring of integers and many other rings. However, I find it confusing in case of fields, more specifically field of rational numbers. So ...
1
vote
1answer
40 views

Proving that either $x $ or $2x$ is a generator of the cyclic group $(\mathbb Z_3[x]/\langle f(x) \rangle)^*$

if $f(x)$ is a cubic irreducible polynomial over $\mathbb Z_3$, prove that either $x $ or $2x$ is a generator of the cyclic group $(\mathbb Z_3[x]/\langle f(x) \rangle)^*$ Attempt: $f(x) = \alpha ...
-1
votes
1answer
302 views

If the degree of field extension is a prime number, the extension is simple [closed]

Let $L$ be an extension field of $K$. Suppose that the degree $[L:K]$ is a prime number. How to show that $L$ is a simple extension of $K$?
3
votes
2answers
159 views

Sum and Product of two transcendental numbers cannot be simultaneously algebraic

If $\alpha$ and $\beta$ are real number and $\alpha$ and $\beta$ are transcendental over $\mathbb Q$, show that $\alpha \beta$ or $\alpha +\beta$ is also transcendental over $\mathbb Q$ Attempt: ...
0
votes
0answers
28 views

Presence of non square elements in $GF(p)$

I came across a problem which had a line of explanation as follows : Let $a \in GF(p). a$ is a non square in $GF(p),~ p \neq 2 \implies \nexists~ b\in GF(p)~~|~~a =b^2 $. But, is it really possible ...
0
votes
0answers
23 views

Question about valuation rings of a rational function field

Let $k$ be a field and $f \in k[x,y] \setminus k$. Write $E=k(f)$ and $L=k(x,y)$. Assume that there exists a $g \in k(x,y)$ such that $L = E(g)$. Suppose there exists a valution ring $\mathcal{O}$ ...