14.01.2013 Views

The Arithmetic of Quaternion Algebra

The Arithmetic of Quaternion Algebra

The Arithmetic of Quaternion Algebra

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

4.1. QUATERNION GROUPS 81<br />

set <strong>of</strong> T in Z, and the projection <strong>of</strong> FT in X contains a fundamental set <strong>of</strong> V<br />

in X. (a) has been deduced.<br />

b) Suppose that T is dense in Z. every point (x, y) ∈ X · Y is the limit <strong>of</strong><br />

a sequence <strong>of</strong> points (v, w) ∈ T . Hence every point x ∈ X is the limit <strong>of</strong> a<br />

sequence <strong>of</strong> points v ∈ V , and V is dense in X.<br />

<strong>The</strong>refore, the theorem is proved.<br />

Definition 4.1. Two subgroups X, Y <strong>of</strong> a group Z are commensurable if their<br />

intersection X ∩ Y is <strong>of</strong> a finite index in X and Y . <strong>The</strong> commensurable degree<br />

<strong>of</strong> X with respect to Y is<br />

<strong>The</strong> commensurator <strong>of</strong> X in Z is<br />

[X : Y ] = [X : (X ∩ Y )][Y : (X ∩ Y )] −1 .<br />

CZ(X) = {x ∈ Z|X and xXx −1 is commensurable}.<br />

Definition 4.2. We call the group ϕ(O 1 ) a quaternion group <strong>of</strong> G 1 . A subgroup<br />

<strong>of</strong> G 1 which is conjugate in G 1 to a commensurable group with a quaternion<br />

group (hence <strong>of</strong> the form ϕ(O 1 ) for an appropriate choice <strong>of</strong> a given K, H, S, ϕ, Ω<br />

) is called an arithmetic group.<br />

We leave the verification <strong>of</strong> the following elementary lemma as an exercise<br />

to readers.<br />

Lemma 4.1.3. Let Z be a locally compact group, X and Y be two subgroups<br />

<strong>of</strong> Z Which are commensurable. <strong>The</strong>refore X is discrete in Z if and only if Y<br />

is discrete in Z. Moreover, X is <strong>of</strong> a finite covolume (resp. cocompact) if and<br />

only if Y is <strong>of</strong> a finite covolume (resp. cocompact). In this case, we have :<br />

vol(Z/X)[X : Y ] = vol(Z/Y ).<br />

EXAMPLE.<br />

A subgroup Y <strong>of</strong> a finite index <strong>of</strong> a group X is commensurable to X. <strong>The</strong><br />

commensurable degree [X : Y ] is the index <strong>of</strong> Y in X. <strong>The</strong> commensurator <strong>of</strong><br />

Y in X is equal to X. For every x ∈ X, we have [X : xY x −1 ] = [x : Y ].<br />

Remark 4.1.4. Takeuchi ([1]-[4]) determined all the arithmetic subgroup <strong>of</strong><br />

SL(2, R) which is triangular, that is to say, it admit a presentation:<br />

Γ =< γ1, γ2, γ3|γ e1<br />

1<br />

= γe2<br />

2<br />

= γe3<br />

3 = γ1γ2γ3 = ∓1 >,<br />

where ei are integers, 2 ≤ ei ≤ ∞. He determined the commensurable class <strong>of</strong><br />

a quaternion group in SL(2, R) too.<br />

Proposition 4.1.5. <strong>The</strong> groups O1 for O ∈ Ω are pairwise commensurable.<br />

<strong>The</strong> commensurator <strong>of</strong> a pair in<br />

G × =<br />

�<br />

GL(2, Kv)<br />

v∈S,v /∈Ram(H)<br />

is equal to Zϕ(H × ), where Z is the center <strong>of</strong> G × .

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!