Exercise 8.7

Suppose that p 1 ( mod 4 ) and that χ is a character of order 4. Then χ 2 = ρ and J ( χ , χ ) = χ ( 1 ) J ( χ , ρ ) . [Hint: Evaluate g ( χ ) 4 in two ways.]

Answers

Proof. As χ is a character of order 4, χ 2 is a character of order 2, and ρ (Legendre’s character) is the unique character of order 2, so χ 2 = ρ .

From Prop. 8.3.3 we have

g ( χ ) 4 = χ ( 1 ) pJ ( χ , χ ) J ( χ , χ 2 ) = χ ( 1 ) pJ ( χ , χ ) J ( χ , ρ ) .

Squaring the result of Ex. 8.5, we obtain

g ( χ ) 4 = χ ( 2 ) 4 J ( χ , ρ ) 2 [ g ( χ 2 ) ] 2 .

Moreover χ ( 2 4 ) = χ 4 ( 2 ) = 𝜀 ( 2 ) = 1 , and g ( χ 2 ) = g ( ρ ) = g , so [ g ( χ 2 ) ] 2 = g 2 = ( 1 ) ( p 1 ) 2 p = p (From Prop. 6.3.2 and p 1 ( mod 4 ) ) .

Equating these two results, we obtain

χ ( 1 ) pJ ( χ , χ ) J ( χ , ρ ) = J ( χ , ρ ) 2 p .

As g ( χ ) 4 0 since | g ( χ ) | 2 = p , we have J ( χ , ρ ) 0 , so

χ ( 1 ) J ( χ , χ ) = J ( χ , ρ ) .

[ χ ( 1 ) ] 2 = χ ( ( 1 ) 2 ) = χ ( 1 ) = 1 , so χ ( 1 ) = ± 1 , and χ ( 1 ) 1 = χ ( 1 ) , thus

J ( χ , χ ) = χ ( 1 ) J ( χ , ρ ) .

User profile picture
2022-07-19 00:00
Comments