>>591
M = Q − {0}, a●b = |a|・b
なら群にならないのでは