Exercise · ZW-MULTIPLICATIVE-ORDER-003 · ★☆☆ Basic
What condition must \( a \) satisfy for \( \operatorname{ord}_n(a) \) to exist?
Choose one option.
Show answer
- C. \( \gcd(a,n)=1 \)
Explanation
The order exists exactly when \( a \) is invertible modulo \( n \), which is equivalent to \( \gcd(a,n)=1 \). Primality of \( n \) is not required.
Review the concept: Multiplicative order
The multiplicative order of \( a \) modulo \( n \), \( \operatorname{ord}_n(a) \), is the smallest positive exponent that returns \( a \) to the unit class modulo \( n \).
\[\operatorname{ord}_n(a)=\min\{k\ge 1: a^k\equiv 1 \pmod{n}\}\]
More practice problems: multiplicative order
- ZW-MULTIPLICATIVE-ORDER-001 What is the definition of the multiplicative order of a modulo n ?
- ZW-MULTIPLICATIVE-ORDER-002 What is ord_5(4) ?
- ZW-MULTIPLICATIVE-ORDER-004 If ord_n(a)=k and a^m ≡ 1 pmodn , what relation must hold?
- ZW-MULTIPLICATIVE-ORDER-005 What is ord_10(3) ?
- ZW-MULTIPLICATIVE-ORDER-006 Compute ord_9(2) .
- ZW-MULTIPLICATIVE-ORDER-007 If ord_13(a)=6 , what is ord_13(a^2) ?
- ZW-MULTIPLICATIVE-ORDER-008 How is ord_n(a^-1) related to ord_n(a) , when a is invertible modulo n ?
- ZW-MULTIPLICATIVE-ORDER-009 It is claimed that ord_7(a)=ord_7(a^2) for every invertible a . Which value of a disproves the clai…