Здравствуйте.
Подскажите, пожалуйста, как доказать, что `SL_2(ZZ) = <((0,-1),(1,0)), ((1,1),(0,1))>`.
Не до конца понимаю "на пальцах", что значит группа, порожденная множеством.
Если `a = ((0,-1),(1,0))`, то `a^2 = ((-1,0),(0,-1)), a^3 = ((1,0),(0,1))`
`b=((1,1),(0,1)), b^n = ((1,n),(0,1))`.
Т.е. надо доказать, что любая матрица из `SL_2(ZZ)` представима в виде `\alpha a^k * \beta b^m`?