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

From Groupprops
Jump to: navigation, search
Line 22: Line 22:
 
==Arithmetic functions==
 
==Arithmetic functions==
  
{| class="wikitable" border="1"
+
{| class="sortable" border="1"
 
! Function !! Value !! Explanation
 
! Function !! Value !! Explanation
 
|-
 
|-
| [[order of a group|order]] || infinite (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 &  \\ 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 (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]].
 
|}
 
|}
  
 
==GAP implementation==
 
==GAP implementation==
  
The group can be defined using GAP's [[GAP:SpecialLinearGroup|SpecialLinearGroup]] as:
+
{| class="sortable" border="1"
 
+
! Description !! Functions used
<pre>SL(2,Integers)</pre>
+
|-
 +
| <tt>SL(2,Integers)</tt> || [[GAP:SL|SL]], [[GAP:Integers|Integers]]
 +
|}

Revision as of 00:31, 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 Explanation
order infinite (countable) The group is infinite because, for instance, it contains all matrices of the form \begin{pmatrix} 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.

GAP implementation

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