Difference between revisions of "Special linear group:SL(2,Z)"

From Groupprops
Jump to: navigation, search
(Arithmetic functions)
(Arithmetic functions)
Line 23: Line 23:
  
 
{| class="sortable" border="1"
 
{| class="sortable" border="1"
! Function !! Value !! Explanation
+
! Function !! Value !! Similar groups !! Explanation
 
|-
 
|-
| [[order of a group|order]] || infinite (countable) || The group is infinite because, for instance, it contains all matrices of the form <math>\begin{pmatrix} 1 &  1 \\ 0 & 1 \\\end{pmatrix}</math> for <math>a \in \mathbb{Z}</math>. <br>As a set, the group is contained in the set of all <math>2 \times 2</math> matrices over <math>\mathbb{Z}</math>. This can be identified with <math>\mathbb{Z}^4</math>, which is countable since <math>\mathbb{Z}</math> is countable. Thus, <math>SL(2,\mathbb{Z})</math> is also countable.
+
| [[order of a group|order]] || infinite (countable) || ||The group is infinite because, for instance, it contains all matrices of the form <math>\begin{pmatrix} 1 &  1 \\ 0 & 1 \\\end{pmatrix}</math> for <math>a \in \mathbb{Z}</math>. <br>As a set, the group is contained in the set of all <math>2 \times 2</math> matrices over <math>\mathbb{Z}</math>. This can be identified with <math>\mathbb{Z}^4</math>, which is countable since <math>\mathbb{Z}</math> is countable. Thus, <math>SL(2,\mathbb{Z})</math> is also countable.
 
|-
 
|-
| [[exponent of a group|exponent]] || infinite || The group contains the element <math>\begin{pmatrix} 1 & 1 \\ 0 & 1 \\\end{pmatrix}</math>, which has infinite [[order of an element|order]].
+
| [[exponent of a group|exponent]] || infinite || || The group contains the element <math>\begin{pmatrix} 1 & 1 \\ 0 & 1 \\\end{pmatrix}</math>, which has infinite [[order of an element|order]].
 +
|-
 +
| {{arithmetic function value|minimum size of generating set|2}} || Follows from [[elementary matrices of the first kind generate the special linear group over a Euclidean ring]], so <math>SL(2,\mathbb{Z})</math> is generated by all matrices of the form <math>\begin{pmatrix} 1 & a \\ 0 & 1 \\\end{pmatrix}</math> and <math>1 & 0 \\ b & 1 \\\end{pmatrix}</math> with <math>a,b</math> varying over <math>\mathbb{Z}</math>. By the fact that the additive group of <math>\mathbb{Z}</math> is cyclic, all these matrices are generated by <math>\begin{pmatrix} 1 & 1 \\ 0 & 1 \\\end{pmatrix}</math> and <math>\begin{pmatrix} 1 & 0 \\ 1 & 1 \\\end{pmatrix}</math>.
 +
|-
 +
| [[subgroup rank]] || infinite (countable) || || <math>SL(2,\mathbb{Z})</math> has a subgroup that is isomorphic to [[free group:F2]] (see [[Sanov subgroup in SL(2,Z) is free of rank two]]). This in turn has free subgroups of countable rank.
 
|}
 
|}
  

Revision as of 00:42, 11 August 2012

This article is about a particular group, i.e., a group unique upto isomorphism. View specific information (such as linear representation theory, subgroup structure) about this group
View a complete list of particular groups (this is a very huge list!)[SHOW MORE]

Definition

The group SL(2,\mathbb{Z}) is defined as the group, under matrix multiplication, of 2 \times 2 matrices over \mathbb{Z}, the ring of integers, having determinant 1.

In other words, it is the group with underlying set:

\left \{ \begin{pmatrix} a & b \\ c & d \\\end{pmatrix} \mid a,b,c,d \in \mathbb{Z}, ad - bc = 1 \right \}

This is the degree two case of a special linear group over integers and hence of a special linear group. It is also a special case of a special linear group of degree two.

The group also has the following equivalent descriptions:

Structures

Thinking of SL(2,\mathbb{Z}) as a group of matrices, we see that it is an example of an arithmetic group.

Arithmetic functions

Function Value Similar groups Explanation
order infinite (countable) The group is infinite because, for instance, it contains all matrices of the form \begin{pmatrix} 1 &  1 \\ 0 & 1 \\\end{pmatrix} for a \in \mathbb{Z}.
As a set, the group is contained in the set of all 2 \times 2 matrices over \mathbb{Z}. This can be identified with \mathbb{Z}^4, which is countable since \mathbb{Z} is countable. Thus, SL(2,\mathbb{Z}) is also countable.
exponent infinite The group contains the element \begin{pmatrix} 1 & 1 \\ 0 & 1 \\\end{pmatrix}, which has infinite order.
minimum size of generating set 2 Follows from elementary matrices of the first kind generate the special linear group over a Euclidean ring, so SL(2,\mathbb{Z}) is generated by all matrices of the form \begin{pmatrix} 1 & a \\ 0 & 1 \\\end{pmatrix} and Failed to parse (syntax error): 1 & 0 \\ b & 1 \\\end{pmatrix} with a,b varying over \mathbb{Z}. By the fact that the additive group of \mathbb{Z} is cyclic, all these matrices are generated by \begin{pmatrix} 1 & 1 \\ 0 & 1 \\\end{pmatrix} and \begin{pmatrix} 1 & 0 \\ 1 & 1 \\\end{pmatrix}.
subgroup rank infinite (countable) SL(2,\mathbb{Z}) has a subgroup that is isomorphic to free group:F2 (see Sanov subgroup in SL(2,Z) is free of rank two). This in turn has free subgroups of countable rank.

GAP implementation

Description Functions used
SL(2,Integers) SL, Integers