Code:
\begin{satz}[Pracher, Odlyzko, Pomerance]
Es exisitert eine effektiv berechenbare positive Konstante $c$,
so dass $\forall n > e^e$ ein $t = \lambda(s)$ exisitiert
mit $s < \sqrt{n}$ und folgende Eigenschaft hat :
\begin{equation}
t < ( \log n)^{c \cdot \log \log \log n}.
\end{equation}
\end{satz}
\begin{satz}
Sei ${\bf R}$ ein Ring, $\mm_{\geq 1}$ und $\z \in {\bf R}$ sei eine primitive
$m$-te Einheitswurzel. Dann ist $\z^{-1}$ ebenfalls eine primitive $m$-te
Einheitswurzel und $V_\z \cdot V_{\z ^ {-1}} = m I$,
wobei $I$ die $m\times m$-Einheitsmatrix ist.
\end{satz}
Ich hätte gern folgende Nummerierung: Satz (1), Gleichung (2), Satz (3) ...
ok ?!
#50
Lesezeichen