군 G의 부분집합 H가 1) G의 이항연산에 대해서 닫혀있다. 2) H의 모든 원소 a에 대해서 a의 역원이 H에 존재한다


이게 부분군의 정의가 안되는 이유를 설명하는 문제인데 문제 없는거 아님? 저 진술에서는 이미 G가 군이라고 했으므로 G의 항등원이 존재한다는걸 내포한다는거잖음