Abstract:We give, in Sections 2 and 3, an english translation of: {\it Classes généralisées invariantes}, J. Math. Soc. Japan, 46, 3 (1994), with some improvements and with notations and definitions in accordance with our book: {\it Class Field Theory: from theory to practice}, SMM, Springer-Verlag, $2^{\rm nd}$ corrected printing 2005. We recall, in Section 4, some structure theorems for finite $\mathbb{Z}_p[G]$-modules ($G \simeq \mathbb{Z}/p\,\mathbb{Z}$) obtained in: {\it Sur les $\ell$-classes d'idéaux dans les extensions cycliques relatives de degré premier $\ell$}, Annales de l'Institut Fourier, 23, 3 (1973). Then we recall the algorithm of local normic computations which allows to obtain the order and (potentially) the structure of a $p$-class group in a cyclic extension of degree $p$. In Section 5, we apply this to the study of the structure of relative $p$-class groups of Abelian extensions of prime to $p$ degree, using the Thaine--Ribet--Mazur--Wiles--Kolyvagin "principal theorem", and the notion of "admissible sets of prime numbers" in a cyclic extension of degree $p$, from: {\it Sur la structure des groupes de classes relatives}, Annales de l'Institut Fourier, 43, 1 (1993). In conclusion, we suggest the study, in the same spirit, of some deep invariants attached to the $p$-ramification theory (as dual form of non-ramification theory) and which have become standard in a $p$-adic framework. Since some of these techniques have often been rediscovered, we give a substantial (but certainly incomplete) bibliography which may be used to have a broad view on the subject.

Groups of Order p4 as Additive Groups of Local Nearrings

Lower bounds for the number of local nearrings on groups of order $p^3$

Relative (pa,pb,pa,pa-b)-difference sets in p-subgroups of SL(n,K)

Distribution and Generalized Center in Planar Nearrings

Frobenius Local Rings of Order p4m

On the structure of finite groups determined by the arithmetic and geometric means of element orders

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

Neat locally compact abelian p-groups

On zero-symmetric nearrings with identity whose additive groups are simple

On $p$-groups with automorphism groups related to the Chevalley group $G_2(p)$

p-Nilpotent maximal subgroups in finite groups

Normalizer decompositions of p-local compact groups

On separable abelian $p$-groups

A class of finite $p$-groups and the normalized unit groups of group algebras

On the Norms of p-Nilpotent Residuals of Subgroups in a Finite Group

Computing the 2-nilpotent multiplier of 2-generator p-groups of class 2

Difference sets disjoint from a subgroup II: groups of order $4p^2$

Some Sufficient Conditions of P-Nilpotent Groups and P-Closed Groups

Invariant generalized ideal classes -- structure theorems for p-class groups in p-extensions

Rings where a non-nilpotent sum of units is a unit

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