[일반] Coset 의 곱 질문

[익명(175.223)]

Ha * Hb= Hab
여기서 곱은 곱집합 이런게 아니라
그냥 새로 곱을 정의해 버린거지?

[수갤러 1(110.35)]

그냥 coset이라고만 말하면 곱셈이 아예 정의가 안되고 곱집합도 Hab가 아니라 HaHb로 적어야함 곱집합으로 저게 되는거랑 곱셈 정의가 저렇게 되는건 동치임

[수갤러 2(39.112)]

몫군에서 coset끼리 하는 연산인데?