유한체 (순환군) 의 곱셈군 구조