二面体群。
证明.设"w"是用"H"和"H"的元素写出的非空简约字。若formula_7，其中formula_8，formula_9，则故formula_11。同上得formula_12。若"H"和"H"的阶不都等于2，不失一般性，假设formula_13。若formula_14，取formula_15，则formula_16，故由上可知得formula_11。若formula_19，取formula_20，则formula_21，同上可得formula_22，故formul