1: \begin{definition}

2: % \label{diw6}

3: % Let $\K$ be a number field and $\K_{\infty}$ be its cyclotomic

4: % $\Z_p$-extension. We say that the (primes above in the) field $\K$ have

5: % \textit{simple ramification} if for all $\sigma_i, i = 2, 3, \ldots, s$

6: % defined in the Theorem \ref{iw6} we have $\sigma_i \in T \rg{A}$. The field

7: % has \textit{property F} if $T \sigma_i = 1$ for all $i$.

8: % 

9: % The module $\Pi := [ I_i : i = 1, 2, 3, \ldots ]_{\Z_p}$ is the

10: % canonic module of $\K$ spanned by the inertias of the primes above $p$ and

11: % \begin{eqnarray}

12: %  \label{ram}

13: % \Pi' = [ a_i : i = 2, 3, \ldots, s ]_{\Z_p} \subset \rg{A},

14: % \end{eqnarray}

15: % is its image in $\rg{A}$: then $\Pi$ is the \textit{ramification module} of

16: % $\K$ and $\Pi'$ is its image in the class group. The field has simple

17: % ramification, if $\Pi' \subset T \rg{A}$. The conjectures of Gross and Leopoldt are strongly related to the assumption $\Pi'(T) \sim \rg{A}[ T ]$.

18: % \end{definition}

19: