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
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 ...
-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 ...
3
votes
1answer
48 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 ...
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 ...
8
votes
1answer
326 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
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, ...
0
votes
2answers
80 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
63 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?
4
votes
1answer
34 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
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
51 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 ...
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 ...
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 ...
0
votes
0answers
22 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}$ ...
1
vote
1answer
28 views

Some questions about sub-fields of the field of complex numbers

Given a sub-field $f$ of the field $\mathbb{C}$ of complex numbers, is there a name for the smallest sub-field $F(f)$ of $\mathbb{C}$ such that (1) $F(f)$ contains $f$ as a sub-field and (2) ...
1
vote
0answers
24 views

determine the degree of an extension, check normality

I came across an old exam problem and I wonder if my solution is correct. Let $L=\mathbb{Q}(\omega)$, where $\omega=e^{\frac{2\pi i}{6}}$ is a primitive sixth root of unity: a) determine ...
1
vote
0answers
36 views

Showing the existence of sub fields of a finite field

For each divisor $m$ of $n$, $GF(p^n)$ has a unique sub field of order $p^m$ . The proof of this theorem in Gallian goes like this : Suppose that $m$ divides $n$. Then, since : $(p^n-1) = ...
3
votes
3answers
106 views

Is division allowed in rings and fields?

Is division allowed in ring and field? The definition of ring I am using here does not require the presence of multiplicative inverse. I think in general, division is not a well-defined ...
1
vote
1answer
31 views

A field of characteristic zero is perfect

How do you prove that a field F of characteristic zero is perfect, or rather that every irreducible f(x) in F[x] is separable? Thank you!
0
votes
0answers
14 views

intersection is isomorphic to $Aut(F)$

Prove that for any finite field $F$ there exist two subgroups of $GL(|F|,\mathbb{R})$ whose intersection is isomorphic to $Aut(F)$
2
votes
1answer
25 views

Field automorphisms and fixed fields

I currently have to cope with field automorphisms. I already understood that any field automorphism of $\mathbb{C}$ must fix all elements in $\mathbb{Q}$. My question is the following: Assume a ...
5
votes
2answers
105 views

Generators of the Relations of a Galois Extension

Let $K$ be a Galois extension of $\mathbb{Q}$ of degree $n$. Pick some primitive element and take the roots $a_1, ..., a_n$ of its minimal polynomial. Then the evaluation map $\mathbb{Q}[x_1, ..., ...
5
votes
1answer
189 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 ...
0
votes
2answers
46 views

Proving that $f(x)$ is irreducible over $F(b)$ if and only if $g(x)$ is irreducible over $F(a)$

Let $f(x)$ and $g(x)$ be irreducible polynomials over a field $F$ and let $a,b \in E$ where $E$ is some extension of $F$. If $a$ is a zero of $f(x)$ and $b$ is a zero of $g(x)$, show that $f(x)$ is ...
3
votes
2answers
157 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: ...
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 ...
4
votes
1answer
36 views

Let $K$ be a field extension of $F$ and let $a \in K$. Show that $[F(a):F(a^3)] \leq 3$

Let $K$ be a field extension of $F$ and let $a \in K$. Show that $[F(a):F(a^3)] \leq 3$. Find examples to illustrate that $[F(a):F(a^3)]$ can be $1,2$ or $3$. Attempt: $F \subset F(a^3) \subseteq ...
2
votes
1answer
24 views

A field extension of prime degree

Suppose that $E$ is an extension of $F$ of prime degree. Show that $~~\forall~ a \in E : ~ F(a)=F$ or $F(a)=E$ Attempt: Suppose that $E$ is an extension of a field $F$ of prime degree, $p$. ...
1
vote
2answers
26 views

existence of some algebraic closure

I was curious somethings when I studied algebraic closure in Hungerford's algebra. I know that every field has an algebraic closure. But I have the following question. Let K be a field and F an ...
1
vote
2answers
48 views

What are subfields of $\mathbb{C}$?

I only took the first undergraduate abstract algebra course, so i don't know (at all) what Galois theory is about. I'm asking this question since i'm not sure of the definition of inner product space ...
2
votes
1answer
30 views

Suppose that $f(x)$ and $g(x)$ are irreducible over $F$ and that $\deg f(x)$ and $\deg g(x)$ are relatively prime.

Suppose that $f(x)$ and $g(x)$ are irreducible over $F$ and that $\gcd(~\deg g(x),\deg f(x)~)=1$. If $a$ is a zero of $f(x)$ in some extension of $F$, show that $g(x)$ is irreducible over $F(a)$ ...
3
votes
1answer
30 views

Field theorem: impossible to satisfy three equations simultaneously in an integer field?

Suppose $a_0,a_1,b,c,d$ with $a_0 \neq a_1$ are integers, or elements of any ${\mathbb Z}_p$ for prime $p$. A while ago I was attempting to find a set of such numbers that satisfied the equations ...
3
votes
1answer
43 views

Question about calculating the degree of a finite field extension.

I have a question about calculating the degree of a finite field extension over $\mathbb{Q}$. This is problem 18 in chapter 1 of Patrick Morandi's Field and Galois theory. The problem asked to show ...
0
votes
0answers
39 views

Why do nth roots (radicals) have closed forms whilst other polynomial roots do not?

The nth root function - $\sqrt[n]{a_{0}}$ - may be seen as an arithmetic operation (the inverse of the $pow(x, n)$ function) but it can also be interpreted as computing the roots of a specific class ...
7
votes
1answer
77 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 ...
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 ...
2
votes
0answers
56 views

Question on a finite field extension of $\mathbb{Q}$

I have a polynomial $p(x) \in \mathbb{Q}[x]$ and is irreducible over $\mathbb{Q}$. Let it be of degree $n$ and $\alpha_1, ..., \alpha_n$ be its roots. I know that $$ \mathbb{Q}(\alpha_i) \cong ...
4
votes
2answers
43 views

Non-isomorphic field extensions of $\mathbb{Q}$

I'm having a little bit of a problem with the following question: Show that there do not exist two irreducible polynomials $a(x)$ and $b(x)$ in $\mathbb{Q}[x]$ of degrees 6 and 7 respectively ...
0
votes
0answers
7 views

Solutions to a polynomial equation in a PAC field not lying in a subfield

Suppose $f(x,y)$ is an absolutely irreducible polynomial over a PAC (pseudo algebraically closed) field $K$ such that $x,y$ actually appear in $f$. Let $L$ be a proper subfield of $K$. Are we ...