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

Fixed points of automorphism in the field $\mathbb{C}(x,y)$

I am trying to solve a problem, and one of the parts is the following: let $M=\bigl(\begin{smallmatrix} a&b\\ c&d \end{smallmatrix} \bigr)$ be a non singular $2\times 2$ matrix with integer ...
2
votes
0answers
67 views

Algorithm for determining whether two polynomials have the same splitting field

This question asks how to tell whether two cubic polynomials with coefficients in $\mathbb{Q}$ have the same splitting field. There are several answers to the question, but they don't include proofs. ...
2
votes
0answers
90 views

Theorem's relying on algebraic closures

When working with fields, it's a usual method to work on an algebraic closure of a field to obtain results about that field. In general (i. e. unless you're explicitly considering "well-behaved" ...
2
votes
0answers
72 views

Structure of $\mathbb{Q}_p(\zeta_p)$

Let $p \ne 2$ be prime number and denote by $\zeta_p$ the p-th root of unity. It's well known that $K = \mathbb{Q}_p(\zeta_p)$ has $t=1 - \zeta$ as prime element (generator of the Ideal $P_K = \{ x\in ...
2
votes
0answers
98 views

Conditions for the degree of field extension reaches its upper bound

(Re-edited) Let $k$ be a field and $a,b$ algebraic over $k$ but not inside $k$ and $a \neq b$. Suppose that $[k(a,b) : k]=[k(a):k] [k(b):k]$. What does this tell us about the relation between $a,b$? ...
2
votes
0answers
282 views

Field of Fractions for Commutative Ring with Identity

I'm trying to complete a problem that is walking me through creating a field of fractions $F$ from a commutative ring with identity (and no non-zero divisors) $R$. The construction first asks me to ...
2
votes
0answers
37 views

Real embeddings and linear disjointness

Suppose I have two Galois extensions $F_1, F_2$ of $\mathbb{Q}$ such that $F_1$ has a real embedding. Then is there a general condition on $F_2$ such that $F_1$ and $F_2$ will be linearly disjoint ...
2
votes
0answers
88 views

Given a normal basis $\{g(a)| g\in Gal(L/K)\}$ of $L/K$ finite Galois, can we express $g(a)g'(a)$ relative to this basis?

Let $L/K$ be a finite Galois extension. The normal basis theorem says that there is an element $a\in L$ such that $\{ g(a) | g\in \text{Gal}(L/K)\}$ is a basis of $L$ as a $K$-vector space. Let ...
2
votes
0answers
649 views

A proof of the normal basis theorem of a cyclic extension field

I came up with the following proof of the normal basis theorem of a cyclic extension field. Is this proof well-known? Proposition Let $L$ be a finite cyclic extension of a field $K$. Let $n$ be the ...
2
votes
0answers
86 views

Intersections of finitely generated field extensions are finite?

I was reading the following post at MathOverflow: http://mathoverflow.net/questions/21086/when-are-intersections-of-finitely-generated-field-extensions-finitely-generated/21093 I can't comment there, ...
2
votes
0answers
330 views

Square-free discriminants and integral bases

Let $K = \mathbb Q(\alpha)$ is a number field. Suppose $\alpha \in O_K$ and let $f \in \mathbb Z[X]$ be its minimal polynomial. Show that if the discriminant of $f$ is a square-free integer, then ...
2
votes
0answers
94 views

defining binary operation on $\mathbb{R}$

Exercise 3, page 13 from Golan's book ("The Linear Algebra a Beginning Graduate Student Ought to Know"): Define a new operation $\circ$ on $\mathbb{R}$ by setting $a\circ b= a^{3}b.$ Show that ...
2
votes
0answers
108 views

Quick question: finite extensions and norms

[Edit: "Suppose K is a field complete with respect to a discrete valuation, with valuation ring $\mathcal{O}$."] I'm trying to solve the following problem: let $L/K$ be a finite extension of fields, ...
2
votes
0answers
603 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 ...
2
votes
0answers
286 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
106 views

Field reductions. part three

Follow-up to Field reductions. part two For a field $K$, an element $a \in K$, and $K(\setminus a)$ the set of field reductions (maximal subfields of $K$ not containing $a$) are there any interesting ...
1
vote
0answers
17 views

Field extensions and quotient fields

STATEMENT: Suppose that $F\subseteq E$ is a field extension of $F$. And assume $u\in E$ is transcendental over $E$. Then it readily follows that $F(u)\cong F(x)$, where $F(x)$ is the quotient field of ...
1
vote
0answers
40 views

P. Morandi on p-closure of a field

I am stuck on a step of the proof of Lemma 18.4 of Patrick Morandi, Field and Galois Theory. Let $p$ be a prime number and let $F$ be a field with $\mbox{char}(F) \neq p$. Morandi defines the ...
1
vote
0answers
37 views

Examples of a complete ordered field

We know that every complete ordered field is isomorphic to $\mathbb R$, but are there examples of complete ordered fields different, not isomorphically different of course, from $\mathbb R$?
1
vote
0answers
17 views

Is $PE$ is purely inseparable over $E$?

I want to prove the statement : if $K\le E\le F$ and $F$ is separable over $E$, then $P\subset E$. Here, $P=\{u\in F:\text{$u$ is purely inseparable over $K$}\}\le F$. I claim that $PE$ is both ...
1
vote
0answers
41 views

Diagrams characterizing ring characteristic, and in particular field characteristic 1?

For a given prime $p$, what is the diagram for saying (e.g. in some category where morphisms are field homomorphisms) that a field has characteristic $p$? Is there a diagram, or the shape of what ...
1
vote
0answers
29 views

Algebraic extension of rational functions

Let $k\subset F\subseteq k(X)$ be chains of field extension, prove that $k(X)/F$ is algebraic. "Proof:" Let $y\in F\setminus k$ then $y=\frac{P(X)}{Q(X)}$ with $P\notin k$ or $Q\notin k$. It ...
1
vote
0answers
42 views

Solving system of equation over distinct finite fields

Is it possible to solve an equation systems which involves elements from distinct finite fields? One example could be elements from $\mathrm{GF}(2)$ and $\mathrm{GF}(2^2)$: With: $x=[1,1,0,1]$ ...
1
vote
0answers
36 views

Perron-Frobenius theorem for real closed fields via model theory

The Perron-Frobenius theorem states that any matrix over the reals with positive entries has at least one positive eigenvalue (and a bit more). The easiest proof that I know of runs as follows: any ...
1
vote
0answers
37 views

Maximality of the kernel of a quasifield

Setting A (left) quasifield is an algebraic structure $(Q,+,\cdot)$ such that $(Q,+)$ is an abelian group. (As usual, we denote its identity element by $0$.) Each equation $x\cdot a = b$ with ...
1
vote
0answers
36 views

Denseness of algebraic and transcendental elements in R [NBHM 2014]

Which of the following statements are true? a. Algebraic numbers over Z are dense in R. b. Transcendental numbers over Z are dense in R. Let me write what I did. For a), the concerned set is a subset ...
1
vote
0answers
31 views

Number fields and algebraic integer

Suppose there is a (algebraic) number field $K$. Algebraic integer is a root of some monic polynomial with coefficients in $\mathbb{Z}$. The elements of $K$ are the root of some monic polynomial ...
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 ...
1
vote
0answers
26 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
0answers
38 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
0answers
28 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
37 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) = ...
1
vote
0answers
67 views

Find a multiplicative inverse of an element in a field

Suppose we have an element $\sigma=p+qa\rho+rd\rho^{-1}\in K$ where $K=\mathbb{Q}(\rho)$ where $[K:\mathbb{Q}]=3$ I want to find a multiplicative inverse of $\sigma$ i .e ...
1
vote
0answers
31 views

intersection of radical extensions of Q

Are there radical extensions $\mathbb{Q}\subseteq R_1$ and $\mathbb{Q}\subseteq R_2$ such that $R_1 \cap R_2$ is not radical over $\mathbb{Q}$? My guess is that one can find a such example, but I ...
1
vote
0answers
38 views

Finding the general form of an element in $\frac{\mathbb{Z}_4 [x]}{(x^2 + 1)}$

I'm trying to find the general form of elements in the quotient ring: $$R = \frac{\mathbb{Z}_4 [x]}{(x^2 + 1)}$$ Now my initial thoughts are to take a general element $f \in R$ so that $f = g + (x^2 ...
1
vote
0answers
46 views

Prove that every sum of squares in $K$ is a square in $K$, where $K$ is certain field.

Let $K$ be a field such that $f(t)=t^{2}+1$ is an irreducible polynomial in $K[t]$. Let $i$ be a root of $f$ in an algebraic closure of $K$. Suppose every element of $K(i)$ is a square in $K(i)$. ...
1
vote
0answers
41 views

Splitting field and intermediate fields

Find splitting field $K$ of polynomial $x^3-7$ over $\mathbb{Q} (\sqrt{3} )$ and find $(K: \mathbb{Q} )$ $G(K/ \mathbb{Q} )$ Find intermediate fields between $\mathbb{Q}$ and $K$. So the ...
1
vote
0answers
37 views

Galois extension of two fields

I am preparing myself to the exam in algebra and I have found the following exercise, which is quite hard for me. Do you have any suggestions for solving it? For fields $K\subseteq L,M\subseteq \bar ...
1
vote
0answers
28 views

Field extension of fraction field of polynomial ring modulo an ideal.

My apologies for the relatively long question, but I am trying to understand a step in a proof, which needs some preliminary explanation. Let $K$ be a field and $I$ a prime ideal of ...
1
vote
0answers
42 views

Showing that $\frac{\mathbb{C}[X]}{<x-1>}$ is isomorphic to $\mathbb{C}$

I'm trying to show that $\frac{\mathbb{C}[X]}{<x-1>} \cong \mathbb{C}$ and I am not sure if this argument is correct. Define $\phi: \mathbb{C}[X] \to \mathbb{C}$ by $\sum a_it^i \to \sum a_i$. ...
1
vote
0answers
53 views

For $a=\cos(2\pi/n)$, show that $[\mathbb{Q}(a):\mathbb{Q}] = \ldots$

For $a=\cos(2\pi/n)$, show that $[\mathbb{Q}(a):\mathbb{Q}] = \{1 \text{ for } n=1,2; (1/2)\phi(n) \text{ for } n>2\}$. $\phi$ is the Euler totient function which gives the number of coprime ...
1
vote
0answers
36 views

simple extension with algebraic over the field

Assume that $F$ is infinite, that $v,w \in K$ are algebraic over $F$, and that $w$ is a root of a separable polynomial in $F[x]$. How will I be able to prove that $F(v,w)$ is a simple extension of ...
1
vote
0answers
36 views

Reference for Galois Theory of infinite field extensions.

I would like to ask what is in your opinion the best place to learn about Infinite Galois Theory that requires not much knowledge of topology. I am searching for a text that explains the notions ...
1
vote
0answers
38 views

Function Field of Degree 3 Ramified at 1 and -1

This question is a homework problem, and I'm having a lot of trouble with it. (a) Determine the number of isomorphism classes of function fields K of degree 3 over $F = \mathbb{C}(t)$ that are ...
1
vote
0answers
56 views

How many different proper subfields does $K$ have, where $K$ is a field of order$p^n$?

If $p$ is a prime, and $d$ is an integer greater than or equal to 1. Let $n= p^d$, then there exists $K$ being a field of order $p^n$. But how many different proper subfields does $K$ have? The ...
1
vote
0answers
39 views

Topology in Infinite Galois Theory.

I am a final year undergraduate student in Mathematics. I have a good background in algebra up to Galois theory of finite extensions of fields. I have started trying to understand the Galois theory of ...
1
vote
0answers
76 views

Splitting Field of Irreducible Polynomial over a Finite Field

Suppose $f(x)$ is irreducible over $\mathbb{F}_p[X]$ and let $\alpha$ be a root of $f$ in some extension field. I want to prove the following claim. I have included thoughts below, but I am very ...
1
vote
0answers
57 views

Union of field extensions over Q

I am asked to prove that $L=\bigcup_{n=1}^\infty\mathbb{Q}(\sqrt[n]2)$ is an algebraic field extension over $\mathbb{Q}$. So far I have: Let $\beta\in L$, then by definition of union there exists a ...
1
vote
0answers
12 views

Why can an ideal generated by a subset be written in this form?

I have a subset $F \subset R$ that generates an ideal $(F)$. Apparently this can be written in the form $$(F)=\{a_1f_1b_1+...+a_kf_kb_k|k \ge 0, f_i \in F, a_i,b_i\in R\}$$ or if $R$ is commutative ...
1
vote
0answers
45 views

Elementary Field Theory: Extension Field of Degree 2

I'm trying to do/understand the following exercise: "Let $E$ be a finite extension of a field $F$. If $[E:F] = 2$, show that $E$ is a splitting field of $F$."* Background: Just beginning ...