Prova de Lucas-Lehmer per a nombres de Mersenne: diferència entre les revisions

Contingut suprimit Contingut afegit
m Corregit: com a ara el > com ara el
m Corregit: es compost > és compost
Línia 115:
\end{array}</math>
 
Ara se suposa que ''M''<sub>''p''</sub> esés compost amb un factor primer no trivial ''q''&nbsp;>&nbsp;2 (tots els nombres de Mersenne són senars). Es defineix el conjunt <math>X = \{a + b\sqrt{3} | a, b \in \mathbb{Z}_q\}</math> amb ''q''<sup>2</sup> elements, on <math>\mathbb{Z}_q</math> són els enters mòdul ''q'', un [[cos finit]]. L'operació multiplicació en ''X'' es defineix per:
 
:<math>(a + b\sqrt{3})(c + d\sqrt{3}) = [(ac + 3bd) \hbox{ mod } q] + [(bc + ad) \hbox{ mod } q]\sqrt{3}</math>.