${\mathsf{\text{𝗈𝗋𝖽}}}_{𝔽}(𝐚)$: For $a\in {𝔽}^{\times }$ (a finite field, §A-3.1), $a$’s order is the smallest positive integer $k$ such that $a^k=1$.