Abstract:We revisit, in an elementary way, the classical statement of various ``Main Conjectures'' for $p$-class groups $\mathcal{H}_K$ and $p$-ramified torsion groups $\mathcal{T}_K$ of abelian fields $K$, in the non semi-simple case $p \mid [K : \mathbb{Q}]$. The classical ``algebraic'' definition of the $p$-adic isotopic components, $\mathcal{H}^{\rm alg}{K,\varphi}$, used in the literature, is inappropriate with respect to analytical formulas. For that reason we have introduced, in the 1970's, an ``arithmetic'' definition, $\mathcal{H}^{\rm ar}{K,\varphi}$, in perfect correspondence with all analytical formulas and giving a natural ``Main Conjecture'', still unproved for real fields in the non semi-simple case. The two notions coincide for relative class groups $\mathcal{H}_K^-$ and groups $\mathcal{T}_K$ since, in $p$-extensions, transfer maps are injective for these groups but not necessarily for real class groups. Numerical evidence of the gap between the two notions is given (Examples A.2.2, A.2.3) and PARI calculations corroborate that the true Real Main Conjecture for $K$ writes on the form $\# \mathcal{H}^{\rm ar}_{K,\varphi} = \# (\mathcal{E}_K / \hat{\mathcal{E}}_K \, \mathcal{F}_{\!K})_{\varphi}$, in terms of units $\mathcal{E}_K$, $\hat{\mathcal{E}}_K$ (units of the strict subfields) and $\mathcal{F}_K$ (Leopoldt's cyclotomic units). A recent approach, conjecturing the capitulation of $\mathcal{H}_K$ in some auxiliary cyclotomic extensions $K(\mu_\ell^{})$, proves the difficult real case.

p-quotients of the G.Higman group

Irrationality of generic quotient varieties via Bogomolov multipliers

Quotients of the mapping class group by power subgroups

On certain quotients of $p$-class tower groups of quadratic fields

Abelian $p$-groups with a $p$-bounded factor or a $p$-bounded subgroup

$p$-group Galois covers of curves in characteristic $p$ II

A note on the Π-property of some subgroups of finite groups

A note on p-Kähler structures on compact quotients of Lie groups

Explicit $K_2$ of some quotient rings of $\mathbb{Z}[G]$, $G$ an elementary abelian $p$-group

Homology and Derived p-Series of Groups

New characterizations of p-soluble and p-supersoluble finite groups

A note on the $ Π$-property of some subgroups of finite groups

Application of the notion of $Φ$-object to the study of p-class groups and p-ramified torsion groups of abelian extensions

Finite p-Irregular Subgroups of PGL(2,k)

Pro-$p$ Poincaré-Duality groups of infinite rank

On $p$-groups with a maximal elementary abelian normal subgroup of rank $k$

First examples of non-abelian quotients of the Grothendieck-Teichmueller group that receive surjective homomorphisms from the absolute Galois group of rational numbers

Torsion homology and cellular approximation

A note on $p$-Kähler structures on compact quotients of Lie groups

On the Exponent Conjectures

The Torelli group and congruence subgroups of the mapping class group