MathOverflow Asked by NeoTheComputer on December 9, 2020

I asked this question in MathStackExchange, but I didn’t receive any answer.

Let $K/mathbb{Q}$ be a Galois extension of degree $n$, and denote its ring of integers by $mathcal{O}_K$. Let $mathfrak{p}$ be an arbitrary prime ideal of $mathcal{O}_K$, which is unramified over $mathbb{Z}$, and prime to $n!$. We will denote the residue field of $mathfrak{p}$ by $kappa(mathfrak{p})$, its characteristic by $p$, and its residue degree by $f$. Let $x in mathcal{O}_K$, and let $bar{x}$ be its image in $kappa(mathfrak{p})$,

and assume that $P in mathbb{Z}[X]$ is a monic minimal polynomial of $bar{x}$, such that $P(x) in mathfrak{p} backslash mathfrak{p}^2$, and $deg(P)=f$.

(Q): Show that $mathcal{O}_K/mathfrak{p}^2$ is generated by the image of $x$ over $mathbb{Z}/p^2mathbb{Z}$.

My attempts: Since $P$ has minimal degree among the polynomials which are vanishing $x$ module $mathfrak{p}$, it should be irreducible over the field $mathbb{Z}/pmathbb{Z}$.

Therefore $1, x, cdots, x^{f-1}$ are linearly independent over $mathbb{Z}/p$.

Also, notice that $$dfrac{dfrac{mathbb{Z}}{pmathbb{Z}}}{P(X)} equiv dfrac{mathbb{Z}}{pmathbb{Z}} oplus x dfrac{mathbb{Z}}{pmathbb{Z}} oplus cdots oplus x^{f-1}dfrac{mathbb{Z}}{pmathbb{Z}}$$

is a field between $dfrac{mathbb{Z}}{pmathbb{Z}}$ and $dfrac{mathcal{O}_K}{mathfrak{p}}$, with $dfrac{mathbb{Z}}{pmathbb{Z}}$-degree equal to $f=[dfrac{mathcal{O}_K}{mathfrak{p}}:dfrac{mathbb{Z}}{pmathbb{Z}}]$, so it should equal to $dfrac{mathcal{O}_K}{mathfrak{p}}$. So we can conclude that $dfrac{mathcal{O}_K}{mathfrak{p}}$ is generated by the image of $x$ over $dfrac{mathbb{Z}}{pmathbb{Z}}$. (My proof of this fact may contain extra details; if so, please let me know). **But** I don’t have any idea why $mathcal{O}_K/mathfrak{p}^2$ is generated by the image of $x$ over $mathbb{Z}/p^2mathbb{Z}$?

I’m looking to figure out how, in this case, "the assumption $P(x) in mathfrak{p} backslash mathfrak{p}^2$" helps me solve the problem. I have this issue with similar problems; for instance, I had trouble dealing with

exercises 19-22 from chapter 4 of Marcus’s Number Fields. (In these exercises I had to deal with "the assumption $pi in Q backslash Q^2$", finally I solved them after a long hard try and search). Also, I tried to look for some versions of Nakayama’s lemma, but I have not succeeded.

A set of representatives for $mathcal{O}$ modulo $mathfrak{p}$ is given by $$S:={a_0+a_1x+dotsb+a_{f-1}x^{f-1} : a_0,a_1,dotsc,a_{f-1}in{0,1,dotsc,p-1}}.$$ As $P(x)$ lies in $mathfrak{p}setminusmathfrak{p}^2$, a set of representatives for $mathfrak{p}$ modulo $mathfrak{p}^2$ is given by $$Scdot P(x)={b_0P(x)+b_1xP(x)+dotsb+b_{f-1}x^{f-1}P(x) :\ b_0,b_1,dotsc,b_{f-1}in{0,1,dotsc,p-1}}.$$ Therefore, a set of representatives for $mathcal{O}$ modulo $mathfrak{p^2}$ is given by $$S+Scdot P(x)={a_0+dotsb+a_{f-1}x^{f-1}+b_0P(x)+dotsb+b_{f-1}x^{f-1}P(x) :\ a_0,b_0,dotsc,a_{f-1},b_{f-1}in{0,1,dotsc,p-1}}.$$ In particular, $mathcal{O}=mathbb{Z}[x]+mathfrak{p}^2$, and the result follows.

Correct answer by GH from MO on December 9, 2020

2 Asked on November 3, 2021

1 Asked on November 3, 2021 by alex-gavrilov

0 Asked on November 3, 2021 by mohammad-golshani

2 Asked on November 3, 2021 by bryanjaeho

1 Asked on November 3, 2021 by diverietti

ag algebraic geometry complex geometry cv complex variables homogeneous spaces symmetric spaces

2 Asked on November 3, 2021 by bananeen

ag algebraic geometry analytic geometry complex geometry cv complex variables

1 Asked on November 3, 2021

0 Asked on November 3, 2021 by guy-crouchback

0 Asked on November 3, 2021 by mikhail-bondarko

ag algebraic geometry birational geometry chow groups motives reference request

7 Asked on November 3, 2021

at algebraic topology gn general topology graph theory gt geometric topology reference request

1 Asked on November 3, 2021

1 Asked on November 3, 2021 by jecl

algebraic number theory analytic number theory nt number theory

2 Asked on November 3, 2021

1 Asked on November 3, 2021

co combinatorics homological algebra rt representation theory

2 Asked on November 3, 2021

ag algebraic geometry at algebraic topology complex geometry reference request

2 Asked on November 3, 2021 by rohil-prasad

dg differential geometry differential topology gt geometric topology mg metric geometry

2 Asked on November 3, 2021

mp mathematical physics pr probability quantum field theory schwartz distributions

3 Asked on November 3, 2021

higher category theory morita equivalence morita theory noncommutative algebra noncommutative rings

1 Asked on November 3, 2021 by rajesh-d

Get help from others!

Recent Questions

Recent Answers

- Jon Church on Why fry rice before boiling?
- Lex on Does Google Analytics track 404 page responses as valid page views?
- Peter Machado on Why fry rice before boiling?
- Joshua Engel on Why fry rice before boiling?
- haakon.io on Why fry rice before boiling?

© 2022 AnswerBun.com. All rights reserved. Sites we Love: PCI Database, MenuIva, UKBizDB, Menu Kuliner, Sharing RPP