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
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
45 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 ...
3
votes
3answers
95 views

Finitely many embeddings of a finite extension in an algebraic closure

So I'm reading through Lang's Algebra, and he keeps saying something along the following lines: "Let $K$ be a finite extension of a field $k$ and let $\sigma_1,\ldots,\sigma_r$ be the distinct ...
3
votes
0answers
46 views

Find valuation rings of the function field $k(x,y)/k(xy)$ which do not contain $k[x,y]$.

Let k be any field, then how does one find valuation rings of the function field $k(x,y)/k(xy)$ which do not contain $k[x,y]$? I believe there are two. If we consider a rational function field ...
0
votes
0answers
35 views

A question regarding a lemma in Perrin's Algebraic Geometry.

Algebraic Geometry by Perrin says the following: Let $k$ be an uncountable algebraically closed field and let $K$ be an extension of $k$ whose dimension is at most countable. Then $K=k$. He ...
0
votes
1answer
39 views

Is the field formed by algebraic elements of an extension field over $F$ isomorphic to $F[t]$?

Say $K/F$ is a field extension. The elements in $K$ that are algebraic over $F$ form a subfield of $K$. Is this subfield isomorphic to $F[t]$? What would this isomorphism look like? This is not a ...
1
vote
1answer
43 views

Prove that any two bases of a field extension have the same cardinality.

Suppose $E$ and $F$ are subfields of $\mathbb{R}$ with $F\subseteq E$. Prove that any two bases of $E/F$ have the same cardinality. The definition of a basis I am using is any finite set $S\subseteq ...
1
vote
2answers
51 views

There always exists a subfield of $\mathbb C$ which is a splitting field for $f(x)$ $\in$ $Q[X]$?

So I've been studying field theory on my own, and I just started learning about splitting fields. Based on my understandings if a polynomial, $f(x)$ $\in$ $Q[X]$, then there should be always a ...
2
votes
2answers
33 views

Transitivity Property of Separable Extensions

I was looking for some proof for the transitivity property of separable field extensions. Although this might sound like a very well-known fact and is referred to frequently, I do not seem to find a ...
1
vote
3answers
34 views

Quadratic number fields containing primitive roots of unity

A problem from Michael Artin's Algebra (Second Edition) from Fields: Determine the quadratic number fields $\mathbb{Q}[\sqrt{d}]$ that contain a primitive $n$th root of unity, for some integer $n$. ...
2
votes
2answers
75 views

How do elements of $\mathbb{R}(xy,x+y)$ look like?

I have problems with determining what are typical elements of such field $\mathbb{R}(xy,x+y)$ In one indeterminate it is easier as $\mathbb{R}(x)=\Bigl\{\frac{f(x)}{g(x)}, g(x)\neq 0, ...
1
vote
1answer
49 views

Describe the elements in $Q(\pi)$

Describe the elements in $Q(\pi)$ Attempt: $Q(\pi)$ is the smallest field which contains $Q$ and $\pi$ We know that $\nexists~ f(x) \in Q[x]$ such that $f(\pi)=0$ Hence, $Q[x]/\langle p(x) ...
0
votes
0answers
15 views

Is there a direct way of proving that all splitting fields are isomorphic?

Given $f(x)\in F[X]$, let $E,E'$ be two extension fields of $f$ over $F$, then $E \approx E'$. Now, I've seen a proof involving directly constructing an isomorphism, but I'm searching for another ...
1
vote
1answer
36 views

Every field with characterisitic $p$ contains the field $\mathbb{Z}_p$

I seem to hold a very loose grasp of the concept of fields - I've encountered this question: Show that every finite field with characteristic $p$ contains $\mathbb{Z}_p$ (i.e. $\mathbb{Z}_p = ...
0
votes
2answers
30 views

Zeroes of f(x) in a splitting field $E $ have the same multiplicity

Let $f(x)$ be an irreducible polynomial over a field $F$ and let $E$ be a splitting field of $f(x)$ over $F$. Then all the zeroes of $f(x)$ in $E$ have the same multiplicity. The proof of this ...
1
vote
1answer
59 views

Are order isomorphic real closed fields isomorphic?

There are counterexamples to order isomorphisms of ordered fields being field isomorphisms, see Is the multiplicative structure of a totally ordered field unique?. However, Wikipedia suggests that for ...
0
votes
2answers
35 views

Discrete valuations of the rational numbers

I'm trying to find every discrete valuation on the field of rational numbers. If $a\in \mathbb Q$, we can write $a=p^j\frac{x}{y}$, where $p$ is a prime number and $p\nmid x$ and $p\nmid y$. We can ...
2
votes
1answer
37 views

Let $F$ be a field and let $f(x)$ be a non constant element of $F[x]$. Then, there exists a splitting field $E$ for $f(x)$ over $F$.

Let $F$ be a field and let $f(x)$ be a non constant element of $F[x]$. Then, there exists a splitting field $E$ for $f(x)$ over $F$. I have some queries regarding this theorem of existence of ...
2
votes
3answers
141 views

Minimal polynomial for $\zeta+\zeta^5$ for a primitive seventh root of unity $\zeta$

Minimal polynomial for $\zeta+\zeta^5$ for a primitive seventh root of unity $\zeta$ I have asked a similar problem Minimal Polynomial of $\zeta+\zeta^{-1}$ and i tried to repeat similar idea ...
2
votes
1answer
41 views

Places of this extension

I'm reading this book. I'm trying to find the degree of the places of the extension $\mathbb C(X)\mid\mathbb R$. I know the places of the extension $\mathbb R(X)\mid\mathbb R$ and I've already ...
2
votes
4answers
149 views

Is there a ring $K$ such that $\mathbb R\subsetneqq K\subsetneqq \mathbb C$?

Is there a ring $K$ such that $\mathbb R\subsetneqq K\subsetneqq \mathbb C$? and if $K$ is a local ring, is there such a ring? I need this result be negative to prove a question I'm working. I need ...
2
votes
2answers
40 views

For which values of $a\in\mathbb ℤ/3\mathbb ℤ$ is the quotient $\mathbb ℤ/3\mathbb ℤ[x]/(x^3+x^2+ax+1)$ a field?

I'm trying to solve the following problem: Determine for which values of $a\in\mathbb{Z}/3\mathbb{Z}$ the quotient $Q_a=(\mathbb{Z}/3\mathbb{Z})[x]/(x^3+x^2+ax+1)$ is a field. I see two options: ...
2
votes
1answer
33 views

Isomorphic algebraic closures.

I've just stared learning the Galois Theory so my question might be trivial, but could someone give me an example of two different algebraic closures of the same field? Cause I don't get how they can ...
0
votes
2answers
58 views

Prove that $(a+b\sqrt[3]{2}+c\sqrt[3]{4})^{-1}$ with a,b,c∈Q is a number of the form $d+e\sqrt[3]{2}+f\sqrt[3]{4}$ with $d,e,f∈Q$

Prove that $(a+b\sqrt[3]{2}+c\sqrt[3]{4})^{-1}$ with $a,b,c∈Q$ is a number of the form $d+e\sqrt[3]{2}+f\sqrt[3]{4}$ with $d,e,f \in Q$ I'd like to do this without using too much fancy ...
1
vote
1answer
48 views

Confusion regarding proof of a proposition in Field Theory (Dumb Question)

Question is to prove that : For finite extensions $E/k$ and $F/k$ Prove that $[EF:k]\leq [E:k][F:k]$ where $EF$ is the smallest field extension which contains both $E$ and $F$ Supposing ...
3
votes
1answer
37 views

Field of Definition of an Algebraic Group

Linear Algebraic Groups- James E. Humphreys Chapter-XII Let $K$ be an algebraically closed field and $k$ be a arbitrary sub-field of $K.$ A closed set X in $A^n=K\times ...$(n times)$\times K$ is ...
2
votes
1answer
24 views

Sources about transcendence degree

I asked this question: Characterization of the transcendentals over a field I realized I need some knowledge about transcendence degree to prove some facts in the book I'm reading. I would like to ...
13
votes
1answer
265 views

Families of Polynomials Irreducible in $\mathbb{Z}$ but reducible in $\mathbb{Z}/p\mathbb{Z}$ for all primes $p$.

I am wondering if there exist classification of polynomials that are irreducible in $ \mathbb{Z}$ but reducible $\pmod p$ for all primes $p$. I am aware that $\Phi_n$ has this property if ...
0
votes
1answer
81 views

Query on an example of Morandi's Field and Galois Theory, regarding the degree of a field extension.

I am going through Morandi's Field and Galois Theory, and I am looking at Example $1.5$, Chapter I. It says, (more or less) If $k$ is a field, let $K=k(t)$ be the field of rational functions in ...
1
vote
3answers
44 views

Extensions of degree $1$.

My doubt is very simple: Let $F|K$ be a field extension, if $[F:K]=1$, what can we say about $F$ and $K$? can I say $F=K$? I'm trying to prove the equality without success. Thanks in advance
4
votes
1answer
68 views

Milne's Galois Theory Example

The following example is drawn from Milne's Galois Theory notes, p.42 (http://www.jmilne.org/math/CourseNotes/FT.pdf) We study the extension $\mathbb{Q}[\zeta]/\mathbb{Q}$ where $\zeta=e^{2\pi i/7}.$ ...
2
votes
1answer
102 views

Are all fields vector spaces?

Are $\mathbb{Z_p},\mathbb{Q},\mathbb{R},\mathbb{C}$ above themselves vector space? Is a field above anoother field a vector space? As for 1. we know that $\Bbb R^n$ is a vector space so in ...
1
vote
2answers
51 views

What is the potential function of the field $\left(\frac{-y}{x^2+y^2},\frac{x}{x^2+y^2}\right)$

The vector field is obviously conservative on every closed domain that doesn't encompass the point $(0,0)$, so there must be a potential function. I've got $\arctan(\frac{x}{y})$ for $x$ unequal to ...
3
votes
1answer
60 views

real closure of an archimedean field

my question is: Is an archimedean field dense in its real closure? I know that in the non-archimedean case, this does not have to be true (e.g., rational fucntions). Thanks!
2
votes
1answer
50 views

Proving that a field $K$ can be generated by algebraically independent elements and an separable element

Let $k$ be a perfect field (either $k$ has characteristic $0$, or characteristic $p > 0$ and every element has a $p$th root), and let $K$ be a finitely generated extension field. I have a question ...
1
vote
1answer
26 views

Irreducibility in Galois/non Galois Extensions

Let $k$ be a field and $\alpha$ algebraic over $k$. Let $K$ be the Galois closure of $k(\alpha)$ (obtained by adding all conjugates of $\alpha$). If $f(x) \in k[x]$ is irreducible over $k[\alpha]$ is ...
2
votes
1answer
86 views

Projective special linear groups are co-hopfian?

Is it known if $PSL(2,\, F)$, with $F$ a field of prime $p$ characteristic (maybe with all proper subfields of finite order), is co-hopfian? I've searched everywhere but found nothing. Definition A ...
0
votes
1answer
54 views

Additive inverse in a field is unique

there will be an $a$ let's prove $-a$ is unique. let's assume there are 2 additive inverses $b$ and $c$ therefore $a+b=a+c$ let's multiply them by the multiplicative inverse of $a$ I try to use the ...
2
votes
1answer
54 views

A Fixed Field of $\mathbb{Q}(\sqrt{2},\sqrt{3},\sqrt{5})$

I was working on a review problem from Dummit and Foote and came across the following issue. It is clear that the Galois group of the splitting field for the polynomial $(x^2-2)(x^2-3)(x^2-5)$ has ...
0
votes
0answers
24 views

Galois group of a splitting field

$f=x^4-5x^2+6 \in \operatorname Q[x]$ $f=(x^2-2)(x^2-3)$ $\operatorname F=\operatorname Q(\sqrt[2]{2},\sqrt[2]{3})$ $f$ is irreducible for Eisenstein's criterion, $\operatorname{char} \operatorname ...