THE GROUPS OF TWO BY TWO MATRICES IN DOUBLE AND
DUAL NUMBERS AND ASSOCIATED MÖBIUS TRANSFORMATIONS

arXiv:1707.01349v1 [] 3 Jul 2017

KHAWLAH A. MUSTAFA

Abstract. Möbius Transformations have been studied over the field of complex numbers. In this paper, we investigate Möbius Transformations over two rings which are not
fields (the ring of double numbers and the ring of dual numbers). After that, we give
types of continuous one-parameter subgroups of GL2 (O), SL2 (O), GL2 (D) and SL2 (D).
Keywords: Projective lines, general linear group, one-parameter subgroups.

1. introduction
We start from a review of Möbius transformation, see [22, Ch.9] for a comprehensive
presentation. Let K be a field of real or complex numbers. Let ∼ be an equivalent relation
on K2 \{(0, 0)} defined as follows: (z1 , z2 )∼(z3 , z4 ) if and only if there exists a non-zero
number u ∈ K such that z1 = uz3 and z2 = uz4 . The set of all equivalent classes K 2 /∼
2
is called the projective line over K. denoted by
 K
 /∼ and denoted by P(K). The point of
x
the projective line corresponding to a vector
is denoted by [x : y]. There is a natural
y
embedding x 7→ [x : 1] of the field K to the projective line. The only point, [1 : 0], not
covered by this embedding is associated with infinity (ideal element) [3; 15, Ch.8; 17; 23].
2
 A linear
 transformation of K can be represented by multiplication of 2 × 2−matrices
a b
to two-dimensional vectors. The transformation is not degenerate (invertible) if
c d


a b
ad − bc 6= 0. The collection of all 2 × 2−matrices, A =
such that ad − bc 6= 0,
c d


a b
is a group denoted by GL2 (K). The collection of all 2 × 2−matrices, A =
such
c d
that ad − bc = 1, is denoted by SL2 (K), which is a subgroup of GL2 (K). A linear map
K2 → K2 is a class invariant for ∼. Thereby, the linear transformation of K2 produces
the map P(K) → P(K) as follows:


a b
[x : y] = [ax + by : cx + dy], ad − bc 6= 0,
c d




a b
ua ub
where a, b, c, d ∈ K. For any u 6= 0,
and
define the same map of P(K).
c d
uc ud


a b
In other words, for all A =
∈ GL2 (K), such that ad − bc > 0 for K = R and
c d


a b
1
′
√
ad − bc 6= 0 for K = C, there is A =
∈ SL2 (K) such that both A, A′
det(A)
c d
define the same map. This map is called a K−Möbius map. It is clear that P(K) equals
Date: July 6, 2017.
1

to the orbit of [1 : 0] with respect to SL2 (K). Which means SL2 (K) acts transitively on
P(K).


a b
If cx + dy 6= 0 then the map
: [x : 1] → [ax + b : cx + d]∼[ ax+b
: 1] can be
cx+d
c d
[15, Ch.2; 16; 17]. In the following, this formula will be used
abbreviated to g(z) = az+b
cz+d
as a notation for more accurate discussion in terms of the projective line.
2
2
2
Given a Möbius map
 g,tr (g) is defined to be tr (g) = (a+d) , where the representative
a b
matrix of g is A =
in SL2 (K).
c d
Suppose
p that g is not the identity map. Then, eigenvalues of A are solutions λ1,2 =
d + a ∓ (d + a)2 − 4
of the quadratic characteristic equation with (a + d) = tr2 A being
2
 
x
the principal part of the discriminant. An eigenvector
of A corresponds to a fixed
y
point [x : y] of g. Then we can classify Möbius maps through eigenvalues of A.
(1) A has two different complex-conjugated eigenvalues if and only if 0 ≤ tr2 (g) < 4.
That means, g fixes two distinct complex-conjugated points in P(C) and fixes no
point in P(R). Such a map is called elliptic.
(2) A has a double eigenvalue if and only if tr2 (g) = 4. That means, g fixes a double
point. Such a map is called parabolic.
(3) A has two distinct real eigenvalues if and only if tr2 (g) > 4. That means, g fixes
two distinct points. Such a map is called hyperbolic.
(4) For K = C, there is an extra class as follows. A has two distinct non-real eigenvalues if and only p
if tr2 (g) ∈
/ [0, ∞). In other words, A has two distinct complex
2
eigenvalues if Im( tr (g)) 6= 0. That means, g fixes two distinct complex points.
Such a map is called strictly loxodromic.

The last type of transformation is not possible for K = R. The class, which contains
the classes of hyperbolic and strictly loxodromic maps, is called the class of loxodromic
maps.
Obviously, SL2 (C) is the disjoint union of {I} and the above four classes ( parabolic,
elliptic, hyperbolic and strictly loxodromic) of maps. SL2 (R), which is a subgroup of
SL2 (C), splits into the disjoint union of {I} and the three classes of parabolic, elliptic
and hyperbolic maps. It is important that a continuous one-parameter subgroups of
SL2 (K) consist only of maps of the same type [2, Ch.4; 6; 15, Ch.3].
The purpose of this paper is to expand these ideas for a wider setting. A double (dual)
numbers form a two-dimensional commutative algebra over R spanned by 1 and j (ǫ) such
that j 2 = 1 (ǫ2 = 0) respectively [15, App.A1; 21]. The set of all double (dual) numbers
is denoted by O (D) respectively. It is known that any two-dimensional commutative
algebra over R is isomorphic to either C, D or O [5; 15, App.A1]. D and O are interesting
complements to the field C because they contain nilpotent (idempotent) elements and are
the simplest models for more complicated rings. Our main aim is to investigate Möbius
transformation over these two commutative algebras over R. Furthermore, some of our
results are true for a general ring R.
Let A be a ring of complex, double or dual numbers. Let ∼ be an equivalent relation
on A2 \{(0, 0)} defined as follows: (z1 , z2 )∼(z3 , z4 ) if and only if there exists a unit (an
invertible element) u ∈ A such that z1 = uz3 and z2 = uz4 . The set of all equivalent
2

 
x
classes is denoted by A /∼. The point of A /∼ corresponding to a vector
is denoted
y
by [x : y]. Thereby, A/∼ contains the following two types of equivalent classes.
(1) [x : y], such that xA + yA = A.
(2) [x : y], such that xA + yA 6= A.
Equivalent classes of the first type are points of the projective line over A which is
denoted by P(A). There is a natural embedding r : x 7→ [x : 1] of the A to the projective
line. For O and D, P(A)\r(A) has more than one ideal element [24, Suppl.C].
2
 A linear
 transformation of A can be represented by multiplication of 2 × 2−matrices
a b
to two-dimensional vectors. The transformation is not degenerate if ad − bc is
c d


a b
a unit in A. The collection of all 2 × 2−matrices, A =
, such that ad − bc is a
c d


a b
unit, is a group denoted by GL2 (A). The collection of all 2 × 2−matrices, A =
c d
such that ad − bc = 1, is a group denoted by SL2 (A), which is a subgroup of GL2 (A). A
linear map A2 → A2 is a class invariant for ∼. Thereby, the linear transformation of A2
produces the map A2 /∼ → A2 /∼ as follows:




a b
a b
[x : y] = [ax + by : cx + dy],
(1)
∈ GL2 (A).
c d
c d




a b
ua ub
For any unit u ∈ A,
and
define the same map (1) [15, Ch.3]. This
c d
uc ud
map is called an A−Möbius map. Recall that, K/∼ is only one GL2 (K)−orbit. In
contrast, A/∼ has more than one GL2 (A)−orbit. GL2 (K) and SL2 (K) have the same
number of types of non-equivalent connected continuous one-parameter subgroups. While
the number of types of non-equivalent connected continuous one-parameter subgroups of
GL2 (A) and SL2 (A) are different for A = D.
Here, we consider the following four questions:
(1) How many GL2 (A)−orbits does A2 /∼ have?
(2) Is there a useful classification of A−Möbius map based on fixed points?
(3) How many types of continuous one-parameter subgroups does GL2 (A) have?
(4) Do we lose any type of continuous one-parameter subgroups when we move from
GL2 (A) to SL2 (A)?
A wider context for our work is provided by the Erlangen programme of F. Klein, cf. [14,
15]. Similarly to the case of SL2 (R) [11, 13, 15], we want to characterise all non-equivalent
homogeneous spaces G/H, where G is one of the groups GL2 (O), GL2 (D), SL2 (O),
SL2 (D) and H is a closed continuous subgroup of G. The natural action of G on a
homogeneous space G/H is geometrically represented by Möbius transformations. The
respective conformal geometry is intimately connected with various physical models [12;
15; 18; 24, Suppl.C]. Geometrical language provides a enlightening environment for many
related questions, e.g. continued fractions [8], analytic functions [7, 8], spectral theory [9,
10, 14], etc.
This paper presents just first steps towards a classification of geometries associated to
groups GL2 (O) and GL2 (D). Further results shall be published elsewhere. Our study
prompts a conclusion that Möbius transformations of O and D have many similarities to
2

2

3

Möbius transformations of R [15] rather than C. This is essentially due to the fact, O and
D are not algebraically closed. In particular square root, that is solution of x2 − u = 0,
does not exist.
The outline of the paper is as follows.
In the next section, we provide preliminary material about the rings of double and dual
numbers.
In the third section, we defined general linear groups GL2 (A). Proposition 3.8 (proposition 3.10) gives the complete picture of the projective line over the ring of double (dual)
numbers respectively.
In the fourth section, we defined Möbius transformations over P(A). Lemma 4.6 proves
that SL2 (A) acts transitively on P(A). Proposition 4.7 (4.11) shows that the action of
GL2 (O) (GL2 (D)) over O2 /∼ (D2 /∼) has more than one orbits respectively.
In the last section, relying on the four types of continuous one-parameter subgroups of
SL2 (R), we built, up to similarity and rescaling, the different types of continuous oneparameter subgroups of GL2 (O), SL2 (O), GL2 (D) and SL2 (D). Proposition 5.9 gives the
equation of the orbit of an arbitrary element in P(O) with respect to one of the continuous
one-parameter subgroups of SL2 (O). Proposition 5.16 gives the equation of the orbit of an
arbitrary element in P(D) with respect to one of the connected continuous one-parameter
subgroups of GL2 (D).
2. Preliminaries
We follow the basic notation and terminology on algebraic structures like rings, ideals,
etc. of [1, 20], to which the reader is referred for all standard notions.
2.1. Double Numbers. The commutative ring with identity of all double numbers is
the triple (O, +, ·), where O = {o = a+bj : a, b ∈ R}, and for all a = a1 +a2 j, b = b1 +b2 j
in O addition and multiplication are defined as follows:
(1) a + b = (a1 + a2 j) + (b1 + b2 j) = (a1 + b1 ) + (a2 + b2 )j.
(2) a · b = (a1 + a2 j) · (b1 + b2 j) = (a1 b1 + a2 b2 ) + (a2 b1 + a1 b2 )j.

In particular j 2 = 1.
If we define P+ = 21 (1 + j) and P− = 21 (1 − j), then we can write the set of all double
numbers by O = {a+ P+ + a− P− : a+ , a− ∈ R}, where for all a = a1 + a2 j there exists
a∓ = a1 ∓ a2 such that a = a+ P+ + a− P− . Thereby, the following properties hold:
(1) If a = a+ P+ + a− P− and b = b+ P+ + b− P− in O then

a + b = (a+ + b+ )P+ + (a− + b− )P− and a · b = a+ b+ P+ + a− b− P− .
(2)
(3)
(4)
(5)
(6)
(7)
(8)
(9)

P+2 = P+ .
P−2 = P− .
P+ · P− = 0.
a+ P+ + a− P− ∈ {aj : a ∈ R} if and only if a+ = −a− .
a+ P+ + a− P− ∈ R if and only if a+ = a− .
Let a = a+ P+ + a− P− in O. a · P+ = a+ P+ .
Let a = a+ P+ + a− P− in O. a · P− = a− P− .
a = a+ P+ + a− P− is an invertible double number if and only if a+ · a− 6= 0, and
−1
the inverse of a is a−1 = a−1
+ P+ + a− P− .
4

Definition 2.1. Let a = a1 + a2 j ∈ O, we define the conjugate of a as ā = a1 − a2 j
[15, Fig.A2].
Definition 2.2. Let a = a1 + a2 j ∈ O, we define the square root of a as a solution of the
equation a = x2 .
Lemma 2.3. Let a = a+ P+ + a− P− ∈ O. Then

(1) The conjugate of a is a = a− P(
+ + a+ P− .
√
√
√
∓ a+ P+ ∓ a− P− ,
(2) The square root of a is a =
undefined,

if a+ , a− ≥ 0;
otherwise.

Statements are verified by direct calculations.
Remark.
(1) Since (O, +, ·) is a commutative ring with identity then 0 and 1 are
idempotent elements. In fact, from the definition of P+ and P− , we can see that
both of them are idempotent elements too. Moreover, 0, 1, P+ and P− are the
only idempotent of O.
(2) Because of (O, +, ·) is a commutative ring with identity, 0 is a nilpotent element.
Proposition 2.4. The ring of double numbers does not contain any non-zero nilpotent
elements.
The statement is verified by direct calculations.
Now we give a short and elementary proof of the following lemma.
Lemma 2.5. The function f : O → O, which is defined by f (a) = ā, is a ring isomorphism.
Proof. The proof is as follows:
(1) f (a + b) = f ((a+ + b+ )P+ + (a− + b− )P− ) = (a− + b− )P+ + (a+ + b+ )P−
= a− P+ + a+ P− + b− P+ + b+ P− = f (a) + f (b).
(2) f (a · b) = f (a+ b+ P+ + a− b− P− ) = a− b− P+ + a+ b+ P− and f (a)f (b) = a− b− P+ +
a+ b+ P− .
(3) Let f (a) = f (b). That means, a− P+ +a+ P− = b− P+ +b+ P− , which means a− = b−
and a+ = b+ . Thereby, a = b.
(4) Let b ∈ O. Let assume a ∈ O such that f (a) = b that means a− P+ + a+ P− =
b+ P+ + b− P− . Therefore, a− = b+ and a+ = b− .

We end this subsection with the following definition.
Definition 2.6. Let R be a commutative ring with identity. Then the set of all 2 ×
2−matrices of R is



a b
M2 (R) =
: a, b, c, d ∈ R .
c d
It is worth to mention that x = x+ P+ + x− P− ∈ O (O2 , M2 (O)) if and only if x∓ ∈
R (R2 , M2 (R)).
5

2.2. Dual Numbers. The commutative ring with identity of all dual numbers is the
triple (D, +, ·), where D = {d = a + bǫ : a, b ∈ R}, and for all a = a1 + a2 ǫ, b = b1 + b2 ǫ
in D addition and multiplication are defined as follows:
(1) a + b = (a1 + a2 ǫ) + (b1 + b2 ǫ) = (a1 + b1 ) + (a2 + b2 )ǫ.
(2) a · b = (a1 + a2 ǫ) · (b1 + b2 ǫ) = a1 b1 + (a2 b1 + a1 b2 )ǫ.
In particular ǫ2 = 0.
Definition 2.7. Let a = a1 + a2 ǫ ∈ D, we define the conjugate of a as ā = a1 − a2 ǫ
[15, Fig.A2].
Definition 2.8. Let a = a1 + a2 ǫ ∈ D, we define the square root of a as a solution of the
equation a = x2 .
Lemma 2.9. Let a = a1 + a2 ǫ ∈ D. Then
(1) The inverse of a is
(
−1 2
a−1
1 − (a1 ) a2 ǫ,
a−1 =
undefined,
(2) The square root of a is
 √
a2

∓ a1 +
√ ǫ,


∓2 a1
√
a = 0,



undefined,

if a1 6= 0;
otherwise.

if a1 > 0;
when a1 = a2 = 0;
otherwise.

Statements are verified by direct calculations.
Remark.
(1) Because of (D, +, ·) is a commutative ring with identity, 0 and 1 are
idempotent elements.
(2) 0 is a nilpotent element in D. Furthermore, for all a ∈ R, aǫ is a nilpotent element.
Proposition 2.10. The ring of dual numbers does not contain any non-trivial idempotent
elements.
The statement is verified by direct calculations.
3. General Linear Group And The Projective Line
Through this section R is a commutative ring with identity. The following notation is
at the core of our study:
Definition 3.1. Let R be a commutative ring with identity.



a b
GL2 (R) =
: a, b, c, d ∈ R, and ad − bc is invertible .
c d
The multiplication on GL2 (R) is defined as a usual multiplication on matrices.
Clearly, because of, for all two matrices A and B, det(A · B) = det(A) · det(B), GL2 (R)
is closed under the multiplication. The identity matrix is the neutral element of GL2 (R).
Theorem 3.2. (GL2 (R), ·) is a group.

6



a b
Proof. It is clear that for all A =
∈ GL2 (R) there is B =
c d
GL2 (R) and A · B is the identity matrix. And this ends the proof.

1
det(A)



d −b
−c a



in


Let R be a commutative ring with identity. The group (GL2 (R), ·) is called a general
linear group of R.
Remark. Let R = F be a field. Then



a b
GL2 (F) =
: a, b, c, d ∈ F and ad − bc 6= 0 .
c d
Proposition 3.3. Let R be a commutative ring with identity. Let a, b ∈ R and aR, bR
be two ideals of R generated
 bya and b respectively. aR + bR = R if and only if there
a b
exists c, d ∈ R such that
∈ GL2 (R).
c d
Proof. Let aR + bR = R. That means for each r ∈ R there exists r1 , r2 ∈ R such that
r = ar1 + br2 . Thereby,
for any unit r there exists r1 , r2 ∈ R such that r = ar1 − b(−r2 ).

a
b
Thus
∈ GL2 (R).
−r2 r1


a b
Conversely, let
∈ GL2 (R). Let ad − bc = u which means u ∈ aR + bR. Thus
c d
the proposition is proved.

The following notion will be relevant to our study.
2
Definition 3.4. Let R be a commutative ring with identity.

The pair (a, b) ∈ R is
a b
called an admissible pair if there exists c, d ∈ R such that
is an invertible matrix.
c d
Equivalently if aR + bR = R where aR, bR are two ideals of R generated by a and b
respectively [4].

Proposition 3.5. Let R be a 
commutative
ring with identity. Let (a, b) ∈ R2 be an

a b
admissible pair and c, d ∈ R. If
∈ GL2 (R) then (c, d) is an admissible pair too.
c d
The proof follows from definition 3.4.
Definition 3.6. Let R be a commutative ring with identity. We define an equivalent
relation on R2 \{(0, 0)} as follows: (z1 , z2 )∼(z3 , z4 ) if and only if there exists a unit u ∈ R
such that z1 = uz3 and z2 = uz4 .
2
2
2
A linear map
 R → R is a class invariant for ∼ [17]. The point of R /∼ corresponding
x
to a vector
is denoted by [x : y]. By R2 /∼, we mean the set of all equivalent classes.
y
Thus the projective line over a ring R is defined as follows:

Definition 3.7. P(R) = {[a : b] : (a, b) ∈ R2 , is admissible } is the projective line over
the ring R. In other words, when aR + bR = R, where aR, bR are ideals of R generated
by a and b respectively [4].
7

The projective line over a ring is an extension of the concept of the projective line over
a field.
The following propositions give us two examples of the projective lines:
Proposition 3.8. Any element [a : b] of the projective line, P(O), belongs to exactly one
of the following six classes:
[1 : 0], [a : 1], [1 : λP+ ], [1 : λP− ], [P+ : P −] and [P− : P +],
where a ∈ O and λ ∈ R\{0}.
Proof. Let ∼ be an equivalent relation on O2 \{(0, 0)} defined in definition 3.6. The set
of all double numbers is a disjoint union of the following three sets O (the set of all
e (the set of all zero divisors). We can also divide O
e into
invertible elements), {0} and O
two disjoint sets {aP+ } and {aP− }, where a ∈ R. Then, we have, in O/∼, ten different
types of equivalent classes depending on the kind of (a, b).
If a ∈ O and b = 0, then (a, b) ∈ [1 : 0].
e and b = 0, then (a, b) ∈ [P+ : 0].
If a = a+ P+ ∈ O
e and b = 0, then (a, b) ∈ [P− : 0].
If a = a− P− ∈ O
If b ∈ O, then (a, b) ∈ [a : 1].
e then (a, b) ∈ [1 : λP− ], where λ =
If a = a+ P+ + a− P− ∈ O and b = b− P− ∈ O,
e then (a, b) ∈ [1 : λP+ ], where λ =
(6) If a = a+ P+ + a− P− ∈ O and b = b+ P+ ∈ O,
(7) If a = a1 P+ , b = b1 P+ , then (a, b) ∈ [λ1 P+ : P+ ], where λ1 = ab11 .
(8) If a = a1 P+ , b = b1 P− , then (a, b) ∈ [P+ : P− ].
(9) If a = a1 P− , b = b1 P+ , then (a, b) ∈ [P− : P+ ].
(10) If a = a1 P− , b = b1 P− , then (a, b) ∈ [λ1 P− : P− ], where λ1 = ab11 .
(1)
(2)
(3)
(4)
(5)

b−
.
a−
b+
.
a+

Thereby, any element in O2 /∼ belongs to one of the following ten classes:

[1 : 0], [P+ : 0], [P− : 0], [a : 1], [1 : λP+ ], [1 : λP− ], [λ1 P+ :, P+ ], [P+ : P− ],
[P− : P+ ] and [λ1 P− : P− ],
where a ∈ O, λ ∈ R\{0} and λ1 ∈ R. Recall,




a b
GL2 (O) = A =
: a, b, c, d ∈ O and det(A) is a unit .
c d
Clearly,

while for all a, b ∈ O,


 
 

a 1
1 λP∓
P∓ P±
I,
,
,
∈ GL2 (O)
1 0
0 1
1
1

And this ends the proof.


 

P∓ 0
λ1 P∓ P∓
,
∈
/ GL2 (O).
a b
a
b



Notation 3.9. A suggestive notation for [a : 1] ([1 : 0], [1 : a1 P− ], [1 : a1 P+ ], [P+ :
P− ], [P− : P+ ]) is a (∞, a11 ω1 , a11 ω2 , σ1 , σ2 ) respectively, where a ∈ O and a1 is a nonzero real number [15, Ch.8; 24, Suppl.C].
8

Thus O parametrizes almost whole projective line over O as [a : 1], for all a ∈ O,
except classes [1 : 0], [P+ : P− ], [P− : P+ ], [1 : λP− ] and [1 : λP+ ] for all non-zero λ ∈ R.
In other words, P(O) = O∪{∞, σ1 , σ2 , aω1 , aω2 }, for all non-zero real number a [15, Ch.8;
24, Suppl.C].
Proposition 3.10. Any element [a : b] of the projective line, P(D), belongs to exactly one
of the following three classes:
[1 : 0], [a : 1] and [1 : a1 ǫ],
where a ∈ D and a1 ∈ R\{0}.

Proof. Let ∼ be an equivalent relation on D2 \{(0, 0)} defined in definition 3.6. Let D be
e ∪ {0} be the rest.
the set of all invertible elements in D, and D
2
Then, we have, in D /∼, five different types of equivalent classes depending on the kind
of (a, b).
(1) If b ∈ D, then (a, b) ∈ [a : 1].
(2) If a ∈ D and b = 0, then (a, b) ∈ [1 : 0].
e and b = 0, then (a, b) ∈ [ǫ : 0].
(3) If a ∈ D
e then (a, b) ∈ [1 : λǫ], where λ = b1 .
(4) If a = a1 + a2 ǫ ∈ D and b = b1 ǫ ∈ D,
a1
e ∪ {0} and b = b1 ǫ ∈ D,
e then (a, b) ∈ [λǫ : ǫ], where λ = a1 .
(5) If a = a1 ǫ ∈ D
b1

2

Thereby, any element in D /∼ belongs to one of the following five classes:
[a : 1], [1 : 0], [ǫ : 0], [1 : a1 ǫ] and [λǫ : ǫ],

where a ∈ D, a1 is a non-zero real number and λ ∈ R. Recall,




a b
GL2 (D) = A =
: a, b, c, d ∈ D and det(A) is a unit .
c d
Obviously,

while for all a, b ∈ D,
And this ends the proof.


 

a 1
1 a1 ǫ
I,
,
∈ GL2 (D)
1 0
0 1


 

ǫ 0
λǫ ǫ
,
∈
/ GL2 (D).
a b
a b



Notation 3.11. A suggestive notation for [a : 1] ([1 : 0], [1 : a1 ǫ]) is a (∞, a11 ω) respectively, where a ∈ D and a1 is a non-zero real number [15, Ch.8; 24, Suppl.C].

Thus D parametrizes almost whole projective line of D as [a : 1], for all a ∈ D, except
classes [1 : 0] and [1 : λǫ] for all non-zero λ ∈ R. In other words, P(D) = D ∪ {∞, aω}
[15, Ch.8; 24, Suppl.C].
4. Möbius Transformations
Let R be a commutative ring with identity. In this section, we study P(R) as a GL2 (R)
homogeneous space. Starting the following definition.
Definition 4.1. Let f : R → R be a transformation. We say that X ⊆ R is an
f −invariant if f (X) ⊆ X [15, Ch.2].
9

The following lemma shows that P(R) is a GL2 (R)−invariant set.


a b
Lemma 4.2. Let R be a commutative ring with identity. If
∈ GL2 (R) and
c d
 

  

x
a b
x
ax + by
2
∈ R is an admissible pair, then
=
is an admissible pair
y
c d
y
cx + dy
too.
 


x
a b
2
Proof. Let
∈ R be an admissible pair and M =
∈ GL2 (R) such that
y
c d
 
 
 
 
x
w1
x
s1
M
=
. Because of
is an admissible pair, there exists
∈ R2 such
y
w2
y
s2


x s1
′
that M =
∈ GL2 (R). The multiplication of M and M ′ is a matrix in GL2 (R).
y s2


w1 t1
′
Thereby, M · M =
∈ GL2 (R), where t1 = as1 + bs2 and t2 = cs1 + ds2 . And
w2 t2
this ends the proof.



a b
∈ GL2 (R) and
Corollary 4.3. Let R be a commutative ring with identity. If
c d
 

  

x
a b
x
ax + by
∈ R2 is not an admissible pair, then
=
is not an admissible
y
c d
y
cx + dy
pair too.
 
 
 
w1
x
−1 w1
Proof. Let
be an admissible pair. We know that
= M
. Thereby,
w2
y
w2
 
x
from the previous lemma
is an admissible pair. And this ends the proof.

y
Proposition 4.4. Let R be a ring with identity. Let [x : y], [v : w] ∈ P(R), such that
[x : y] = [v : w]. Then for all M ∈ GL2 (R), M[x : y] = M[v : w].
Proof. Recall, [x : y] = [v : w] means there exists an invertible element u ∈ R such that
x = uv, y = uw.


a b
M[x : y] =
[x : y] = [ax + by : cx + dy] = [u(av + bw) : u(cv + dw)] = M[v : w].
c d




a b
Definition 4.5. Let R be a commutative ring with identity. Let M =
∈ GL2 (R).
c d
TM : P(R) → P(R) is a function defined by TM ([x : y]) = M[x : y] = [ax + by : cx + dy].
The map TM is called Möbius transformation.


a b
ax+b
If cx + dy is a unit then the map
: [x : 1] → [ax + b : cx + d]∼[ cx+d
: 1] can be
c d
[15, Ch.2; 16; 17]. In the following, this formula will be used
abbreviated to g(z) = az+b
cz+d
as a notation for more accurate discussion in terms of the projective line.
Let A, A′ ∈ GL2 (R) such that A = uA′ , where u 6= 0. If Möbius transformations
are considered, then A and A′ define the same map. In particular, we can always scale
A ∈ GL2 (R), such that det(A) > 0, to A′ = √ 1 A where det(A′ ) = 1.
det(A)

10

Thus, we define an
SL2 (R) = {A ∈ GL2 (R) : det(A) = 1},

which is a subgroup of GL2 (R).
Let A ∈ SL2 (R). A real Möbius transformation is the action of A over P(R), it is
denoted by fA . A is called a representative matrix of f. It is clear that ∓A define the
same real Möbius map. The set of all real Möbius maps is denoted by M öb(R). Let
π : SL2 (R) → M öb(R) be a map such that π(A) = fA . π(AB) = fAB = fA ◦ fB thus π is
a group homomorphism. The kernel of π is ∓I which means it is not a one-to-one map.
Therefore M öb(R) ∼
= SL2 (R)/{∓I} [3, 19].
Let A be a ring of double or dual numbers. The algebraic structure of A shows that
any invertible matrix A ∈ M2 (A), such that det(A) = u2 and u is an invertible element
in A, there is A′ = u1 A ∈ M2 (A) such that det(A′ ) = 1. Thereby, we introduce an



a b
SL2 (A) =
: a, b, c, d ∈ A, and ad − bc = 1 .
c d

Let A ∈ SL2 (A). An A−Möbius transformation is the action of A over P(A), it is
denoted by fA . A is called a representative matrix of f. It is clear, there are more than
one matrices define the same A−Möbius map as discussed below. The set of all A−Möbius
maps is denoted by M öb(A). Let π : SL2 (A) → M öb(A) be a map such that π(A) = fA .
π(AB) = fAB = fA ◦ fB thus π is a group homomorphism.
If A = O then the kernel of π is {∓I, ∓jI} which means it is not a one-to-one map.
Therefore M öb(O) ∼
= SL2 (O)/{∓I, ∓jI}.
If A = D then the kernel of π is ∓I which means it is not a one-to-one map. Therefore
M öb(D) ∼
= SL2 (D)/{∓I}.
The proof of the next lemma follows immediately from lemma 4.2.

Lemma 4.6. Let R be a commutative ring with identity. P(R) is the orbit of [1 : 0] with
respect to GL2 (R).
Proposition 4.7. O2 /∼ is a disjoint union of the following three GL2 (O)−orbits:
(1) The orbit of [1 : 0], with respect to GL2 (O), is the projective line over O.
(2) The orbit of [P+ : 0], with respect to GL2 (O), is the set {[P+ : 0], [aP+ : P +] :
a ∈ R}.
(3) The orbit of [P− : 0], with respect to GL2 (O), is the set {[P− : 0], [aP− : P− ] : a ∈
R}.



a b
Proof. Recall, GL2 (O) =
: a, b, c, d ∈ O, and ad − bc is a unit .
c d
(1) Immediate from lemma 4.6.
(2) (a) The identitymap 
I ∈ GL2 (O), I[P+ : 0] = [P+ : 0].
a b
(b) For all A =
∈ GL2 (O), A[P+ : 0] = [aP+ : cP+ ].
c d
Now assume that there is A ∈ GL2 (O) such that
A[P+ : 0] = [P− : 0].

That means there is a ∈ O such that aP+ = λP− , where λ is an non-zero real
number. This is a contrary of, for all a ∈ O, aP+ = a+ P+ .
(3) Is similar to (2).
11

And this ends the proof.



From foregoing, we can split O2 /∼ into three sets: The orbit of [1 : 0], the orbit of
[P+ : 0] and the orbit of [P− : 0]. And each set is a GL2 (O)−invariant set.
Proposition 4.8. [P∓ : 0] ∈ P(O). Let X be the orbit of [P∓ : 0] with respect to GL2 (O).
There is a projection p∓ : SL2 (O) → SL2 (R) defined by p∓ (g) = g∓ for g = g+ P+ +
g− P− ∈ SL2 (O) and a bijection f : P(R) → X define by,
(
[ x P∓ : P∓ ],
if y 6= 0;
f [x : y] = y
[P∓ : 0],
if y = 0,
for x, y ∈ R.
The statement is verified by direct calculations.
To make our work easier, we present the following lemma and corollary on the properties
of GL2 (O) and SL2 (O).
Lemma 4.9. Let A∓ ∈ M2 (R). If A = A+ P+ + A− P− ∈ M2 (O) then
det(A) = det(A+ )P+ + det(A− )P− .




a1 b1
a2 b2
Proof. Let A+ =
, A− =
∈ M2 (R). Thereby,
c1 d 1
c2 d 2


a1 P+ + a2 P− b1 P+ + b2 P−
A = A+ P+ + A− P− =
∈ M2 (O).
c1 P + + c2 P − d 1 P + + d 2 P −
det(A) = (a1 d1 − c1 b1 )P+ + (a2 d2 − b2 c2 )P− = det(A+ )P+ + det(A− )P− .



Corollary 4.10. Let A∓ ∈ M2 (R). A = A+ P+ + A− P− ∈ SL2 (O) if and only if A∓ ∈
SL2 (R).
Proof.

(1) For necessity. Let A = A+ P+ + A− P− ∈ SL2 (O). That means, det(A) is
equal to one. By lemma 4.9, det(A) = det(A+ )P+ + det(A− )P− = 1 = P+ + P− .
That means, det(A+ ) = det(A− ) = 1. Thereby, A+ , A− ∈ SL2 (R).

(2) For sufficiency. Let A+ , A− ∈ SL2 (R). Which means, det(A+ ) = det(A− ) = 1.
det(A) = det(A+ )P+ + det(A− )P− = P+ + P− = 1. That means A ∈ SL2 (O).

Proposition 4.11. D2 /∼ is a disjoint union of the following two GL2 (D)−orbits:
(1) The orbit of [1 : 0], with respect to GL2 (D), is the projective line over D.
(2) The orbit of [aǫ : ǫ], with respect to GL2 (D), is the set {[ǫ : 0], [aǫ : ǫ] : a ∈ R}.



a b
Proof. Recall, GL2 (D) =
: a, b, c, d ∈ D, and ad − bc is a unit .
c d
(1) Immediate
 from lemma 4.6.
a b
(2) Let A =
∈ GL2 (D). A[ǫ : 0] = [aǫ : cǫ].
c d
And this ends the proof.
12



As a consequence of the above proposition, we obtain that D2 /∼ divides into two sets:
The orbit of [1 : 0] and the orbit of [aǫ : ǫ]. Each one of them is invariant with respect to
GL2 (D).
Proposition 4.12. [ǫ : 0] ∈ P(D). Let X be the orbit of [ǫ : 0] with respect to GL2 (D).
There is a projection p : SL2 (D) → SL2 (R) defined by p∓ (g) = g1 for g = g1 + g2 ǫ ∈
SL2 (O), and a bijection f : P(R) → X define by, for all [x : y] ∈ P(R),
(
[ x ǫ : ǫ],
if y 6= 0;
f [x : y] = y
[ǫ : 0],
if y = 0,
for x, y ∈ R.
The statement is verified by direct calculations.



a b
Definition 4.13. Let R be a commutative ring with identity. Let A =
∈ M2 (R).
c d


d −b
b
b
We define A as follows: A =
.
−c a
To make our work easier, we present the following lemma and corollary on the properties
of GL2 (O) and SL2 (O).

Lemma 4.14. Let A1 , A2 ∈ M2 (R). If A = A1 + A2 ǫ ∈ M2 (D) then det(A) = det(A1 ) +
b2 )ǫ,
tr(A1 A
b2 )ǫ.
Proof. det(A) = a1 d1 − b1 c1 + (a2 d1 + d2 a1 − c2 b1 − b2 c1 )ǫ = det(A1 ) + tr(A1 A



Corollary 4.15. Let A1 , A2 ∈ M2 (R). A = A1 + A2 ǫ ∈ SL2 (D) if and only if A1 ∈
b2 ) = 0.
SL2 (R) and tr(A1 A

b2 )ǫ =
(1) For necessity. Let A ∈ SL2 (D), that means det(A) = det(A1 )+tr(A1 A
b2 ) = 0.
1 + 0ǫ. Which means, det(A1 ) = 1 and tr(A1 A
b2 ) = 0.
(2) For sufficiency. Let A1 ∈ SL2 (R), which means det(A1 ) = 1. Let tr(A1 A
b
Thus, det(A) = det(A1 ) + tr(A1 A2 )ǫ = 1 + 0ǫ = 1.
And this ends the proof.


Proof.

5. Continuous One-Parameter Subgroups

This section investigates, up to similarity and rescaling, the number of different types
of continuous one-parameter subgroups of GL2 (O), SL2 (O), GL2 (D) and SL2 (D). The
number of fixed points of any non-identity map in Möb(O) is less and equal 4 while the
number of fixed points of any non-identity map in Möb(D) is less and equal 2. We start
with the following lemma.
Lemma 5.1. Let gt be a continuous one-parameter subgroup. Let t0 6= 0. If z is a fixed
point of gt0 then gt fixes z for any t.
Proof. Let t0 6= 0. Let z be a fixed point of gt0 . That means, gt0 (z) = z. Let assume, for t1 ,
gt1 does not fix z. Let gt1 (z) = z ′ . Because of gt is a continuous one-parameter subgroups,
gt0 (z ′ ) = gt0 gt1 (z) = gt1 gt0 (z) = z ′ . Thereby, z ′ is another fixed point of gt0 . By keep doing
the previous steps repeatedly, we obtain that gt0 fixes an infinite number of points, which
means, t0 = 0. And this is a contrary to our assumption. Thus the lemma is proved. 
13

Reminder, there are only, up to similarity and rescaling, the four following types of
connected continuous one-parameter subgroups of GL2 (R) [15, Ch.3; 17].




′
λt cosh t sinh t
′
λt 1 0
A (t) = e
, N (t) = e
,
sinh t cosh t
t 1




′
λt 1 0
′
λt cos t − sin t
.
and I (t) = e
K (t) = e
0 1
sin t cos t
If we drop the connectedness conditions the following four additional types appear:




′′
λt − cosh t sinh t
′
′′
λt −1 0
A (t) = e
∪ A (t), N (t) = e
∪ N ′ (t),
− sinh t cosh t
−t 1




′
′′
λt −1 0
′′
λt − cos t − sin t
∪ I ′.
∪ K (t) and I (t) = e
K (t) = e
0 1
− sin t cos t
Here we are interested in the connected continuous one-parameter subgroups of GL2 (R),
which are associated with a non-trivial Möbius map, that is A′ (t), N ′ (t) and K ′ (t).
To give a unified form, that is work for all continuous one-parameter subgroups of
GL2 (R), we assume that σ ∈ {−1, 0, 1} and introduce the following notation [15, Ch.9]:
(1)


if σ = −1;
cos t,
cosσ t = 1,
if σ = 0;

cosh t,
if σ = 1.
(2)


if σ = −1;
sin t,
sinσ t = t,
if σ = 0;

sinh t,
if σ = 1.
(3)


if σ = −1;
tan t,
tanσ t = t,
if σ = 0;

tanh t,
if σ = 1.
(4) First and second ones give us

′

 
K (t), if σ = −1;
cosσ t σ sinσ t
Hσ′ (t) = eλt
= N ′ (t), if σ = 0;
sinσ t cosσ t

A′ (t), if σ = 1.

′′



K (t), if σ = −1;
− cosσ t σ sinσ t
∪ Hσ′ (t) = N ′′ (t), if σ = 0;
Hσ′′ (t) = eλt
− sinσ t cosσ t

A′′ (t), if σ = 1.
Clearly, there are, up to similarity and rescaling, the following three types of non-trivial
continuous one-parameter subgroups of SL2 (R) [15, Ch.3],


 
K(t), if σ = −1;
cosσ t σ sinσ t
Hσ (t) =
= N(t), if σ = 0;
sinσ t cosσ t

A(t), if σ = 1.
14

5.1. Continuous One-parameter Subgroups of GL2 (O) and SL2 (O). We are going
to classify all different types of connected continuous one-parameter subgroups in GL2 (O)
and SL2 (O). Our main technique is (P+ , P− ) decomposition.
Proposition 5.2. Let B = B+ P+ + B− P− be a subset of GL2 (O), where B± are two
subsets of GL2 (R). B is a subgroup of GL2 (O) if and only if both B± are two subgroups
of GL2 (R).
Proof.

(1) For necessity. Let B be a subgroup of GL2 (O). That means, for all C,
C ′ ∈ B we obtain C · (C ′ )−1 ∈ B. So
(C+ P+ + C− P− ) · ((C+′ )−1 P+ + (C−′ )−1 P− ) ∈ B

C+ · (C+′ )−1 P+ + C− · (C−′ )−1 P− ∈ B

which means C+ · (C+′ )−1 ∈ B+ and C− · (C−′ )−1 ∈ B− . Thereby, B+ , B− are
subgroups of GL2 (R).
(2) For sufficiency. Let B∓ be a subgroup of GL2 (R). That means, if C∓ and C∓′ ∈ B∓
then C∓ · (C∓′ )−1 ∈ B∓ . Therefore, C+ · (C+′ )−1 P+ + C− · (C−′ )−1 P− ∈ B which
means
(C+ P+ + C− P− ) · ((C+′ )−1 P+ + (C−′ )−1 P− ) ∈ B.
Thereby, B is a subgroup of GL2 (O).


In the same way, we prove that B is a subgroup of SL2 (O) if and only if B∓ are two
subgroup of SL2 (R).
Proposition 5.3. Let t, a be two non-zero real numbers and t′ = at. Let B(t) =
B+ (t)P+ + B− (t′ )P− be a one-parameter subset of GL2 (O), where B+ (t), B− (t′ ) are
two one-parameter subsets of GL2 (R). B(t) is a non-trivial continuous one-parameter
subgroup of GL2 (O) if and only if both B± (t) are non-trivial continuous one-parameter
subgroups of GL2 (R).
Proof.

(1) For necessity. Let t1 , t2 ∈ R. Let B(t1 ) = B+ (t1 )P+ + B− (t1 )P− , B(t2 ) =
B+ (t2 )P+ + B− (t2 )P− ∈ GL2 (O) such that B(t1 )B(t2 ) = B(t1 + t2 ). Therefore,

B+ (t1 )B+ (t2 )P+ + B− (t1 )B− (t2 )P− = B+ (t1 + t2 )P+ + B− (t1 + t2 )P−
which means B+ (t1 )B+ (t2 ) = B+ (t1 + t2 ) and B− (t1 )B− (t2 ) = B− (t1 + t2 ).
(2) For sufficiency. Let t1 , t2 ∈ R. Let B∓ (t1 ), B∓ (t2 ) ∈ GL2 (R) such that B∓ (t1 )B∓ (t2 ) =
B∓ (t1 + t2 ). That leads to
B+ (t1 )B+ (t2 )P+ + B− (t1 )B− (t2 )P− = B+ (t1 + t2 )P+ + B− (t1 + t2 )P−
which means B(t1 )B(t2 ) = B(t1 + t2 ).

Proposition 5.4. Let t, a be two non-zero real numbers and t′ = at. Let B+ (t), B+ (t′ ),
′
′
′
B+
(t), B−
(t′ ) ∈ GL2 (R). Then, B(t) = B+ (t)P+ + B− (t′ )P− and B ′ (t) = B+
(t)P+ +
′
′
′
′
B− (t )P− are in GL2 (O). B(t) is similar to B (t) if and only if B+ (t) (B− (t )) is similar
′
′
to B+
(t), (B−
(t′ )).
15

Proof. Let B(t) be similar to B ′ (t). That means, there exists a K ∈ GL2 (O) such that
KB(t)K −1 = B ′ (t). Which means,
K+ B+ (t)K+−1 P+ + K− B− (t)K−−1 P− = B ′ (t).
′
′
Thereby, K+ B+ (t)K+−1 = B+
(t) and K− B− (t′ )K−−1 = B−
(t′ ). Therefore, B+ (t) (B− (t′ ))
′
′
is similar to B+
(t) (B−
(t′ ).
′
′
Conversely, let B+ (t) (B− (t′ )) is similar to B+
(t) (B−
(t′ ). That means, there exist two
′
′
invertible C∓ ∈ GL2 (R) such that C+ B+ (t)C+−1 = B+
(t) and C− B− (t′ )C−−1 = B−
(t′ ).
Obviously, K = C+ P+ + C− P− ∈ GL2 (O) and K −1 = C+−1 P+ + C−−1 P− . Therefore,

KB(t)K −1 = (C+ P+ + C− P− )(B+ (t)P+ + B− (t)P− )(C+−1 P+ + C−−1 P− )
′
′
= B+
(t)P+ + B−
(t)P− .


Proposition 5.5. The function f : GL2 (O) → GL2 (O), which is defined by
f (X+ (t)P+ + X− (t′ )P− ) = X− (t′ )P+ + X+ (t)P− ,

is a group homomorphism.
The statement is verified by direct calculations.
In the case of SL2 (O), propositions 5.3, 5.4 and 5.5 hold.
Proposition 5.6. Any continuous one-parameter subgroups of GL2 (O), which are associated with a non-trivial Möbius map, has one of the following forms
(1) Hσ′ + (t)P+ + Hσ′ − (t′ )P− ,
(2) Hσ′ + (t)P+ + Hσ′′− (t′ )P− ,
(3) Hσ′′+ (t)P+ + Hσ′ − (t′ )P− ,
(4) Hσ′′+ (t)P+ + Hσ′′− (t′ )P− ,
where t′ = at for some real a ∈ R and σ∓ = −1, 0, 1.
Proof. Recall, there are, up to similarity and rescaling, six types of continuous oneparameter subgroups of GL2 (R), which are associated with a non-trivial Möbius map.
Propositions 5.3, 5.4 and 5.5 give the proof.

Remark. If a = 0 then Hσ′ − (t′ ) = Hσ′ − (0) or Hσ′′− (t′ ) = Hσ′′− (0). Recall that, Hσ′ (0) =
I ′ and Hσ′′− (0) = I ′′ . This means, the continuous one-parameter subgroups is similar to
one of the following types of continuous one-parameter subgroups:
(1) Hσ′ (t)P+ + I ′ P− .
(2) Hσ′ (t)P+ + I ′′ P− .
(3) Hσ′′ (t)P+ + I ′ P− .
(4) Hσ′′ (t)P+ + I ′′ P− .
Clearly, Hσ′ + (t)P+ + Hσ′ − (t′ )P− and Hσ′ (t)P+ + I ′ P− are the only types of connected
continuous one-parameter subgroups of GL2 (O).
Corollary 5.7. Any non-trivial continuous one-parameter subgroups of SL2 (O) has the
form Hσ+ (t)P+ + Hσ− (t′ )P− , where t′ = at for some real a ∈ R and σ∓ = −1, 0, 1. That
means Hσ+ (t) (Hσ− (t′ )) is similar to one of
A(t), N(t), K(t) (A(t′ ), N(t′ ), K(t′ ))
respectively.
16

Proof. Let B+ (t), B− (t′ ) be two non-trivial continuous one-parameter SL2 (R), where t′ =
at for some positive a in R. Then B(t) = B+ (t)P+ + B− (t′ )P− is a non-trivial continuous
one-parameter subgroup of SL2 (O). Recall, B+ (t) (B− (t′ )) is similar to Hσ+ (t) (Hσ− (t′ ))
[15, Ch.3; 17]. Thereby, B(t) is similar to Hσ+ (t)P+ + Hσ− (t′ )P− , and this ends the
proof.

Remark. If a = 0 then Hσ− (t′ ) = Hσ− (0). Recall that, Hσ (0) = I. That means Hσ− (t′ ) = I.
This means, B(t) is similar to Hσ (t)P+ + IP− .
Clearly, we do not lose any interesting types of connected continuous one-parameter
subgroup of when we move from GL2 (O) to SL2 (O).
From foregoing, there are, up to similarity and rescaling, the following types of isomorphic non-trivial continuous one-parameter subgroups of SL2 (O):
(1) B(t) = Hσ+ (t)P+ + Hσ− (at)P− , where a is a positive real number;
(2) B(t) = Hσ (t)P+ + IP− , where a = 0;
where, Hσ+ (t) (Hσ− (at)) are similar to one of A(t), N(t) and K(t) (A(at), N(at) and
K(at)) respectively.
Let f = [y+ P+ + y− P− : 1] be an arbitrary non-fixed point in P(O). Next proposition
gives the orbit of f with respect to the continuous one-parameter subgroup Hσ+ (t+ )P+ +
Hσ− (t− )P− , where t− = at+ .
Proposition 5.8. Let f = [y+ P+ + y− P− : 1] ∈ P(O). Let t be a non-zero real number
and a be a positive real number. Let t+ = t, t− = at. The orbit of f, with respect to
Hσ+ (t+ )P+ + Hσ− (t− )P− , is the following equation:
tan−1
σ+

y+ − (u + v)
1
y− − (u − v)
= tan−1
.
σ−
y+ (u + v) − σ+
a
y− (u − v) − σ−

Proof. For an arbitrary non-zero t ∈ R and a positive real number a,


y− + σ tanσ− (t− )
y+ + σ tanσ+ (t+ )
P+ +
P− : 1 ,
[Hσ+ (t+ )P+ + Hσ− (t− )P− ](f ) =
y+ tanσ+ (t+ ) + 1
y− tanσ− (t− ) + 1
where t+ = t, t− = at. Therefore,
y− + σ tanσ− (t− )
y+ + σ tanσ+ (t+ )
, v′ =
.
u′ =
y+ tanσ+ (t+ ) + 1
y− tanσ− (t− ) + 1
A simple calculation leads us to
′
y+ − u′
−1 y− − v
,
t
=
tan
.
t+ = tan−1
−
σ+ ′
σ+ ′
u y+ − σ+
v y− − σ−
u′ = u + v and v ′ = u − v. Thus, we obtain
y+ − (u + v)
1
y− − (u − v)
tan−1
= tan−1
.
σ+
σ−
y+ (u + v) − σ+
a
y− (u − v) − σ−
And this ends the proof.

Corollary 5.9. Let f = [y+ P+ + y− P− : 1] ∈ P(O). Let t be a non-zero real number
and a be a positive real number. Let t+ = t, t− = at. The orbit of f, with respect to
N(t+ )P+ + N(t− )P− , is a hyperbola with the following equation:
(a + 1)y+ y−
(a − 1)y+ y−
u−
v = 0.
u2 − v 2 +
y+ − ay−
y+ − ay−
17

Proof. For an arbitrary non-zero t ∈ R,




y+
y−
[N(t+ )P+ + N(t− )P− ](f ) =
P+ +
P− : 1 ,
t+ y+ + 1
t− y− + 1

where t+ = t, t− = at. Therefore,
u′ =

y+
,
t+ y+ + 1

v′ =

y−
.
t− y− + 1

y+ − u′
,
u′ y+

t− =

y− − v ′
.
v ′ y−

A simple calculation leads us to
t+ =
Thereby,
y+ − u′
y− − v ′
=
.
u′ y+
av ′ y−
u′ = u + v and v ′ = u − v. Thus, we obtain
u2 − v 2 +

(a + 1)y+ y−
(a − 1)y+ y−
u−
v = 0.
y+ − ay−
y+ − ay−

And this ends the proof.



Proposition 5.10. Let f = [y+ P+ + y− P− : 1] ∈ P(O). Let t be a non-zero real number.
The orbit of f, with respect to Hσ (t)P+ + IP− , has the following equation:
2
(y+
− σ)(u − v + y− ) = 0.

Proof. For an arbitrary non-zero t ∈ R,


y+ cosσ t +σ sinσ t
[Hσ (t)P+ + IP− ](f ) =
P+ + y − P− : 1 .
y+ sinσ t + cosσ t
Therefore,
u′ =

y+ cosσ t +σ sinσ t
y+ − u′
, which means tanσ t =
, and v ′ = y− .
y+ sinσ t + cosσ t
y+ u′ − σ

Since u′ = u + v,

v ′ = u − v, therefore

1
u′ − v ′
2v
1
−
=
=
,
v ′ u′
u′ v ′
u2 − v 2

and this obtains

2
2
(y+
− σ)(u + v) + y− (σ − y+
)
2v
=
.
2
2
2
u −v
y− (y+ − σ)(u + v)

A simple calculation drives us to

2
(y+
− σ)(u − v + y− ) = 0

And this ends the proof.

18

5.2. Continuous One-Parameter Subgroups of GL2 (D) and SL2 (D). This subsection shows that GL2 (D) has, up to similarity and rescaling, three types of continuous
one-parameter subgroups, which are associated with a non-trivial Möbius map. Starting
with the following lemma:

Lemma 5.11. Let A1 (s) be a connected continuous one-parameter subgroup in GL2 (R),
which are associated with a non-trivial Möbius map, and A be any constant matrix in
GL2 (R). A1 (s)A = AA1 (s), for some s such that sinσ (s) 6= 0, if and only if, for some s0 ,
A = A1 (s0 ).




cos
s
σ
sin
s
a
b
σ
σ
C
C ∈ GL2 (R). Let A1 (s) = C −1 eλs
Proof.
(1) For necessity. Let A = C −1
sinσ s cosσ s
c d
be a connected continuous one-parameter subgroup of GL2 (R). Assume that AA1 (s) =
A1 (s)A, i.e.


 


a b
cosσ s σ sinσ s
cosσ s σ sinσ s
a b
=
.
c d
sinσ s cosσ s
sinσ s cosσ s
c d
Therefore,
(2)

a cosσ s + b sinσ s = a cosσ s + cσ sinσ s,

(3)

aσ sinσ s + b cosσ s = b cosσ s + dσ sinσ s,

(4)

c cosσ s + d sinσ s = a sinσ s + c cosσ s,

(5)

cσ sinσ s + d cosσ s = b sinσ s + d cosσ s.
From equations (2) or (5), we obtain b = cσ. And, from (3) or (4), we obtain
a = d.


a σc
Therefore, A =
. Thereby, A = A1 (s0 ), where tanσ (s0 ) = ac .
c a
(2) The demonstration of the sufficiency is straightforward.


Lemma
5.12. Let A(t)

 be a continuous one-parameter subgroups which is similar to
−
cos
t
σ
sin
t
σ
σ
eλt
. Let A be any constant matrix in GL2 (R). A1 (s)A = AA1 (s), for
− sinσ t cosσ t
some s such that sinσ (s) 6= 0, if and only if, for some s0 , A = I ′ (s0 ).
Proof. Following the same strategy of the proof of lemma 5.11 proves the statement where
eλs0 = a.

Let B(t) = B1 (t)+B2 (t)ǫ be a continuous one-parameter subgroup inGL2 (D), which are

λt ∓ cosσ t σ sinσ t
,
associated with a non-trivial Möbius map, where B1 (t) is similar to e
∓ sinσ t cosσ t
which are associated with a non-trivial Möbius map, and B2 (t) be a non-zero matrix in
M2 (R).
Remark. If B2 (t) is a zero matrix then B(t) is similar to one of A′ (t), N ′ (t), K ′ (t).
19

For some t, s ∈ R, B(s)B(t) = B1 (s)B1 (t) + (B1 (s)B2 (t) + B2 (s)B1 (t))ǫ. Because of
B1 (t) is a connected continuous one-parameter subgroup of GL2 (R), which are associated
with a non-trivial Möbius map, B1 (s)B1 (t) = B1 (s + t). The second equation is
B2 (s + t) = B1 (s)B2 (t) + B2 (s)B1 (t).
We are going to solve this equation to find B2 (s). To do that, we differentiate it with
respect to t and then substitute t by zero. Then, we obtain:
B2′ (s) = B1 (s)B2′ (0) + B2 (s)B1′ (0) or B2′ (s) − B2 (s)B1′ (0) = B1 (s)B2′ (0).

It is a first order linear ordinary differential equation, and its solution is
Z
′
(6)
B2 (s) = exp(B1 (0)s) B2′ (0)B1 (s) exp(−B1′ (0)s) ds.
Let



∓ cosσ s σ sinσ s
,
B1 (s) = e
∓ sinσ s cosσ s




′
λs ∓σ sinσ s σ cosσ s
λs ∓ cosσ s σ sinσ s
B1 (s) = e
+ λe
∓ cosσ s σ sinσ s
∓ sinσ s cosσ s
λs

and

B1′ (0)
Therefore,
B1′ (0)s

=

=






0 σ
∓1 0
+λ
.
∓1 0
0 1






0 σs
∓1 0
+λ
s, and exp(∓B1′ (0)s) = B1 (∓s).
∓s 0
0 1

Now let come back to equation (6) and substitute B1 (s) we get:
Z
B2 (s) = B1 (s) B2′ (0)B1 (s)B1 (−s) ds = B1 (s)(B2′ (0)s + C).

Therefore, any continuous one-parameter subgroup, which are associated with a nontrivial Möbius map, of GL2 (D) has the form B(t) = B1 (t)+B1 (t)(B2 t+B3 )ǫ, where B2 , B3
are two constant matrices. Remember we are interesting in the connected continuous oneparameter subgroup of GL2 (D).
Proposition 5.13. Any connected continuous one-parameter subgroup of GL2 (D), which
fσ (t) = H ′ (t) + H ′ (t + t0 )tǫ,
are associated with a non-trivial Möbius map, has the form H
σ
σ
′
′
′
′
Hσ (t) is similar to one of N (t), A (t) and K (t).
Proof. Let B1 (t) be a connected continuous one-parameter subgroup of GL2 (R), which are
associated with a non-trivial Möbius map, and B2 , B3 be two constant matrices. Then,
B(t) = B1 (t) + B1 (t)(B2 t + B3 )ǫ is a non-trivial continuous one-parameter subgroup of
SL2 (D). Let B(t) = B1 (t) + B1 (t)(B2 t + B3 )ǫ, and B(s) = B1 (s) + B1 (s)(B2 s + B3 )ǫ.
B(t)B(s) = B1 (t)B1 (s) + (B1 (t)B1 (s)(B2 s + B3 ) + B1 (t)(B2 t + B3 )B1 (s))ǫ
B(t + s) = B1 (t + s) + B1 (t + s)(B2 · (t + s) + B3 )ǫ.

Because of B(t) is a non-trivial continuous one-parameter subgroup of GL2 (D), B(t)B(s) =
B(t + s) that means:
B1 (t)B1 (s) = B1 (t + s)
20

and
B1 (t + s)(B2 · (t + s) + B3 ) = B1 (t)B1 (s)(B2 s + B3 ) + B1 (t)(B2 t + B3 )B1 (s))
B1 (s)(B2 · (t + s) + B3 ) = B1 (s)(B2 s + B3 ) + (B2 t + B3 )B1 (s)
then B1 (s)B2 t = B2 tB1 (s) + B3 B1 (s).
That means B3 B1 (s) = 0 therefore B3 = 0 and B2 B1 (s) = B1 (s)B2 which leads to
B2 = B1 (s0 ) by lemma 5.11. Thus,
B2 (s) = B1 (s)B1 (s0 )t and B(s) = B1 (s) + B1 (s)B1 (s0 )tǫ ∈ GL2 (D).



− cosσ t σ sinσ t
. Thereby, continuous one-parameter
Remark. Let A(t) be similar to eλt
− sinσ t cosσ t
subgroups of GL2 (D), which are associated with a non-trivial Möbius map, has the following form
f′ (t) = A(t) + A(t)teλt0 ǫ ∪ H
fσ (t), for some t0 ∈ R.
H
σ


From foregoing, we obtain that for all t0 ∈ R there are, up to similarity and rescaling,
the following types of connected continuous one-parameter subgroups of GL2 (D) :
fσ (t) = H ′ (t) + H ′ (t + t0 )tǫ;
(1) H
σ
σ
(2) Hσ′ (t);
(3) the identity map;
where Hσ′ (t) is similar to one of A′ (t), N ′ (t) and K ′ (t).
A(t), N(t), and K(t) are continuous one-parameter subgroups of SL2 (D). Next corollary gives the extra continuous one-parameter subgroups of SL2 (D).

Corollary 5.14. There are, up to similarity and rescaling, the only following type of
continuous one-parameter subgroups, which is not a continuous one-parameter subgroups
of SL2 (R), of SL2 (D) :
fσ (t) = K(t) + K(t + π + kπ)tǫ.
H
2
fσ (t) = H ′ (t) + H ′ (t + t0 )tǫ be a continuous one-parameter subgroup of
Proof. Let H
σ
σ
fσ (t) = Hσ′ (t) + Hσ′ (t +
GL2 (D), which are associated with a non-trivial Möbius map. If H
t0 )tǫ is a non-trivial continuous one-parameter subgroup of SL2 (D), then det(Hσ′ (t)) = 1,
for all t, and
tr(Hσ′ (t)Hσ′ \
(t + t0 )t) = 0;
2te2λt cosσ (t0 ) = 0;
teλt cosσ (t0 ) = 0.
Because of t 6= 0, teλt cosσ (t0 ) = 0 is not possible for σ equals to 0 or 1. If σ = −1 then
fσ (t) = K(t) + K(t + π + kπ)tǫ.
t0 = π2 + kπ, which means H

2

As a consequence of the above proposition and corollary, we obtain that SL2 (D) does
not contain many interesting types of continuous one-parameter subgroups which were
found in GL2 (D). In other words, if we move from GL2 (D) to SL2 (D) then we lose many
interesting types of continuous one-parameter subgroups.
Next proposition gives the sufficient conditions for the similarity between two continuous one-parameter subgroups in GL2 (D).
21

Proposition 5.15. Let B1 (t), B1′ (t) be two connected continuous one-parameter subgroups, which are associated with a non-trivial Möbius map, of GL2 (R). Then, B(t) =
B1 (t) + B1 (t + t0 )tǫ, B ′ (t) = B1′ (t) + B1′ (t + t0 )tǫ are two continuous one-parameter subgroups, which are associated with a non-trivial Möbius map, of GL2 (D). B ′ (t) is similar
to B(t) if and only if there exists an invertible C ∈ GL2 (R) such that B1′ (t) = CB1 (t)C −1 .
Proof. Let B ′ (t) be similar to B(t) that means there exists an invertible M = C + Dǫ ∈
GL2 (D) such that B ′ (t) = MB(t)M −1 . That leads to
B1′ (t) + B1′ (t + t0 )tǫ = (C + Dǫ)(B1 (t) + B1 (t + t0 )tǫ)(C −1 − C −1 DCM1−1 ǫ)

A simple calculation shows that B1′ (t) = CB1 (t)C −1 .
Conversely, let B1′ (t) = CB1 (t)C −1 . Therefore, B1′ (t + t0 ) = CB1 (t + t0 )C −1 .
B ′ (t) = B1′ (t) + B1′ (t + t0 )tǫ = CB1 (t)C −1 + CB1 (t + t0 )C −1 ǫ
= C(B1 (t) + B1 (t + t0 )tǫ)C −1
= CB(t)C −1
And this ends the proof.



fσ (t), is
Proposition 5.16. Let f = [a + bǫ : 1] ∈ P(D). The orbit of f, with respect to H
parabolas with the following equation:
a−u
(a2 − σ)v = (b + (a2 − σ) sinσ (−t0 ) tan−1
))(u2 − σ)
σ (
au − σ
for some parameter a, b, t0 .
Proof. For an arbitrary non-zero element t ∈ R and t0 ∈ R,


2
a
cos
t
+
σ
sin
t
b
+
(a
−
σ)t
sin
(−t
)
σ
σ
σ
0
fσ (t)f =
H
+
ǫ:1 .
a sinσ t + cosσ t
(a sinσ t + cosσ t)2
That means,
a cosσ t + σ sinσ t
a + σ tanσ t
u=
=
.
a sinσ t + cosσ t
a tanσ t + 1
a−u
.
A simple calculations gives tanσ t = au−σ
(b + (a2 − σ)t sinσ (−t0 ))(1 − σ tan2σ t)
b + (a2 − σ)t sinσ (−t0 )
=
.
(a sinσ t + cosσ t)2
(a tanσ t + 1)2
Substituting tanσ t in v with simple calculations obtains the result.
v=



Acknowledgements
I would like to thank Vladimir Kisil for valuable discussions and important remarks.
References
[1] Frank W. Anderson and Kent R. Fuller, Rings and categories of modules, Second, Graduate Texts
in Mathematics, vol. 13, Springer-Verlag, New York, 1992. MR1245487
[2] Alan F. Beardon, The geometry of discrete groups, Graduate Texts in Mathematics, vol. 91, SpringerVerlag, New York, 1995. Corrected reprint of the 1983 original. MR1393195
[3]
, Continued fractions, discrete groups and complex dynamics, Comput. Methods Funct. Theory 1 (2001), no. 2, [On table of contents: 2002], 535–594. MR1941142
[4] A. Blunck and H. Havlicek, Projective representations. I. Projective lines over rings, Abh. Math.
Sem. Univ. Hamburg 70 (2000), 287–299. MR1809553
22

[5] Sky Brewer, Projective cross-ratio on hypercomplex numbers, Adv. Appl. Clifford Algebr. 23 (2013),
no. 1, 1–14. MR3029360
[6] M. Jacques and I. Short, Continued fractions and semigroups of möbius transformations (2016).
E-print: arXiv:1609.00576v3.
[7] Vladimir V. Kisil, How many essentially different function theories exist?, Clifford algebras and their
application in mathematical physics (Aachen, 1996), 1998, pp. 175–184. MR1627084
[8]
, Analysis in R1,1 or the principal function theory, Complex Variables Theory Appl. 40
(1999), no. 2, 93–118. MR1744876
, Meeting Descartes and Klein somewhere in a noncommutative space, Highlights of mathe[9]
matical physics (London, 2000), 2002, pp. 165–189. MR2001578
, Spectrum as the support of functional calculus, Functional analysis and its applications,
[10]
2004, pp. 133–141. MR2098877
[11]
, Starting with the group SL2 (R), Notices Amer. Math. Soc. 54 (2007), no. 11, 1458–1465.
MR2361159
[12]
, Two-dimensional conformal models of space-time and their compactification, J. Math. Phys.
48 (2007), no. 7, 073506, 8. MR2337687
, Erlangen program at large-1: geometry of invariants, SIGMA Symmetry Integrability Geom.
[13]
Methods Appl. 6 (2010), Paper 076, 45. MR2725007
, Erlangen program at large: an overview, Advances in applied analysis, 2012, pp. 1–94.
[14]
MR3220526
[15]
, Geometry of Möbius transformations, Imperial College Press, London, 2012. Elliptic, parabolic and hyperbolic actions of SL2 (R), With 1 DVD-ROM. MR2977041
, Remark on continued fractions, Möbius transformations and cycles, Izvestiya Komi
[16]
nauchnogo centra UrO RAN 25 (2016), no. 1, 11–17. E-print: arXiv:1412.1457, on-line.
, Poincaré extension of Möbius transformations, Complex Variables and Elliptic
[17]
Equations (2017), available at http://dx.doi.org/10.1080/17476933.2016.1250399. E-print:
arXiv:1507.02257.
[18]
, Symmetry, geometry, and quantization with hypercomplex numbers, Geometry, Integrability
and Quantization 18 (2017), 11–76. E-print: arXiv:1611.05650.
[19] John Olsen, The geometry of möbius transformations, Rochester: University of Rochester (2010).
[20] Steven Roman, Advanced linear algebra, Third, Graduate Texts in Mathematics, vol. 135, Springer,
New York, 2008. MR2344656
[21] D. S. Shirokov, Symplectic, orthogonal and linear Lie groups in Clifford algebra, Adv. Appl. Clifford
Algebr. 25 (2015), no. 3, 707–718. MR3384856
[22] Barry Simon, Szegö’s theorem and its descendants, M. B. Porter Lectures, Princeton University Press,
Princeton, NJ, 2011. Spectral theory for L2 perturbations of orthogonal polynomials. MR2743058
[23] S. Ulrych, Conformal Numbers, Adv. Appl. Clifford Algebr. 27 (2017), no. 2, 1895–1906. MR3651548
[24] I. M. Yaglom, A simple non-Euclidean geometry and its physical basis, Springer-Verlag, New YorkHeidelberg, 1979. An elementary account of Galilean geometry and the Galilean principle of relativity, Heidelberg Science Library, Translated from the Russian by Abe Shenitzer, With the editorial
assistance of Basil Gordon. MR520230
School of mathematics, University of Leeds.
E-mail address: mmkam@leeds.ac.uk

23

