[PP_nine]

นิยาม สำหรับ $a,n$ ซึ่ง $(a,n)=1$ ให้ $k=ord_na$ คือจำนวนนับน้อยที่สุดซึ่ง $a^k \equiv 1 \pmod{n}$

วิธีการใช้ก็จะมีทฤษฎีบทมากมายครับ เช่น

1. $ord_na | \phi (n)$

2. $ord_na^h=\dfrac{k}{(k,h)}$ เมื่อ $k=ord_na$