I am working through some algebra exercises and got stuck with the following problem: I am working in the finite field $\mathbb{Z}_5$. Let $f \in \mathbb{Z}_5[x]$ and $f(x) = x^2 + 2$. By simple trial and error, I checked that this polynomial is irreducible, hence $\mathbb{Z}_5/(f) \cong GF(5^2)$, denoting the Galois field ($f$ is of […]

Let’s consider a field $F$ and $\alpha,\beta\in\overline{F}-F$ (where $\overline{F}$ is an algebraic closure). If $F(\alpha)=F(\beta)$, is it true that $\alpha$, $\beta$ have the same minimal polynomial over $F$? For reference, I explain my way. (From here forward, all field isomorphisms are the identity on $F$.) There exist polynomials $f,g\in F[x]$ such that $f(\beta)=\alpha$, $g(\alpha)=\beta$. Let […]

This question comes from this question by user72870. I shall explain how it relates to that question at the end. Let me shortly define my question: We call an embedding problem a diagram of the form: $$\begin{matrix}&&\mathfrak G\\&&\downarrow\\G&\rightarrow&\Gamma\end{matrix},$$ where $G\rightarrow\Gamma$ is a group extension (therefore we assume that the homomorphism is surjective), and $\mathfrak G$ […]

This question already has an answer here: Decomposition of the tensor product $\mathbb{Q}_p \otimes_{\mathbb{Q}} \mathbb{Q}[i]$ into a product of fields 1 answer

Does there exist a normal extension $L ⊃ \mathbb{Q}(\sqrt3) ⊃ \mathbb{Q}$ with Galois group $\mathrm{Gal}(L/\mathbb{Q}) \cong \mathbb{Z}/4\mathbb{Z}$?

This question already has an answer here: Intermediate ring between a field and an algebraic extension. 3 answers

I want to show that $\mathbb{Z}[\alpha.\beta]$ and $\mathbb{Z}[\alpha\pm\beta]$ are finitely generated when $\mathbb{Z}[\alpha]$, $\mathbb{Z}[\beta]$ are f.g. My primary aim is to show the set of algebraic integers of a number field $K$ is a ring. We have that $\alpha,\beta$ are algebraic integers, so $\mathbb{Z}[\alpha]$ and $\mathbb{Z}[\beta]$ are finitely generated, so there exist minimal polynomials $f_1$,$f_2$ […]

The inspiration for asking this question is due to this question and its first answer; see also this same question: Let $F$ be a field and let $E/F$ be a separable field extension with $[E:F]=n=p_1p_2$, where $p_1$ and $p_2$ are primes (not necessarily different primes). Let $\alpha_1$ be a primitive element: $E=F(\alpha_1)$. Assume that $\alpha_1 […]

Suppose $[E_1:F]=m<\infty$ and $E_1$ is algebraic extension of $F$. If $K$ is any extension of $F$ then the number of monomorphism of $E_1/F$ into $K/F$ is at most $m$. I am trying to prove this by induction on $[E_1:F]$. If I pick an irreducible polynomial $g(x)$ with degree $m$ over $F$ and look at the […]

Let $\alpha \in \mathbb{C}$ be a root of the irreducible polynomial $$f(X) = X^3 + X + 3$$ Write the elements of $\mathbb {Q}(\alpha)$ in terms of the basis $\{1, \alpha, \alpha^2\}$. The first part is to work out $\alpha^3$ in terms of the basis, but I can’t work out if I need to explicitly […]

Intereting Posts

A simple question about open set
Proof of Sobolev Inequality Theroem
What are the “building blocks” of a vector?
How to prove that $\frac1{n\cdot 2^n}\sum\limits_{k=0}^{n}k^m\binom{n}{k}\to\frac{1}{2^m}$ when $n\to\infty$
When modelling a real world event by assuming it has probability p, what are we saying/assuming about how that event behaves?
How do you validate that two math expressions are equal?
Proofs that every mathematician should know?
Do discontinuous harmonic functions exist?
Integral closure $\tilde{A}$ is flat over $A$, then $A$ is integrally closed
Complex polynomial and the unit circle
Where to begin in approaching Stochastic Calculus?
Find the particular solution of $u_x+2u_y-4u=e^{x+y}$ satisfying the following side condition $u(x,-x) = x$
How to solve $2 \tan x / (1 – (\tan x)^2) = (\sin 2x)^2$?
Given $d \equiv 5 \pmod {10}$, prove $\mathcal{O}_{\mathbb{Q}(\sqrt{d})}$ never has unique factorization
Borel Measures and Bounded Variation