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
0answers
18 views

What would be a value of $X$ under an automorphism of $F(X)$ over $F$?

Let $\sigma:F(X)\rightarrow F(X)$ be a field automorphism fixing $F$. What would be an value of $\sigma(X)$? Since $X$ is transcendental over $F$, $\sigma(X)$ is a transcendental over $F$ and ...
0
votes
1answer
14 views

Q basis for splitting field

I have the following field theory question: I am given this polynomial $ x^5-5 $ for which I am supposed to find a basis for the splitting field over Q all I can determine in this regard is that it ...
0
votes
1answer
16 views

prove $[E(a):E] \le [F(a):F]$

Let $F<E<K$ be field extensions, such that $a \in K$, and $[K:F]<\infty$, Is it true that $[E(a):E] \le [F(a):F]$? How can I show this?
1
vote
1answer
11 views

Are these two definitions of separable extension equivalent?

Definition1 - wikipedia Let $E/F$ be an algebraic extension. Then $E/F$ is separable iff for each $\alpha\in E$, the minimal polynomial of $\alpha$ over $F$ is separable. Definition 2 - ...
1
vote
2answers
56 views

Is there an infinite field such that every non-zero element has finite multiplicative order?

Is there an infinite field such that every non-zero element has finite multiplicative order? I did not find any example of such a field, but also did not see anything that forbids the existence of ...
2
votes
1answer
16 views

Looking for different proofs for $-1$ is a quadratic residue of primes of the form $4k+1$ and related facts

Suppose $p$ is a prime of the form $4k+1$ , then $4|p-1=|\mathbb Z_p^*|$ , as $\mathbb Z^*_p$ is a cyclic group , so there is $\bar x \in \mathbb Z_p^*$ such that $o(\bar x)=4$ , then $o(\bar x^2)=2$ ...
1
vote
1answer
20 views

Question about field extension notation

Hello all I was given the following question about which I understand everything except possibly the notation. I am given a sub-field $ F \subseteq R $ and I am asked to prove the degree of the "field ...
1
vote
1answer
17 views

Prove that there are no separable extensions of $k$ of degree $n$

Let $k$ be a field and let $n \gt 0$ be an integer. Assume that there are no irreducible polynomials of degree $n$ in $k[x]$ . Prove that there are no separable extensions of $k$ of degree $n$ I ...
13
votes
2answers
2k views

Proving the “freshman's dream”

$(x+y)^p = x^p + y^p$ holds in any field of characteristic $p$. However all the proofs I have seen use induction and some relatively nasty algebra despite how fundamental this fact seems. What is the ...
0
votes
2answers
20 views

Show that if $F$ is a field, then $<x>$ is maximal in $F[x]$. Also, show that $F[x]$ is not local.

See statement above. So far I have the following: Assume that $<x>$ is not maximal. Then $ <x> \subset <f(x)> \neq F[x]$. This means that $x = f(x) g(x)$. Since $x$ is ...
0
votes
1answer
10 views

About relation between degree of extension and normality

Hi i know that if $F<E$ is an field extension and $[E:F]=2 $ then it is normal extension. How can i show that if $[E:F]=k$ for any $k>2 $ doesnt imply E is normal extension. Basically i need ...
1
vote
2answers
59 views

Field $K (x)$ of rational functions with coefficients from $K$, if $f\in K(x)$, then $f^2 \neq x^2-1$

I'm in the process of studying for an exam and I came across the following question: Prove that if $K$ is a field and $K (x)$ is the field of rational functions with coefficients from $K$, if ...
3
votes
2answers
47 views

Prove that $x^2 + 3x +2$ is irreducible in $\mathbb{Z}[[x]]$, but not in $\mathbb{Z}[x]$.

As the problem states, I need to show irreducibility of the given polynomial. I'm not sure where go with this, so any help would be great. I know that Eisenstein has a nice test for this in ...
0
votes
1answer
27 views

How's this inertia called?

Let $E/F$ be an algebraic extension. Let $L_1,L_2$ be algebraically closed fields and $\sigma_1:F\rightarrow L_1,\sigma_2:F\rightarrow L_2$ be field monomorphisms. Define ...
0
votes
2answers
24 views

Square root constructible elements in a splitting field. [on hold]

Let α have minimal polynomial p(x) ∈ $\mathbb{Q}$[x], with roots α = α1, ..., αs. Let K = $\mathbb{Q}$(α1, ..., αs) be the splitting field of p(x). Let [K:Q] = 2w for some integer w. Prove ...
2
votes
2answers
24 views

Does every algebraically closed field with nonzero characteristic have a unique finite subfield $p^n$?

Let $F$ be an algebraically closed field such that $char(F)\neq 0$. Then, $\forall n\in\mathbb{Z}^+$, there exists a unique finite subfield $K$of $F$ such that $|K|=char(F)^n$. Is this ...
2
votes
0answers
32 views

Notation Question in proof of Kronecker-Weber theorem

I am trying to understand this proof of the Kronecker-Weber theorem by Franz Lemmermeyer http://arxiv.org/pdf/1108.5671.pdf. The set-up is this: $K/\mathbb{Q}$ is a cyclic extension of prime degree ...
0
votes
0answers
41 views

Questions about the function fields of complex algebraic surfaces

Let $X$, $Y$ be complex algebraic surfaces(Of course, they are smooth). Suppose that $X$ is normal. Let $K(X)$ and $K(Y)$ be the function fields of $X$ and $Y$, respectively. And we have a ...
1
vote
0answers
43 views

A problem about an algebraic number [duplicate]

Show that $2^{\frac{1}{2}}+5^{\frac{1}{3}}$ is algebraic over $\mathbb{Q}$ of degree $6$. Can I just construct $x=2^{\frac{1}{2}}+5^{\frac{1}{3}}$, $x-2^{\frac{1}{2}}=5^{\frac{1}{3}}$, ...
2
votes
1answer
18 views

Discriminant of n algebraic numbers equals $0$ iff the algebraic numbers linearly dependent

Let $K \subset L$ be two number fields with $[L:K] = n$. Let $\{\alpha_i:1 \leq i \leq n\} \subset L$. Then $\operatorname{disc}(\alpha_1 \dots \alpha_n) = 0 \iff \alpha_i$ are linearly dependent ...
4
votes
6answers
119 views

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

I understand that $\mathbb{Q}(\sqrt{2}+\sqrt[3]{5})\subseteq\mathbb{Q}(\sqrt{2},\sqrt[3]{5})$ But I am struggling to algebraically show that ...
-1
votes
0answers
9 views

Existence of non-dedekind-complete archimedean field?

I'm a first year undergrad who just started learning analysis in the 2nd semester, so please do forgive me if I made any terrible mistake in my question. Anyway, I was reading some introductory ...
0
votes
2answers
31 views

Definition of a Finite Normal Extension

I'm reading Fraleigh's A First Course in Abstract Algebra, Seventh Edition, and he makes the following definition on page 448: A finite extension $K$ of $F$ is a finite normal extension of $F$ if ...
-3
votes
1answer
13 views

Field Extension and basis of polynomial set [on hold]

Let $L/K$ be a field extension, $\alpha \in L$ algebraic over $K$. Assume $K \subseteq L$. Then with $n = deg m_{\alpha}(k) $, Show that ${1,\alpha,\alpha^2,...,\alpha^(n-1)}$ is a basis for ...
0
votes
1answer
34 views

Finding the irreducible polynomial of $\zeta_6, \zeta_8, \zeta_9$ over the field $\mathbb{Q}(\zeta_3).$

How can I get started on finding the irreducible polynomial of $\zeta_6, \zeta_8, \zeta_9$ over the field over $\mathbb{Q}(\zeta_3)?$ Should I construct field extensions and then use the degrees of ...
0
votes
1answer
21 views

Jets and vertical differential

For a vector bundle $(E,\pi, M)$ let $\phi :M\mapsto E$ be a section of $\pi $, $x\in M$ and $u=\phi (x)$. The vertical differential of the section $\phi$ at point $u\in E$ is the map: ...
2
votes
1answer
22 views

Finite field extensions - $K(\alpha)$

So I am currently studying Algebraic Number theory and a theorem in the Book states the following: Let $L/K$ be a field extension. Then $\alpha \in L$ is algebraic over $K$ if and only if there is ...
0
votes
1answer
31 views

Finite field extension over the rationals need only one generator?

Some book stated (without proof) that in every finite dimensional field over the rationals of dimension $n$, there is an element of degree $n$ (i.e. any field $Q[\alpha_1, ..., \alpha_n]$ is of the ...
0
votes
1answer
40 views

Degree of minimal polynomial over $\mathbb{Z}_7$

While working through my book I've run into a question where I'm not too sure what is being asked of me/how to start thinking about it. It states: Suppose $E$ is an extension field of ...
2
votes
2answers
66 views

Prove that $\mathbb{Q}(r+s\sqrt{t})=\mathbb{Q}(\sqrt{t})$.

Let $r,s,t\in\mathbb{Q}$. Prove that $\mathbb{Q}(r+s\sqrt{t})=\mathbb{Q}(\sqrt{t})$. Ok. So I've fallen a little behind in my algebra class, and I'm a bit confused on how to approach this ...
1
vote
1answer
53 views

Annihilating Ideal of a Ring

I am stuck on how to show this. A starting hint would be helpful, and an answer (hidden) would be much appreciated. I tried supposing that there was another element in the annihilating ideal, however, ...
1
vote
2answers
33 views

algebraically closed field in a division ring?

Is it possible to have $K \subset D$ where $K$ is algebraically closed field and $D$ is a division ring such that $K \subseteq Z(D)$?
1
vote
0answers
28 views

Field extension in rational functions [duplicate]

I'm facing the following problem: Let $ F $ be a field, and let $ F(x) $ denote all rational functions over $ F $ (functions of form $\frac{P(x)}{Q(x)}$, where $ P,Q$ are polynomials over $ F $). ...
5
votes
3answers
57 views

Degree of an extension of $ \mathbb{Q} $

I'm trying to find a degree of the extension $ \mathbb{Q} \subset \mathbb{Q}(\sqrt{2} + i) $. Once I'm done with that, I'd like to find a basis of $ \mathbb{Q} (\sqrt{2} + i) $ as a $ \mathbb{Q} $ ...
-2
votes
0answers
36 views

Algebraic extensions help?

$K$ is an extension field of $F$. If $[K : F]$ is finite and $u$ is algebraic over $K$, prove that $[F(u) : F]$ divides $[K(u) : F]$.
0
votes
1answer
23 views

Prove the field of fractions of $F[[x]]$ is the ring $F((x))$ of formal Laurent series.

Prove the field of fractions of $F[[x]]$ is the ring $F((x))$ of formal Laurent series. $F[[x]]$ is contained in $F((x))$. So there's at least a ring homomorphism that is injective. Can also see ...
-4
votes
3answers
46 views

$R = \Bbb F_7[x]/(x^2+2)$. Is $R$ a field? [closed]

$R = \Bbb F_7[x]/(h)$ where $h(x) = x^2 + 2$. Is $R$ a field? justify with examples. please help!
1
vote
2answers
58 views

$i \notin \mathbb{Q}[\sqrt[4]{2}]$ without using topological properties of $\mathbb{R}$

I can think of two related ways to prove that $i \notin K = Q[\sqrt[4]{2}]$: $K$ is a subset of the real numbers and $i$ is not a real number. $K$ is orderable and no ordered field can contain ...
3
votes
2answers
47 views

Galois group of $x^4-2$

I am trying to explicitly compute the Galois group of $x^4-2$ over $\mathbb{Q}$. I found that the resolvent polynomial is reducible and the order of the Galois group is $8$ using the splitting field ...
1
vote
1answer
64 views

is that true $\mathbb{R}(a, b) = \mathbb{R}(a)( b) $? [closed]

is that true $\mathbb{R}(a, b) = \mathbb{R}(a)( b) $ ?
7
votes
2answers
158 views

What's the theoretical basis for integration using partial fractions?

Exercises involving integration using partial fractions depend on expressing a rational function $\frac{P(x)}{Q(x)}$ (where the degree of $P$ is less than the degree of $Q$) as a sum of ...
1
vote
1answer
26 views

I have a question about the multiplicative inverse in any field.

Does the additive identity always have no multiplicative inverse? (I'm talking about any field not restricted to real or complex field) If does can someone explain me why?
1
vote
1answer
55 views

Degree of field extension $F(x) / F(x^2 + 1 / x^2)$

Let $y=\frac{x^4+1}{x^2} \in F(x)$. Then $g(x)=0$ for the polynomial $g(s) = (s^4+1)-ys^2$. How to show that it is the minimal polynomial over the field $F(y)$?
4
votes
3answers
91 views

Is the algebraic closure of $\mathbb Q$ in the field $\mathbb Q_5$ a number field?

Is the algebraic closure of $\mathbb Q$ in the field $\mathbb Q_5$ of $5$-adic numbers a number field, if yes what is the degree ? To be honest I don't understand the question, what does it mean ...
0
votes
0answers
16 views

Determine the elements of the Galois group [duplicate]

I want to determine the elements of the Galois group of $x^p-2$. I have never seen anything like this before and been struggling with some of the Galois problem. Thank you for any input!
1
vote
2answers
65 views

Rigorously prove $\mathbb{Q}(\sqrt2,\sqrt3) = \mathbb{Q}(\sqrt2) (\sqrt3)$

As stated, I want to argue that the identity holds i.e. the smallest field containing $\sqrt2$, $\sqrt3$ and $\mathbb{Q}$ is indeed the smallest field containing $\sqrt3$ and $\mathbb{Q}(\sqrt2)$.
0
votes
1answer
24 views

Proving $f(x)=x^n-p$ is minimal of $\alpha=\sqrt[n]{p}$ over the field F (p is prime)

I am having trouble with the concept of minimal polynomial, In a homework question I have concluded the following: $\mathbb{Q} \le \mathbb{F} \le \mathbb{C}$ - field extensions such that ...
1
vote
2answers
52 views

Irreducible polynomial over Q

Let $f(x) = 3x^4+6x^3+24x^2+18 \in \mathbb Z[x]$. Is $f(x)$ irreducible over $\mathbb Q$ ? In my course, Eisenstein's criterion is apply for monic polynomial only, hence, I can't use it with p =2. If ...
0
votes
1answer
36 views

Why are ring extensions only discussed in the context of $\mathbb{C}$?

I'm watching the great (imo) set of lectures on abstract algebra from the harvard extension school that's available on youtube. Now this lecture is about extending a ring. The lecturer talk about ...
1
vote
1answer
62 views

Number of real embeddings $K\to\overline{\mathbb Q}$

How many real embeddings, $K\to\overline{\mathbb Q}$ with $K=\mathbb Q\left(\sqrt{1+\sqrt{2}}\right)$ are there ? We set $f(x)=x^4-2x^2-1$ and if $\alpha=\sqrt{1+\sqrt{2}}$ then $f(\alpha)=0$. ...