For an arbitrary finite Galois $p$-extension $L/K$ of $\zp$-cyclotomic number fields of $\CM$-type with Galois group $G = \Gal(L/K)$ such that the Iwasawa invariants $\mu_K^-$, $ \mu_L^-$ are zero, we obtain unconditionally and explicitly the Galois module structure of $\clases$, the minus part of the $p$-subgroup of the class group of $L$. For an arbitrary finite Galois $p$-extension $L/K$ of algebraic function fields of one variable over an algebraically closed field $k$ of characteristic $p$ as its exact field of constants with Galois group $G = \Gal(L/K)$ we obtain unconditionally and explicitly the Galois module structure of the $p$-torsion part of the Jacobian variety $J_L(p)$ associated to $L/k$.

Let $N/K$ be a biquadratic extension of algebraic number fields, and $G=\Gal (N/K)$. Under a weak restriction on the ramification filtration associated with each prime of $K$ above $2$, we explicitly describe the $\bZ[G]$-module structure of each ambiguous ideal of $N$. We find under this restriction that in the representation of each ambiguous ideal as a $\bZ[G]$-module, the exponent (or multiplicity) of each indecomposable module is determined by the invariants of ramification, alone. For a given group, $G$, define ${\cal S}_G$ to be the set of indecomposable $\bZ[G]$-modules, ${\cal M}$, such that there is an extension, $N/K$, for which $G\cong\Gal (N/K)$, and ${\cal M}$ is a $\bZ[G]$-module summand of an ambiguous ideal of $N$. Can ${\cal S}_G$ ever be infinite? In this paper we answer this question of Chinburg in the affirmative.

Let $L/K$ be a finite Galois extension of local fields which are finite extensions of $\bQ_p$, the field of $p$-adic numbers. Let $\Gal (L/K)=G$, and $\euO_L$ and $\bZ_p$ be the rings of integers in $L$ and $\bQ_p$, respectively. And let $\euP_L$ denote the maximal ideal of $\euO_L$. We determine, explicitly in terms of specific indecomposable $\bZ_p[G]$-modules, the $\bZ_p[G]$-module structure of $\euO_L$ and $\euP_L$, for $L$, a composite of two arithmetically disjoint, ramified cyclic extensions of $K$, one of which is only weakly ramified in the sense of Erez \cite{erez}.