>>372
位数も群構造も決定できる。
A_n, B_1, B_2 で生成された群は
A_n, B_1, B_1*B_2 = 180度回転で生成された群に一致するから、
n が偶数なら B_1*B_2 = (A_n)^(n/2)
n が奇数なら A_(2n), B_1 で生成され、
いずれにしても二面体群になるので、正しい。