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.

Extension of Elementary $P$-Groups and Its Application in Classification of Groups of Prime Exponent

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

On the $p$-ranks of class groups of certain Galois extensions

On the Exponent Conjectures

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

Regular Cayley Maps of Elementary abelian $p$-groups: Classification and Enumeration

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

Classification of the Prime Graphs of $\operatorname{Sz}(8)$-, $\operatorname{Sz}(32)$-, and $\operatorname{PSL}(2, 2^5)$-Solvable Groups

Elementary abelian subgroups: from algebraic groups to finite groups

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

On conjugacy class sizes and character degrees of finite groups

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

The unitary subgroups of group algebras of a class of finite $2$-groups with derived subgroup of order $2$

Finite groups in which every irreducible character has either $p'$-degree or $p'$-codegree

Prime power coverings of groups

The unitary subgroups of group algebras for a class of finite 2-groups with the derived subgroup of order 2

Recognizing Finite Groups Through Order and Degree Patterns

On the p-primary subgroups of the cohomology of the classifying spaces of PUn

Faster Isomorphism for $p$-Groups of Class 2 and Exponent $p$

Some Primitive Linear Groups of Prime Degree

Relative $p$-class groups and $p$-Selmer groups