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)

3
votes
0answers
28 views

The degree of a primitive element

Suppose you have a map of smooth projective irreducible curves $X \to Y$ over $\mathbb{k}$ of degree $r$. This give an extension of fields $\mathbb{k}(Y) \hookrightarrow \mathbb{k}(X)$. The primitive ...
3
votes
0answers
32 views

Is there a general algebraic notion of the chain rule?

To motivate this, I should explain that I have been studying differential fields, i.e. fields endowed with a differentiation operator such that $(a+b)'=a'+b'$ and $(ab)'=a'b+ab'$. Using these rules, ...
3
votes
0answers
59 views

How does the determinant change with respect to a base change?

Problem Suppose $k$ is a (commutative) field, and $A$ is a finite (dimensional) commutative unitary $k$-algebra. $M=A^n$ is a free $A$-module, and therefore can be seen as a finite-dimensional ...
3
votes
0answers
60 views

How to think about Galois groups in a geometric way?

First of all, I've read some questions that have similar title, but I didn't find any answers that correspond to what I have in mind. So, I am an undergraduate student starting my investigations in ...
3
votes
0answers
94 views

A question on Galois theory

In this question, the field of rational numbers is denoted by $\mathbb{Q}$. The Galois group of a polynomial $f$ is denoted by $Gal(f)$. The commutator subgroup of a group $G$ is denoted by $G'$. ...
3
votes
0answers
45 views

Show that every algebraic field extension has a normal closure

I am trying to show that every algebraic extension of fields has a normal closure. Let $L/K$ be an algebraic extension. First suppose that the extension is finite. So $L=K(\alpha_1,...,\alpha_n)$ ...
3
votes
0answers
50 views

Ordered fields are real?

This question is motivated by another question posted earlier today. Let $F$ be a field endowed with an embedding $F\hookrightarrow\Bbb R$. Then the ordering of $\Bbb R$ induces an ordering on $F$. ...
3
votes
0answers
16 views

Uses for coefficients other than the trace and norm for an element belonging to a field.

The trace and norm are very useful as maps from a field extension to the base field since they are multiplicative/additive and have a lot of other nice properties. They can be defined as two of the ...
3
votes
0answers
22 views

$O_S$ is the integral closure of $k[T]$ in $F$ for some embedding of $k(T)$ in $F$?

Let $F$ be a function field in one variable over a field $k$. Let $S$ be a nonempty finite subset of the set of all places of $F$. Let$$O_S = \{f \in F: \text{ord}_v(f) \ge 0 \text{ for all }X ...
3
votes
0answers
46 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 ...
3
votes
0answers
43 views

Characterization of tensor products of fields

For which commutative rings $R$ are there field homomorphisms $L \leftarrow K \to L'$ (not assumed to be algebraic or anything) such that $R \cong L \otimes_K L'$? Is there an intrinsic ...
3
votes
0answers
38 views

Does $[E:F]=|Aut(E/F)|$ imply Galois extension?

Let $E/F$ be a finite field extension such that $[E:F]=|Aut(E/F)|$. Then, is $E/F$ Galois? Even though I have proven it, I'm not sure of it. Is this really true? Here's how I proved it: Let $\bar ...
3
votes
0answers
54 views

Let $F,K$ be two fields $F \subset K$ and suppose $f(x),g(x) \in F[x]$ are relatively prime in $F[x].$ Prove they are relatively prime in $K[x].$

Let $F,K$ be two fields $F \subset K$ and suppose $f(x),g(x) \in F[x]$ are relatively prime in $F[x].$ Prove they are relatively prime in $K[x].$ Suppose $f(x)$ and $g(x)$ are relatively prime in ...
3
votes
0answers
44 views

On the existence of a polynomial in several variables with only one zero

Given an ordered field $\mathbb{K}$, then for all $n>1$ there exists $f\in\mathbb{K}[X_1,\ldots,X_n]\ s.t.\ \mathcal{V}^{\mathbb{K}^n}(f):=\{p\in\mathbb{K}^n:f(p)=0\}=\{(0,\ldots,0)\}$ For ...
3
votes
0answers
75 views

“Breaking the symmetry” in solving algebraic equations

I've heard somewhere a discussion about solving algebraic equations before: When solving a quadratic equation, we are essentially doing the following. Observe that ...
3
votes
0answers
65 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 ...
3
votes
0answers
98 views

Which of the following subsets of $\mathbb C$ is a field?

I'm not entirely sure that I understand the concept of fields fully so I'll give you the question and then I'll let you pick my brain and tell me if my logic is correct. Please note: I'm not just ...
3
votes
0answers
239 views

Prove that $x^{p^n} -x +1$ is irreducible over $\mathbb{F_p}$ only when n=1 or n=p=2

Question:Prove that $x^{p^n} -x +1$ is irreducible over $\mathbb{F_p}$ only when n=1 or n=p=2 I know it is a duplicate question. However, someone gave some nice hints on this problem and I want to ...
3
votes
0answers
53 views

Why is $\mathbb F_5(\root{15}\of t)$ not normal over $\mathbb F_5(t)$?

Why is $\mathbb F_5(\root{15}\of t)$ not normal over $\mathbb F_5(t)$? (I'm asking this question in order to understand this answer). My idea for a proof so far: $f:=X^{15}-t\in F_5(t)$ is the ...
3
votes
0answers
52 views

Show that $K(\alpha,\beta)/K$ is simple

Let $L=K(\alpha,\beta)$ be an algebraic field extension, with $\alpha$ separable over K. Show that $L/K$ is simple. My attempt: If we could show that $L/K$ is finite and separable then the claim ...
3
votes
0answers
68 views

A question concerning cyclic field extensions.

In the study of cyclic extensions we have the following theorem: Theorem Let $K$ be a field containing an $n$-th primitive root of unity $\zeta$. Then the following claims hold: If ...
3
votes
0answers
77 views

Splitting field in finite field

What is the splitting field of the polynomial $X^{p^8}-1$ over $\mathbf F_p$? I'm confused, is not $X^{p^8}-1=(X-1)^{p^8}$ then the splitting field is $\mathbf F_p$? Thanks.
3
votes
0answers
185 views

Learning roadmap in Algebra

I am a senior undergraduate student in mathematics, I have a sound knowledge in the following areas: a) Commutative Algebra b) Field Theory and Galois Theory c) Homological Algebra My question is ...
3
votes
0answers
76 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 ...
3
votes
0answers
45 views

Proving that a certain maximal subfield has countably infinite index

Let $K$ be a maximal subfield of $\mathbb C$ which does not contain $\sqrt{2}$. I've shown that $\mathbb C$ is an algebraic extension of $K$, and that the Galois group of any finite extension of $K$ ...
3
votes
0answers
106 views

Why is the subfield (of a field) generated by an algebraic element equal to the subring generated by the same element?

I am trying to prove that, for a field extension $\mathbf{K}/k$ and $a$ an algebraic element over $k$, $$k(a)=k[a],$$ where $k(a)$ is the subfield of $\mathbf{K}$ generated by $a$ and $k[a]$ is the ...
3
votes
0answers
76 views

Why do fields seem to be a prerequisite for calculus?

I was in my Complex Analysis class, and the professor said that we should look for a field, rather than a group, to do calculus over. Why is this the case? I understand that we gain another operation ...
3
votes
0answers
88 views

Finding the prime element of a place of a function field of a elliptic curve.

Let $p$ be an elliptic curve in $\mathbb{C}[X,Y] $. Consider the quotient ring $A = \mathbb{C}[X,Y]/(p) $ and its field of fractions $F = frac(A) $. For all $f + (p) \in A$, define $deg_A(f + (p))= ...
3
votes
0answers
45 views

Is $\Bbb{Q}[\sqrt[2]{2},\sqrt[3]{2}]$ isomorphic to $\Bbb{Q}[x,y]/(x^2-y^3)$?

Say we have the field extension $\Bbb{Q}[\sqrt[2]{2},\sqrt[3]{2}]$. Is this field isomorphic to $\Bbb{Q}[x,y]/(x^2-y^3)$? I made some preliminary investigation, and this doesn't seem to be true. Is ...
3
votes
0answers
67 views

A notion of transcendence degree for fields of formal power series?

There is an intuitive sense in which one would like to say that the field of formal Laurent series $k((z))$ over a field $k$ has "transcendence degree $1$". Of course, it doesn't have transcendence ...
3
votes
0answers
53 views

The existence of Pisot numbers in any real number field

Wikipedia claims that, given a real algebraic number field $K$ of degree $n$, there is an algebraic integer $r \in K$ of degree $n$ such that $r>1$, but every conjugate of $r$ has modulus $<1$ ...
3
votes
0answers
105 views

Question about why $x^{p^n}-x+1$ is irreducible over $\mathbb{F}_p$.

I'm trying to follow a solution I'm reading. The idea is to prove $x^{p^n}-x+1$ is irreducible over $\mathbb{F}_p$ when $n=1$ or $n=p=2$. The solution is as follows: If $x^{p^n}-x+1$ is ...
3
votes
0answers
59 views

$\rho=e^{\frac{2\pi i}{21}}$, Prove $\rho+\rho^4+\rho^{16}$ is constructible

Let $\rho=e^{\frac{2\pi i}{21}}$. Prove that the number $a=\rho+\rho^4+\rho^{16}$ is constructible using a compass and a straightedge. A partial solution was to define a $\mathbb{Q}$-automorphism ...
3
votes
0answers
596 views

The automorphism group of a field with $p^2$ elements

Suppose $K$ is a field. Then we call $f: K\to K$ a (field) automorphism if $f$ is a one-to-one, onto and unital (i.e. $f(1)=1$) homomorphism of rings. The following results are well-known. There ...
3
votes
0answers
97 views

Factoring irreducible polynomial over normal extension

Let $f$ be an irreducible polynomial over $F$ and $K/F$ be a normal extension. How to prove $f$ is factored by product of irreducible poly. over $K$ with same degree? I tried to do it by if $f_1, ...
3
votes
0answers
224 views

Link between representation theory and Galois theory: Trivial representation in field towers.

Let $K|F$ be a finite cyclic Galois extension of number fields of degree prime to $p$ with Galois group $H$, where $p$ denotes a rational prime. Let $L|K$ denote a pro-$p$-extension (possibly ...
3
votes
0answers
443 views

Normal closure of field extension, axiom of choice

Update My previous proof was incorrect. This updated proof is inspired by the comment by 'MartianInvader'. Problem I can prove the statement 'Every algebraic extension $L:K$ has a normal closure ...
3
votes
0answers
95 views

Is there a more efficient way of proving a polynomial is primitive?

I have found an impressive Java implementation of a $ℤ2$ Polynomial class in which there seems to be an efficient implementation of a test for reducibility (see ...
3
votes
0answers
66 views

Tensor product of fields and ramification theory

In the wikipedia page: http://en.wikipedia.org/wiki/Tensor_product_of_fields They write: "For example if one adjoins √2 to the rational field ℚ to get K, and √3 to get L, it is true that the field M ...
3
votes
0answers
152 views

(Revised) Does p(a)=p(b) => a=b?

This is a revised version of problem posted here named :Does $p(a) = p(b) \Rightarrow a=b \ $? Let $S=(P_1,P_2,…,P_n)$ be a set of polynomials with complex coefficients. I call S critical if it ...
3
votes
0answers
132 views

Galois group of $x^{4}+ax^{2}+b$

Let $x^{4}+ax^{2}+b\in K[x]$ (with $\mathrm{char}K\neq 2$) be irreducible with Galois group $G$. I have shown that (a) if $b$ is a square in $K$, then $G$ is the Klein 4-group, (b) if $b$ is not a ...
3
votes
0answers
119 views

Question about solvability of the minimal polynomial of the element in extended field.

Let $F$ have characteristic $0$, and assume we have fields $L\supset K\supset F$. Now suppose $\alpha\in L$ be solvable by radicals over $K$, and the coefficients of the minimal polynomial of ...
3
votes
0answers
92 views

The Galois group of $f(t)=t^3-x_1t^2+x_2t-x_3$

I'm trying to solve this question: Let $F[x_1, x_2,x_3]$ be a polynomial ring in $x_1, x_2,x_3$ over a field $F$. Let $K=F(x_1,x_2,x_3)$ be the field of rational functions (i.e., the ...
3
votes
0answers
143 views

When the extensions Q(α,β) and Q(αβ) over Q are the same?

I would like to know in which conditions the extensions $\mathbb{Q}(\alpha,\beta)$ and $\mathbb{Q}(\alpha\beta)$ over $\mathbb{Q}$ are the same. Thanks in advance.
3
votes
0answers
860 views

Quick explanation: calculating class group of $\sqrt{-21}$

I'm trying to calculate the class group of $\mathbb{Q} (\sqrt{-21})$, and I've managed to confuse myself. I've used the standard Minkowski bound to show that we only need to consider principal ideals ...
3
votes
0answers
359 views

field embedding

I've come across this problem in Etingof's notes on representation theory (Problem 5.1 on p. 78). It just sounds nice exercise... The question is : Let $f : k(x_1,\ldots,x_n)\rightarrow ...
2
votes
0answers
20 views

How algebraically restrictive is the structure of $\Bbb Q_p$?

My question is a little difficult to explain, but I will try to state it. First, let me talk about the field $\Bbb R$ of real numbers. Let $K$ be the maximal real algebraic extension of $\Bbb Q$, that ...
2
votes
0answers
30 views

If $\alpha$ is an algebraic element and $L$ a field, does the polynomial ring $L[\alpha]$ is also a field?

If $\alpha$ is an algebraic element and $L \subset K$ are both field, does the polynomial ring $L[\alpha]$ is also a field? I am trying to prove that the ring of fraction $L(\alpha)$ is equal to ...
2
votes
0answers
17 views

Completion of surreal subfields

Let $\kappa$ be a regular uncountable ordinal. Let $No(\kappa)$ denote the field of surreal numbers of birthdate $ < \kappa$. In Fields of surreal numbers and exponentiation (2000), P. Ehrlich and ...
2
votes
0answers
68 views

How to find galois group? E.g. $\mathrm{Gal}(\mathbb Q(\sqrt 2, \sqrt 3 , \sqrt 5 )/\mathbb Q$

I want to know how to find a Galois group. I know I need to look at automorphisms but I am not sure of the method. Could someone give me an idea, e.g. with the example: $\mathrm{Gal}(\mathbb Q(\sqrt ...