Intereting Posts

Basis for rank $n$ ring containing $1$.
Simplify $2^{(n-1)} + 2^{(n-2)} + … + 2 + 1$
Example of topological spaces with continuous bijections that are not homotopy equivalent
Why finite structures are uniquely characterized?
How can I prove that two sets are isomorphic, short of finding the isomorphism?
Induction and convergence of an inequality: $\frac{1\cdot3\cdot5\cdots(2n-1)}{2\cdot4\cdot6\cdots(2n)}\leq \frac{1}{\sqrt{2n+1}}$
Selection of $b_n$ in Limit Comparison Test for checking convergence of a series
Find the order of $8/9, 14/5,48/28$ in the additive group of $\mathbb{Q}/\mathbb{Z}$
Difference between function and polynomials
Uniform convergence of the Bergman kernel's orthonormal basis representation on compact subsets
If $f$,$g$ and $\overline{f}g$ are holomorphic on $\Omega$, then $g=0$ or $f$ is constant
Inequality for incomplete Gamma Function
Determinant of a tensor
Meaning of “kernel”
Definition of continuity

I am stuck with problem 22, chapter 3 in Marcus’ book *Number Fields* which says:

Suppose $\alpha^5=2\alpha+2$. Prove that the ring of integers of $\mathbb Q[\alpha]$ is $\mathbb Z[\alpha]$. Prove the same thing also if $\alpha^5+2\alpha^4=2$.

Try: Discriminant for both of them is not square free.

- If $R$ is a local ring, is $R]$ (the ring of formal power series) also a local ring?
- Is there a simple explanation why degree 5 polynomials (and up) are unsolvable?
- Video lectures on Group Theory
- Why differential Galois theory is not widely used?
- the image of normal subgroups
- Normal subgroup of prime order is characteristic

- GCD in polynomial rings with coefficients in a field extension
- Showing that group of orientation preserving isometries of Icosahedron is a simple group
- Euclidean Algorithm help!
- Integral domain without unity has prime characteristic?
- Subgroups containing kernel of group morphism to an abelian group are normal.
- Show $R \setminus S$ is a union of prime ideals
- Finding all homomorphisms between two groups - couple of questions
- Easiest way to show $x^2 - 229y^2 = 12$ has no solutions in integers
- If $f: \mathbb Q\to \mathbb Q$ is a homomorphism, prove that $f(x)=0$ for all $x\in\mathbb Q$ or $f(x)=x$ for all $x$ in $\mathbb Q$.
- Finite dimensional algebra with a nil basis is nilpotent

Let’s look at the first part. Let $R$ be the ring of integers of $\mathbb Q[\alpha]$. Let $\mathfrak p$ be a maximal ideal of $R$ containing $2$. Then $\alpha^5=2(1+\alpha)\in \mathfrak p$, hence $\alpha\in \mathfrak p$. Moreover $1+\alpha\notin \mathfrak p$, so $2\in \mathfrak p^5R_\mathfrak p$. This implies that the ramification index at $\mathfrak p$ is at least $5$. But $\mathbb Q[\alpha]$ has degree $5$, so the ramification index is exactly $5$, the residue extension is trivial and there is only one prime above $2$. By Problem 21 just before the one you are considering, $2^4$ divides the discriminant of $R$.

Now the discriminant of $X^5-2X-2$ is $2^4.3.13.67$. So it is equal to the discriminant of $R$ and therefore $\mathbb Z[\alpha]=R$.

The seconde part should be solved similarly.

**Edit** To see the ramification index at $\mathfrak p$ is at least $5$

without using localization (I don’t know how things are organized in Marcus), we can just compare ideal decompositions of $\alpha^5 R$ and $2(1+\alpha)R$, noticing that no prime ideal can contains at the same time $\alpha$ and $1+\alpha$.

- Solving Pell's equation(or any other diophantine equation) through modular arithmetic.
- connected sums of closed orientable manifold is orientable
- Limits of 2 variable functions
- On visualizing the spaces $\Bbb{S}_{++}^n$ and $\Bbb{R}^n\times\Bbb{S}_{++}^n$ for $n=1,2,\ldots$
- Showing that $\lim_{x \to 1} \left(\frac{23}{1-x^{23}}-\frac{11}{1-x^{11}} \right)=6$
- Finding a combinatorial proof of this identity: $n!=\sum_{i=0}^n \binom{n}{n-i}D_i$
- Picking Multiples of 4
- Sequential and topological duals of test function spaces
- Finding the value of Inverse Trigonometric functions beyond their Real Domain
- Group isomorphism: $\mathbb{R}/\mathbb{Z}\cong S^1$
- an intriguing integral $I=\int\limits_{0}^{4} \frac{dx}{4+2^x} $
- Functional Equation : If $(x-y)f(x+y) -(x+y)f(x-y) =4xy(x^2-y^2)$ for all x,y find f(x).
- Chern Classes and Stiefel-Whitney Classes
- finding if two binary quadratic forms represent the same integers
- Hopkins-Levitzki: an uncanny asymmetry?