22/03/09 19:00:21.95 NMYN85ET.net
Michael Artin著『Algebra 2nd Edition』
この本では、二面体群 D_n が <x, y | x^n, y^2, xyxy> と同形であるということは明らかであるという考えですね。
<x_1, …, x_n | r_1, …, r_k> の定義の直後に、
「Thus the dihedral group D_n is isomorphic to the group <x, y | x^n, y^2, x*y*x*y>.」
と書いてあります。