On the catenarity of virtually nilpotent mod-p Iwasawa algebras

DOI10.1007/S11856-020-2022-ZMaRDI QIDQ2200045zbMATH OpenOpenAlexFDO

Authors William Woods

Publication date 15 September 2020

Published in Israel Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1708.06143

zbMATH Keywords

catenary ringnilpotent mod-\(p\) Iwasawa algebras

Mathematics Subject Classification ID

Ideals in associative algebras (16D25) Chain conditions on other classes of submodules, ideals, subrings, etc.; coherence (associative rings and algebras) (16P70) Group rings (16S34) Group rings of infinite groups and their modules (group-theoretic aspects) (20C07)

Abstract: Let $p>2$ be a prime, $k$ a finite field of characteristic $p$, and $G$ a nilpotent-by-finite compact $p$-adic analytic group. Write $kG$ for the completed group ring of $G$ over $k$. We show that $kG$ is a catenary ring.

Review text

Let \(p\) be a prime, \(k\) be a commutative pseudocompact ring (e.g., \(\mathbb{Z}_p\) or \(\mathbb{F}_p\)). Let \(G\) be a compact \(p\)-adic Lie group. The completed group algebra is defined to be \[ kG:=\varprojlim_{N\unlhd G}\, k[G/N], \] where the inverse limit ranges over all open normal subgroups \(N\) of \(G\), and \(k[G/N]\) denotes the ordinary group algebra of the (finite) group \(G/N\) over \(k\). This ring is closely related continuous \(k\)-representations of \(G\) (which has the profinite topology). When \(k=\mathbb{F}_p, \mathbb{Z}_p\) or related rings, this is often called the Iwasawa algebra of \(G\). \textit{K. Ardakov} and \textit{K. A. Brown} [Doc. Math. Extra Vol., 7--33 (2007; Zbl 1125.16011)] proposed a number of questions regarding the two-sided ideal structure of mod-\(p\) Iwasawa algebra \(kG\). Several of these have now been answered or partially answered, but most of them remain open. One key task is to improve our understanding of the prime ideal structure of the mod-\(p\) Iwasawa algebra \(kG\), which would have profound consequences for the representation theory of compact \(p\)-adic Lie groups, see [\textit{K. Ardakov} and \textit{S. Wadsley}, Ann. Math. (2) 178, No. 2, 453--557 (2013; Zbl 1273.22014); Represent. Theory 20, 128--138 (2016; Zbl 1397.22013)]. Recall that a ring \(R\) is said to be catenary if any two maximal chains of prime ideals with common endpoints have the same length, i.e., whenever \[ P =P_1\lneq P_2 \lneq \cdots \lneq P_r=P^\prime, \] \[ P=Q_1\lneq Q_2 \lneq \cdots \lneq Q_s=P^\prime. \] are two chains of prime ideals of \(R\) which can not be refined further, we have that \(r=s\). The author of this article under review is to take important steps towards understanding the prime ideals of \(kG\). More precisely, Let \(p>2\) be a prime, \(k\) a finite field of characteristic \(p\), and \(G\) a nilpotent-by-finite compact \(p\)-adic analytic group. It is shown that \(kG\) is a catenary ring. The principal technique the author adopt was developed by \textit{K. Ardakov} [Invent. Math. 190, No. 2, 439--503 (2012; Zbl 1263.16026)].

Recommendations

• Completed group algebras of abelian-by-procyclic groups
• Prime ideals in noncommutative Iwasawa algebras
• Non-existence of reflexive ideals in Iwasawa algebras of Chevalley type.
• Extensions of almost faithful prime ideals in virtually nilpotent mod-p Iwasawa algebras
• Coherence of augmented Iwasawa algebras
• Algebraic \(p\)-adic \(L\)-functions in non-commutative Iwasawa theory
• Reflexive ideals in Iwasawa algebras.
• Krull dimension of Iwasawa algebras.
• Normal elements in the mod-\(p\) Iwasawa algebra over \(\mathrm{SL}_n(\mathbb{Z}_p)\): a computational approach
• Reflexive ideals and completely faithful modules of Iwasawa algebras

Cites work

• \(p\)-adic analytic groups
• Banach space representations and Iwasawa theory
• Dimension de krull et codeviation. Application au theoreme d'eakin
• Extensions of almost faithful prime ideals in virtually nilpotent mod-p Iwasawa algebras
• Homological properties of quantized coordinate rings of semisimple groups
• Homology
• scientific article; zbMATH DE number 2123131 (Why is no real title available?)
• scientific article; zbMATH DE number 3732260 (Why is no real title available?)
• scientific article; zbMATH DE number 42273 (Why is no real title available?)
• scientific article; zbMATH DE number 1339096 (Why is no real title available?)
• LOCALISATION AT AUGMENTATION IDEALS IN IWASAWA ALGEBRAS
• Locally analytic distributions and \(p\)-adic representation theory, with applications to \(\text{GL}_{2}\)
• Maximal prime homomorphic images of mod-p Iwasawa algebras
• Noncommutative Noetherian rings. With the cooperation of L. W. Small.
• On the spectra of quantum groups.
• On the structure of virtually nilpotent compact p-adic analytic groups
• Polycyclic-by-finite group algebras are catenary
• Prime Ideals in Group Algebras OE Polycyclic-by-Finite Groups
• Prime Ideals in Group Rings of Polycyclic Groups
• Prime ideals in nilpotent Iwasawa algebras.
• Prime ideals of \(q\)-commutative power series rings.
• Primeness, semiprimeness and localisation in Iwasawa algebras
• The structure of modules over polycyclic groups

Cited in

(5)

• \(\Gamma\)-invariant ideals in Iwasawa algebras.
• Polycyclic-by-finite group algebras are catenary
• Extensions of almost faithful prime ideals in virtually nilpotent mod-p Iwasawa algebras
• Primeness, semiprimeness and localisation in Iwasawa algebras
• Maximal prime homomorphic images of mod-p Iwasawa algebras

This page was built for publication: On the catenarity of virtually nilpotent mod-\(p\) Iwasawa algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2200045)