Miller Rabin Test Beweis

Question

Aufgabe:

Ich wollte ein Teil von einem Beweis von Miller Rabin Primzahltest umschreiben ist das wie auf dem Bild richtig?

Problem/Ansatz:

Text erkannt:

\( \underset{\uparrow}{o}\left(\bar{a}^{d}\right)=2^{l} \) mit \( l \in\{0, \ldots, s\} \). Selbet wie:
\( l:=\min \left\{s \mid\left(a^{d}\right)^{2 l} \equiv 1 \bmod n\right\} \leqslant s \)

Comments

o soll die Ordnung darstellen