>>785
書き忘れたました
{G-{α,α^(-1),e}の任意の元については
x*α^(-1)≠α*x^(-1)も成り立つ