集合Gが演算οに関して群をなす時、

�@∀a、∀b∈G、aοb=bοa
�A∃a∈G、∀b∈G、aοb=bοa=a 
即ちGに属する適当な要素aは、Gのどんな要素bに対しても、
関係式 aοb=bοa=a を満たす。

�@、�Aの命題が否定される理由をそれぞれ答えよ。