# Tagged Questions

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 topic....

112 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 ...
63 views

250 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 infinite)...
482 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 $F:L$...
97 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 <...
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 ...
259 views

### Non-isomorphic simple extensions of the same degree of a field of positive characteristic

Let $K$ be a field of positive characterstic. I need to show that there exists $a$ and $b$ of the same degree over $K$ but $K(a)$ and $K(b)$ are not isomorphic. I thought of an example where they are ...
187 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 ...
140 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 ...
161 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 ...
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 $\alpha$...
97 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 ...
144 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.
### 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 (...