Ha = Hb 인지 확인하기 위해서는

1. b 가 coset들을 구성하는 리스트에 있는지 확인한다
[a1, a2,..., aN], [a1a,..., aNa], ...
이것은 coset의 개수 N이라고 하면,
계속해서 유일한 표현을 찾을 때마다 탐색 범위가 N씩 크기가 늘어나서 비효율적인 경우가 있겠네.


2. ba^(-1) 이 H 안에 있는지 확인한다.
이것은 확실히 탐색 범위를 줄이고 발견된 coset 표현 a에 대해서 a^(-1) 를 계산해놓으면 연산을 하는 것으로 탐색 범위를 줄일 수 있을 것 같다.



사실 대수학을 별로 좋아하진 않는데.
직접 그룹의 원소를 계산해보는 건 꽤 재밌는 작업 같고.
어릴때는 못 느꼈던 것들이 느껴지는 기분.