Intereting Posts

What is Trinity Hall Prime number?
Show simplicial complex is Hausdorff
Gradient vs Conservative vector field: What's the difference?
How can I show that $n! \leqslant (\frac{n+1}{2})^n$?
Describe all the complex numbers $z$ for which $(iz − 1 )/(z − i)$ is real.
How is it possible for two random variables to have same distribution function but not same probability for every event?
Need help finding $\lim_{x\rightarrow\infty}\sqrt{x}$
Can an ordered field be finite?
How to solve this equation $x^{2}=2^{x}$?
How to calculate the lens distortion coefficients with a known displacement vector field?
$\mathbb C/(X^2)$ is isomorphic to $\mathbb R/((Y^2+1)^2)$
Does $E=EE$ for every $a,b\in\mathbb{R}$ imply that $X$ and $Y$ are independent?
Eigenvalues of linear operator $F(A) = AB + BA$
Deriving topology from sequence convergence/limits?
Which values does this augmented matrix have a solution?

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.

- The ideal $I= \langle x,y \rangle\subset k$ is not principal
- Is $V$ a simple $\text{End}_kV$-module?
- $R$ with an upper bound for degrees of irreducibles in $R$
- Ring of polynomials as a module over symmetric polynomials
- Existence of subgroup of order six in $A_4$
- How to check a set of ring is a subring?

- Does commutativity imply Associativity?
- Kummer extensions
- Neukirch Exercise 1.8.3 without using decomposition group
- Integers of the form $x^2-ny^2$
- Possibilities for a group $G$ that acts faithfully on a set of objects with two orbits?
- Characterizing all ring homomorphisms $C\to\mathbb{R}$.
- The alternating group is generated by three-cycles
- The narrow class group of an order of a quadratic field and the genera of binary quadratic forms
- Show that there exists a $3 × 3$ invertible matrix $M$ with entries in $\mathbb{Z}/2\mathbb{Z}$ such that $M^7 = I_3$.
- Let V denote the Klein 4-group. Show that $\text{Aut} (V)$ is isomorphic to $S_3$

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

- law of divisibility on $37$
- Differentiability of projection
- System of generators of a homogenous ideal
- The $n^{th}$ root of the geometric mean of binomial coefficients.
- Do $ AB $ and $ BA $ have same minimal and characteristic polynomials?
- What is the average number of draws (2 cards per draw with shuffles in between) before I had seen all 52 cards in the deck?
- About functions of bounded variation
- Euler-Maclaurin Summation Formula for Multiple Sums
- Doubt in Application of Integration – Calculation of volumes and surface areas of solids of revolution
- Are exact representations of numbers in fractional bases unique?
- Lines in projective space
- Galois Group of $(x^2-p_1)\cdots(x^2-p_n)$
- Uniqueness of meets and joins in posets
- Interesting piece of math for high school students?
- Is $\bigl(X(X-a)(X-b)\bigr)^{2^n} +1$ an irreducible polynomial over $\mathbb{Q}$?