Skip to main content
fixed typo
Source Link
YCor
  • 63.9k
  • 5
  • 187
  • 286

The maximal infinite cyclic subgroups are of the form you mentioned (to get all infinite cyclic subgroups you also need to include their finite index subgroups). This follows from Theorem 1.4 in Sarnak, Peter, Class numbers of indefinite binary quadratic forms. J. Number Theory 15 (1982), no. 2, 229--247 since the generator of such a subgroup must be a primitive hyperbolic element.

Edited: Oops, I missed that $\mathrm{SL}_2(\mathbb{Z})$ also has infinite cyclic subgroups generated by parabolic elements, but those are also stabilizers of quadratic forms of discriminant $0$ (that is, that are squares)).

The maximal infinite cyclic subgroups are of the form you mentioned (to get all infinite cyclic subgroups you also need to include their finite index subgroups). This follows from Theorem 1.4 in Sarnak, Peter, Class numbers of indefinite binary quadratic forms. J. Number Theory 15 (1982), no. 2, 229--247 since the generator of such a subgroup must be a primitive hyperbolic element.

Edited: Oops, I missed that $\mathrm{SL}_2(\mathbb{Z})$ also has infinite cyclic subgroups generated by parabolic elements, but those are also stabilizers of quadratic forms of discriminant $0$ (that is, that are squares)).

The maximal infinite cyclic subgroups are of the form you mentioned (to get all infinite cyclic subgroups you also need to include their finite index subgroups). This follows from Theorem 1.4 in Sarnak, Peter, Class numbers of indefinite binary quadratic forms. J. Number Theory 15 (1982), no. 2, 229--247 since the generator of such a subgroup must be a primitive hyperbolic element.

Edited: Oops, I missed that $\mathrm{SL}_2(\mathbb{Z})$ also has infinite cyclic subgroups generated by parabolic elements, but those are also stabilizers of quadratic forms of discriminant $0$ (that is, that are squares).

added 228 characters in body
Source Link
Alison Miller
  • 4.3k
  • 1
  • 32
  • 41

The maximal infinite cyclic subgroups are of the form you mentioned (to get all infinite cyclic subgroups you also need to include their finite index subgroups). This follows from Theorem 1.4 in Sarnak, Peter, Class numbers of indefinite binary quadratic forms. J. Number Theory 15 (1982), no. 2, 229--247 since the generator of such a subgroup must be a primitive hyperbolic element.

Edited: Oops, I missed that $\mathrm{SL}_2(\mathbb{Z})$ also has infinite cyclic subgroups generated by parabolic elements, but those are also stabilizers of quadratic forms of discriminant $0$ (that is, that are squares)).

The maximal infinite cyclic subgroups are of the form you mentioned (to get all infinite cyclic subgroups you also need to include their finite index subgroups). This follows from Theorem 1.4 in Sarnak, Peter, Class numbers of indefinite binary quadratic forms. J. Number Theory 15 (1982), no. 2, 229--247 since the generator of such a subgroup must be a primitive hyperbolic element.

The maximal infinite cyclic subgroups are of the form you mentioned (to get all infinite cyclic subgroups you also need to include their finite index subgroups). This follows from Theorem 1.4 in Sarnak, Peter, Class numbers of indefinite binary quadratic forms. J. Number Theory 15 (1982), no. 2, 229--247 since the generator of such a subgroup must be a primitive hyperbolic element.

Edited: Oops, I missed that $\mathrm{SL}_2(\mathbb{Z})$ also has infinite cyclic subgroups generated by parabolic elements, but those are also stabilizers of quadratic forms of discriminant $0$ (that is, that are squares)).

Source Link
Alison Miller
  • 4.3k
  • 1
  • 32
  • 41

The maximal infinite cyclic subgroups are of the form you mentioned (to get all infinite cyclic subgroups you also need to include their finite index subgroups). This follows from Theorem 1.4 in Sarnak, Peter, Class numbers of indefinite binary quadratic forms. J. Number Theory 15 (1982), no. 2, 229--247 since the generator of such a subgroup must be a primitive hyperbolic element.