sl(2,Z)は((0,1),(1,0))と((1,1),(0,1))で生成される群。シコシコ