>>3
(2)のeを"Gの単位元"といい、他の群のものと区別する場合は1_Gなどとも書く。
(3)のa^(-1)を"aの逆元"という。