Exercise 2.8.5 (Elements of order $2$)

Let p be an odd prime. Prove that a belongs to the exponent 2 modulo p if and only if a ≡ − 1 ( mod p ) .

Answers

Proof. If the order of a is 2 , then a 2 ≡ 1 ( m o d p ) , and a ≢ 1 ( m o d p ) . Therefore p ∣ ( a 2 − 1 ) = ( a − 1 ) ( a + 1 ) . Since p is prime, p ∣ a − 1 or p ∣ a + 1 , so a ≡ ± 1 ( m o d p ) . Since p ≢ 1 ( m o d p ) , a ≡ − 1 ( m o d p ) .

Conversely, if a ≡ − 1 ( m o d p ) , then a 2 ≡ 1 ( m o d p ) , and a ≢ 1 ( m o d p ) , thus the order of a modulo p is 2 .

User profile picture
2024-09-11 09:56
Comments