situation is different in the case of the two-element module
T
2
=
T
/
2
T
whencompared with the two-element tritone-chord 6
T
=
{
0
,
6
}
. They are isomorphicas
Z
12
-modules, but 6
T
is not a retract of
T
. Analogously, 2
T
is not a retractof
T
.
Definition 2
Let
A
3
and
A
4
denote the monoids of affine endomorphisms of the
Z
12
-modules
T
3
and
T
4
respectively. The elements of
A
3
are called
dimtoneperspectives
and the elements of
A
4
are called
augtone perspectives
.Let
A
3
×
4
:=
A
3
⊕
A
4
denote the direct product of the monoids
A
3
and
A
4
. Itselements are called
outer tone perspectives
.
Lemma 2
Each tone perspective
f
∈
A
induces a dimtone perspective
f
3
∈
A
3
as well as an augtone perspective
f
4
∈
A
4
by virtue of
f
3
(
t
3
) := (
f
(
t
))
3
and
f
4
(
t
4
) := (
f
(
t
))
4
. The mappings
?
3
:
A
→
A
3
and
?
4
:
A
→
A
4
are surjectivemonoid morphisms. Especially, the restriction of
?
3
to
A
(4
T
)
(and of
?
4
to
A
(3
T
)
) yields a monoid isomorphism
A
(4
T
)
∼
=
A
3
(and
A
(3
T
)
∼
=
A
4
).
Proof:
Take
f
=
b
a
. Then
f
3
((
t
+ 3
k
)
3
) = (
f
(
t
+ 3
k
))
3
= (
a
(
t
+ 3
k
) +
b
)
3
= (
at
+
b
)
3
= (
f
(
t
))
3
=
f
3
(
t
3
)
.
Hence the definition of
f
3
does not depend on the representatives of an ar-gument. Further, (
f
◦
g
)
3
(
t
3
) = (
f
(
g
(
t
))
3
=
f
3
((
g
(
t
))
3
) = (
f
3
◦
g
3
)(
t
3
) andobviously (
0
1)
3
is the identity in
A
3
. Finally, two tone perspectives
b
a
and
d
c
induce the same dimtone perspective, if and only if both differences
b
−
d
and
a
−
c
are multiples of 3. An inspection of
A
(4
T
) =
{
b
a
|
a,b
∈
0
,
4
,
8
}
shows thatthese nine tone perspectives represent nine different dimtone perspectives, justbecause 0
,
4
,
8 represent different residue classes modulo 3. Hence we are donewith
f
3
. The same line of arguments works for
f
4
.
The following lemma shows that tone perspectives are in a natural 1-1-correspondencewith the outer tone perspectives.
Lemma 3
The mapping
?
3
×
4
:
A
→
A
3
×
4
with
f
3
×
4
:= (
f
3
,f
4
)
is an isomor-phism of monoids.
Proof:
We construct the inverse mapping ?
∗
4
×∗
9
:
A
3
×
4
→
A
as follows: Let
f
=
b
+3
k
(
a
+ 3
l
) and
g
=
d
+4
m
(
c
+ 4
n
) be arbitrary representatives of anargument (
f
3
,g
4
). Its image (
f
3
,g
4
)
∗
4
×∗
9
∈
A
has to be independent of thevariables
k,l,m,n
. Indeed, we set(
f
3
,g
4
)
∗
4
×∗
9
:=
4(
b
+3
k
)+9(
d
+4
m
)
(4(
a
+ 3
l
) + 9(
c
+ 4
n
)) =
4
b
+9
d
(4
a
+ 9
c
)
.
Hence the mapping is well-defined. Now we check that it is inverse to ?
3
×
4
.For
f
=
b
a
and (
f
3
,g
4
) = ((
b
a
)
3
,
(
d
c
)
4
) we compute,(
f
3
×
4
)
∗
4
×∗
9
= ((
b
a
)
3
,
(
b
a
)
4
)
∗
4
×∗
9
=
4
b
+9
b
4
a
+ 9
a
=
b
a
=
f,
((
f
3
,g
4
)
∗
4
×∗
9
)
3
×
4
= (
4
b
+9
d
4
a
+ 9
c
)
3
×
4
= ((
b
a
)
3
,
(
d
c
)
4
) = (
f
3
,g
4
)
.
Finally, the product map ?
3
×
4
=?
3
×
?
4
:
A
→
A
3
⊕
A
4
is a monoid morphism,because its factors ?
3
:
A
→
A
3
and ?
4
:
A
→
A
4
are monoid morphisms.
3
Leave a Comment