＜σ^3＞×＜σ^3τ＞
= { e , σ^3 }×{ e , σ^3τ }
= { e , σ^3 , σ^3τ , τ }
= H1
＜σ^3＞×＜σ^4τ＞
= { e , σ^3 }×{ e , σ^4τ }
= { e , σ^3 , σ^4τ , στ }
= H2
＜σ^3＞×＜σ^5τ＞
= { e , σ^3 }×{ e , σ^5τ }
= { e , σ^3 , σ^5τ , σ^2τ }
= H3
＜τ＞×＜τ＞
= { e , τ }×{ e , τ }
= { e , τ } : 除外
＜τ＞×＜στ＞
= { e , τ }×{ e , στ }
= { e , τ , στ , τστ }
= { e , τ , στ , σ^5 } : sub group
ではない！
＜τ＞×＜σ^2τ＞
= { e , τ }×{ e , σ^2τ }
= { e , τ , σ^2τ , τσ^2τ }
= { e , τ , σ^2τ , σ^4 } : sub group
ではない！
・・・・・・・