Lemma 59.66.3 (0GIZ)—The Stacks project

Processing math: 100%

Table of contents
Part 3: Topics in Scheme Theory
Chapter 59: Étale Cohomology
Section 59.66: Méthode de la trace
Lemma 59.66.3 (cite)

previous lemma
next lemma

numberstags

history
statistics
1 tag refers to this tag

Lemma 59.66.3. Let $\Lambda$ be a Noetherian ring. Let $\ell$ be a prime number and $n \geq 1$ . Let $H$ be a finite $\ell$ -group. Let $M$ be a finite $\Lambda [H]$ -module annihilated by $\ell ^ n$ . Then there is a finite filtration $0 = M_0 \subset M_1 \subset \ldots \subset M_ t = M$ by $\Lambda [H]$ -submodules such that $H$ acts trivially on $M_{i + 1}/M_ i$ for all $i = 0, \ldots , t - 1$ .

Proof. Omitted. Hint: Show that the augmentation ideal $\mathfrak m$ of the noncommutative ring $\mathbf{Z}/\ell ^ n\mathbf{Z}[H]$ is nilpotent. $\square$

Comments (0)

There are also:

4 comment(s) on Section 59.66: Méthode de la trace

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$ ). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Comments (0)

Post a comment