Professional Documents
Culture Documents
Thomas Noll∗
Department of Computer Science
Technical University of Berlin
November 4, 2001
Abstract
This article provides an introduction to basic geometric investigations
of the 12-tone sytem and its subsets, the chords. The various definitions
and results are intended to lay a theoretical basis for 12-tone-based explo-
rative and empirical research on occidental harmony. The entire approach
is motivated by the assumption that the 12 tones do not constitute an ar-
bitrary 12-element set with arbitrary paradigmatic relations, but rather
a discrete geometrical space. Transpositions obviously are instances of
paradigmatic relations, that are reflected by affine transformations. From
the mathematical point of view, the article presents a straightforward
elaboration of this observation. From the music theoretical point of view
it is of speculative nature and asks for experimental studies.
1 Tone Perspectives
Consider the ring Z12 of residue classes of integers modulo 12. Let T denote
the 12-tone module - i.e., Z12 understood as a module over itself. Its points
are called tones.1 Affine endomorphisms f : T → T of the tone module are
called tone perspectives. Each one is given by a multiplication factor a ∈ Z12 ,
together with a translation summand b ∈ T and we write b a in order to denote
the corresponding tone perspective b a : T → T with b a(t) = at+b. The 144 tone
perspectives form a monoid A with respect to the operation ◦ of concatenation.
One has d c ◦ b a = cb+d (ca).
There are 6 submodules K ⊆ T, namely the two trivial ones: T and 0T = {0}
and 4 proper submodules: 2T, 3T, 4T and 6T. For each submodule K ⊆ T
consider the submonoid A(K) = {f ∈ A|f (K) ⊆ K} of selfperspectives of K,
consiting of those tone perspectives mapping K into itself. Furthermore, we will
∗ Interdisciplinary Research Group KIT-MaMuTh for Mathematical Music Theory financed
by the Volkswagen-Stiftung
1 In a music theoretical application of this model one has to be more careful in dealing with
the meaning of the elements of T. One might formally distinguish the carrier sets Z12 and T
from one another in order to avoid confusion between scalar factors and tones.
1
be concerned with the factor module T/K, whoose elements are affine subspaces
t + K associated with K.
The following definition and lemma focus on the proper submodules 3T and 4T
and the corresponding factor modules T/3T and T/4T.
Remark 1 The technical terms ”dimtone” and ”augtone” shall, on the one
hand, refer to the traditional terms ”diminished seventh chord” and ”augmented
triad”. On the other hand we do not intend to refer to the operations of diminu-
tion and augmentation in this definition.
Lemma 1 Let ?3 and ?4 denote the projection maps from T onto T3 and T4
respectively and consider their product map ?3×4 onto T3×4 , i.e.
?3 : T → T3 with t3 := t + 3T,
?4 : T → T4 with t4 := t + 4T,
?3×4 : T → T3×4 with t3×4 := (t3 , t4 ).
Proof:
1. The value 0 4(t + 3k) = 4t does not depend on k, and, furthermore we have
(4t)3 = t3 . Similarily, the value 0 9(t + 4k) = 9t does not depend on k, and
(9t)4 = t4 .
2. ((t, s)∗4×∗9 )3×4 = (4t + 9s)3×4 = (t + 3(t + 3s), s + 4(t + 2s). The last pair
represents the same element of T3×4 as (t, s) does. Conversely, we have
(t3×4 )∗4×∗9 = (t3 , t4 )∗4×∗9 = (4t + 9t) = t.
According to this lemma, one has a natural identification of the augtone-module
T4 with the dimtone 3T = {0, 3, 6, 9} as well as of the dimtone-module T3 with
the augtone 4T = {0, 4, 8}, such that they can be viewed as retracts of T. The
2
situation is different in the case of the two-element module T2 = T/2T when
compared with the two-element tritone-chord 6T = {0, 6}. They are isomorphic
as Z12 -modules, but 6T is not a retract of T. Analogously, 2T is not a retract
of T.
Definition 2 Let A3 and A4 denote the monoids of affine endomorphisms of
the Z12 -modules T3 and T4 respectively. The elements of A3 are called dimtone
perspectives and the elements of A4 are called augtone perspectives.
Let A3×4 := A3 ⊕ A4 denote the direct product of the monoids A3 and A4 . Its
elements are called outer tone perspectives.
Lemma 2 Each tone perspective f ∈ A induces a dimtone perspective f3 ∈ A3
as well as an augtone perspective f4 ∈ A4 by virtue of f3 (t3 ) := (f (t))3 and
f4 (t4 ) := (f (t))4 . The mappings ?3 : A → A3 and ?4 : A → A4 are surjective
monoid morphisms. Especially, the restriction of ?3 to A(4T) (and of ?4 to
A(3T)) yields a monoid isomorphism A(4T) ∼ = A3 (and A(3T) ∼= A4 ).
Proof: Take f = b a. Then
f3 ((t + 3k)3 ) = (f (t + 3k))3 = (a(t + 3k) + b)3 = (at + b)3 = (f (t))3 = f3 (t3 ).
Hence the definition of f3 does not depend on the representatives of an ar-
gument. Further, (f ◦ g)3 (t3 ) = (f (g(t))3 = f3 ((g(t))3 ) = (f3 ◦ g3 )(t3 ) and
obviously (0 1)3 is the identity in A3 . 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(4T) = {b a | a, b ∈ 0, 4, 8} shows that
these nine tone perspectives represent nine different dimtone perspectives, just
because 0, 4, 8 represent different residue classes modulo 3. Hence we are done
with f3 . The same line of arguments works for f4 .
The following lemma shows that tone perspectives are in a natural 1-1-correspondence
with the outer tone perspectives.
Lemma 3 The mapping ?3×4 : A → A3×4 with f3×4 := (f3 , f4 ) is an isomor-
phism of monoids.
Proof: We construct the inverse mapping ?∗4×∗9 : A3×4 → A as follows: Let
f = b+3k (a + 3l) and g = d+4m (c + 4n) be arbitrary representatives of an
argument (f3 , g4 ). Its image (f3 , g4 )∗4×∗9 ∈ A has to be independent of the
variables k, l, m, n. Indeed, we set
4(b+3k)+9(d+4m) 4b+9d
(f3 , g4 )∗4×∗9 := (4(a + 3l) + 9(c + 4n)) = (4a + 9c).
Hence the mapping is well-defined. Now we check that it is inverse to ?3×4 .
For f = b a and (f3 , g4 ) = ((b a)3 , (d c)4 ) we compute,
(f3×4 )∗4×∗9 = ((b a)3 , (b a)4 )∗4×∗9 = 4b+9b 4a + 9a = b a = f,
((f3 , g4 )∗4×∗9 )3×4 = (4b+9d 4a + 9c)3×4 = ((b a)3 , (d c)4 ) = (f3 , g4 ).
Finally, the product map ?3×4 = ?3 ×?4 : A → A3 ⊕ A4 is a monoid morphism,
because its factors ?3 : A → A3 and ?4 : A → A4 are monoid morphisms.
3
Remark 2 Besides the monoid structure of A, A3 , A4 and A3×4 these sets carry
the structure of a Z12 -module (e.g., addition in A is given by b a+ d c = b+d (a+c)
and scalar multiplication by k(b a) = kb (ka). The above calculations make clear
that the monoid morphisms ?3 , ?4 and ?3×4 are, at the same time, linear module
morphisms.
However, the additive module structure and the multiplivative monoid structure
do not combine into a ring structure, because the distributivity law is not fulfilled:
Left distributivity is fulfilled:
Some contructions for rings like ideals are also meaningful in the present situ-
ation. A useful generalization of right and left ideals in rings to a monoid like
A are sieves and cosieves in the category A (a monoid is a category consist-
ing of one object, while its elements are interpreted as arrows). It appears in
our situation of the ”pseudo-ring” A, that the cosieves share the properties of
”left-ideals”, while only a few out of many sieves show the additive properties of
”right-ideals”.
While there are thousands of A-sieves, there are only 6 A-cosieves, namely the
submodules T (kZ12 ) ⊆ A (for k ∈ {0, 1, 2, 3, 4, 6}) (see Remark 2). All A-sieves
are semigroups, but not vice versa (e.g., the only sieve R among the submonoids
M ⊆ A is A itself, because 0 1 ∈ R always implies 0 1 ◦ f = f ∈ R for all f ∈ A).
4
2 Tone Symmetries
Among the 144 tone perspectives there are 48 invertible ones, namely those
having multiplicative units in Z∗12 = {1, 5, 7, 11} as multiplication factors. They
form a group A∗ ⊂ A and are called tone symmetries.
Similarly, we write A∗3 ⊂ A3 to denote the 3-element group of dimtone symme-
tries within the 9-element monoid of dimtone perspectives and we write A∗4 ⊂ A4
for the 8-element group of augtone symmetries within the 16-element monoid of
augtone perspectives.
We consider three actions of the group A∗ on A:
lef t : A∗ × A → A with lef t(s, f ) := s ◦ f.
right : A∗ × A → A with right(s, f ) := f ◦ s.
conj : A∗ × A → A with conj(s, f ) := s ◦ f ◦ s−1 .
These three actions induce actions lef t3 , right3 , conj3 of A∗3 on A3 as well as
actions lef t4 , right4 , conj4 of A∗4 on A4 (e.g. lef t3 (s3 , f3 ) := (lef t(s, f ))3 ).
Proposition 1 Let A3 /lef t3 , A3 /right3 and A3 /conj3 denote the sets of orbits
of dimtone perspectives with respect to the actions lef t3 , right3 and conj3 , re-
spectively, and let A4 /lef t4 , A4 /right4 and A4 /conj4 denote the sets of orbits
of dimtone perspectives with respect to the actions lef t4 , right4 and conj4 . In
detail one has the following orbits:
1. A3 /lef t3 consists of two orbits: {(0 0)3 , (4 0)3 , (8 0)3 } and A∗3 .
2. A3 /right3 consists of four orbits: {(0 0)3 }, {(4 0)3 }, {(8 0)3 } and A∗3 .
3. A3 /conj3 consists of four orbits: {(0 0)3 , (4 0)3 , (8 0)3 }, {(0 4)3 }, {(4 4)3 , (8 4)3 }
and {(0 8)3 , (4 8)3 , (8 8)3 }.
4. A4 /lef t4 consists of three orbits: {(0 0)4 , (9 0)4 , (6 0)4 , (3 0)4 },
{(0 6)4 , (9 6)4 , (6 6)4 , (3 6)4 } and A∗4 .
5. A4 /right4 consists of seven orbits: {(0 0)4 }, {(9 0)4 }, {(6 0)4 },
{(3 0)4 }, {(0 6)4 , (6 6)4 }, {(9 6)4 , (3 6)4 } and A∗4 .
6. A4 /conj4 consists of seven orbits: {(0 0)4 , (9 0)4 , (6 0)4 , (3 0)4 }, {(0 6)4 , (6 6)4 },
{(9 6)4 , (3 6)4 }, {(0 9)4 }, {(6 9)4 }, {9 3)4 , (3 3)4 } and {(0 3)4 , (9 3)4 , (6 3)4 , (3 3)4 }.
The verification of this propositions is left to the reader.
Let A∗3×4 = A∗3 × A∗4 denote the group of outer tone symmetries within the
monoid A3×4 of all outer tone perspectives. The actions lef t3 , right3 , conj3
and lef t4 , right4 , conj4 induce three actions
lef t3×4 , right3×4 , conj3×4 : A∗3×4 × A3×4 → A3×4
(e.g. lef t3×4 ((s3 , s4 ), (f3 , f4 )) := (lef t3 (s3 , f3 ), lef t4 (s4 , f4 )). Obviously, the
sets A3×4 /lef t3×4 , A3×4 /right3×4 and A3×4 /conj3×4 of orbits of these three ac-
tions consist of cartesian products O3 × O4 of orbits O3 and O4 with respect to
5
the corresponding actions on A3 and A4 . As a consequence, the above propo-
sitions provide a complete picture of the three orbit structures on A3×4 . Fur-
thermore, the natural isomorphy between (inner) tone perspectives and outer
tone perspectives implies, that the group actions lef t, right and conj yield the
same orbit structures on A as the actions lef t3×4 , right3×4 and conj3×4 do on
on A3×4 . This is subsumed in the following proposition:
Proposition 2 Let A/lef t, A/right, A/conj denote the sets of orbits of tone
perspectives with respect to the group actions lef t, right and cons : A∗ × A → A.
The monoid isomorphism ?3×4 : A → A3×4 induces natural bijections
A/lef t ∼
= A3×4 /lef t3×4 = {O3 × O4 | O3 ∈ A3 /lef t3 , O4 ∈ A4 /lef t4 },
A/right ∼
= A3×4 /right3×4 = {O3 × O4 | O3 ∈ A3 /right3 , O4 ∈ A4 /right4 },
A/conj ∼
= A3×4 /conj3×4 = {O3 × O4 | O3 ∈ A3 /conj3 , O4 ∈ A4 /conj4 }.
40 10 0 10 70 46 10 6 16 76 49 10 9 19 79 43 10 3 13 73
80 20 50 11 0 86 26 56 11 6 89 29 59 11 9 83 23 53 11 3
04 64 94 34 0 10 6 10 9 10 3 10 01 61 91 31 07 67 97 37
44 10 4 14 74 4 10 10 10 1 10 7 10 41 10 1 11 71 47 10 7 17 77
84 24 54 11 4 8 10 2 10 5 10 11 10 8 1 21 51 11 1 87 27 57 11 7
08 68 98 38 02 62 92 32 05 65 95 35 0 11 6 11 9 11 3 11
48 10 8 18 78 42 10 2 12 72 45 10 5 15 75 4 11 10 11 1 11 7 11
88 28 58 11 8 82 22 52 11 2 85 25 55 11 5 8 11 2 11 5 11 11 11
The displayed vertical and horizontal lines in such a TP-Table may be varied in
order to group tone perspectives. In the figure above, the lines indicate, that the
table is based on a recursive embedding of a standardized 3 × 4-table into itself.
The outer large 3 × 4 - frame groups the 144 tone perspectives into 12 small
3 × 4 - frames according to their multiplication factors, while they are displayed
according to their translations inside of each small frame. The standardized
3 × 4-table is the following:
0 6 9 3
4 10 1 7
8 2 5 11
6
TP-Table 1 Orbits of tone perspectives under the action of tone symmetries
by concatenation from the left: A/lef t
00 60 90 30 06 66 96 36 09 69 99 39 03 63 93 33
40 10 0 10 70 46 10 6 16 76 49 10 9 19 79 43 10 3 13 73
80 20 50 11 0 86 26 56 11 6 89 29 59 11 9 83 23 53 11 3
04 64 94 34 0 10 6 10 9 10 3 10 01 61 91 31 07 67 97 37
44 10 4 14 74 4 10 10 10 1 10 7 10 41 10 1 11 71 47 10 7 17 77
84 24 54 11 4 8 10 2 10 5 10 11 10 8 1 21 51 11 1 87 27 57 11 7
08 68 98 38 02 62 92 32 05 65 95 35 0 11 6 11 9 11 3 11
48 10 8 18 78 42 10 2 12 72 45 10 5 15 75 4 11 10 11 1 11 7 11
88 28 58 11 8 82 22 52 11 2 85 25 55 11 5 8 11 2 11 5 11 11 11
These orbits are in bijection with the 6 factor spaces of T (f f (T) ∈ T/K).
TP-Table 2 Orbits of tone perspectives under the action of tone symmetries
by concatenation from the right: A/right
00 60 90 30 06 66 96 36 09 69 99 39 03 63 93 33
40 10 0 10 70 46 10 6 16 76 49 10 9 19 79 43 10 3 13 73
80 20 50 11 0 86 26 56 11 6 89 29 59 11 9 83 23 53 11 3
04 64 94 34 0 10 6 10 9 10 3 10 01 61 91 31 07 67 97 37
44 10 4 14 74 4 10 10 10 1 10 7 10 41 10 1 11 71 47 10 7 17 77
84 24 54 11 4 8 10 2 10 5 10 11 10 8 1 21 51 11 1 87 27 57 11 7
08 68 98 38 02 62 92 32 05 65 95 35 0 11 6 11 9 11 3 11
48 10 8 18 78 42 10 2 12 72 45 10 5 15 75 4 11 10 11 1 11 7 11
88 28 58 11 8 82 22 52 11 2 85 25 55 11 5 8 11 2 11 5 11 11 11
40 10 0 10 70 46 10 6 16 76 49 10 9 19 79 43 10 3 13 73
80 20 50 11 0 86 26 56 11 6 89 29 59 11 9 83 23 53 11 3
04 64 94 34 0 10 6 10 9 10 3 10 01 61 91 31 07 67 97 37
44 10 4 14 74 4 10 10 10 1 10 7 10 41 10 1 11 71 47 10 7 17 77
84 24 54 11 4 8 10 2 10 5 10 11 10 8 1 21 51 11 1 87 27 57 11 7
08 68 98 38 02 62 92 32 05 65 95 35 0 11 6 11 9 11 3 11
48 10 8 18 78 42 10 2 12 72 45 10 5 15 75 4 11 10 11 1 11 7 11
88 28 58 11 8 82 22 52 11 2 85 25 55 11 5 8 11 2 11 5 11 11 11
7
3 Chords and their Perspectives
Definition 4 Nonempty sets of tones are called chords. For a chord X ⊆ T
the module hX − Xi generated by all differences X − X = {x − y | x, y ∈ X}
within a chord X is called the module of that chord and hXi := x + hX − Xi
(for any x ∈ X) is called the affine subspace generated by that chord X. A
chord X is called special if its module hX − Xi is a proper submodule of T.
Non-special chords with hX − Xi = T are called general.
A typology for special chords is given by the 27 proper affine subspaces and the
corresponding 5 proper submodules of T (see TP-Tables 2 and 1).
Lemma 4 The collection 2T of all chords as objects together with all chord
perspectives as arrows forms a category CH. The 12 singletons {x} with x ∈ T
are terminal objects of that category.
So far we used the symbols ”?3 ”, ”?4 ”, ”?3×4 ” on two levels, namely applied to
tones t ∈ T and to tone perspectives f ∈ A. Without causing confusion this
notation can be extended to chords and chord perspectives. However, there has
one detail to be mentioned:
The morphism ?3×4 : T → T3×4 on tones is defined as the diagonal morphism
?3 ×?4 of ?3 : T → T3 and ?4 : T → T4 .
Consider the product category CH3 ×CH4 . Its objects are pairs (X3 , X40 ) con-
sisting of any dimchords X3 and augchords X40 . These are in 1-1-correspondence
to outer cartesian chords X3 × X40 , i.e., the cartesian products of dimchords
8
with augchords, which are particular objects of the category CH3×4 . The sets
of arrows between two pairs (X3 × X40 ) and (Y3 × Y40 ) are the cartesian products
A3 (X3 , Y3 )×A4 (X40 , Y40 ) = A3×4 (X3 ×X40 , Y3 ×Y40 ). Let κ : CH3 ×CH4 → CH3×4
denote the functor sending a pair (X3 , X40 ) to its cartesian product X3 × X40 and
a pair (f3 , f40 ) ∈ A3 (X3 , Y3 ) × A4 (X40 , Y40 ) to itself. This defines an embedding
of CH3 × CH4 onto a full subcategory of CH3×4 . For this reason, the functor κ
is called the cartesian embedding.
? := (?3×4 )∗4×∗9 : CH → CH
Each map ? : A(X, Y ) → A(X , Y ) is a set inclusion. This expresses the fact
that chord perspectives f ∈ A(X, Y ) are also chord perspectives with respect
to the cartesian closures X and Y of X and Y .
9
A({0, 6}) A({0, 9}) A({0, 6, 9}) A({0, 6, 9, 3})
q q q q qq qq qq qq q q q q qqq qq q q qqqqqqqqqqqqqqqq
A({0})
q q q q qq qq qq qq q q q q qqq qq q q qqqqqqqqqqqqqqqq
q q q q qq qq qq qq q q q q qqq qq q q qqqqqqqqqqqqqqqq
A({0, 4}) A({0, 6, 4, 10}) A({0, 9, 4, 1}) A({0, 6, 9, 4, 10, 1}) A(T\{8, 2, 5, 11})
qq qq qq qq qq qq qq qq qq qq qq qq qq qq qq qq qq qq qq qq qq qq qq qq qq qq qq qq qq qq qq qq qq qq qq qq qq qq qq
q q q q qq qq qq qq q q q q qqq qq q q qqqqqqqqqqqqqqqq
q q q q qq qq qq qq q q q q qqq qq q q qqqqqqqqqqqqqqqq
A({0, 4, 8}) A({0, 6, 4, 10, 8, 2}) A({0, 9, 4, 1, 8, 5}) A(T\{3, 7, 11})
qq qq qq qq qq qq qq qq qq qq qq qq qqq qq qq qq qq qq qq qq qq qq qq qq qq qq qq qq qq qq qq qq qq qq qq qq qq qq qq
A(T)
. .. .. ... ....
: :: :: ::: ::::
... ...... ... ... ......... ............
Any chord X is special if and only if its cartesian closure X is special. In
the Appendix we list the 3- and 4-chords according to the their general and
special cartesian types.
The following considerations shed some light on the notion of chord ”perspec-
tives”. For each chord X one may study the set-valued representable functors
@X and X@, i.e., the images of X under the Yoneda embeddings of the category
op
CH into the functor categories SetsCH and SetsCH . We recall the definition
of these functors:
Definition 7 Fix a chord X ∈ |CH|.
• The covariant functor X@ : Ch → Sets maps a chord Y to the set
X@Y := A(X, Y ) of chord perspectives from X into Y and takes chord
a perspective f ∈ Y1 , Y2 to the set map
X@f : X@Y1 → X@Y2 with X@f (g) := f ◦ g
.
• The contravariant functor @X : Ch → Sets takes a chord Y to the set
Y @X := A(Y, X) of chord perspectives from Y into X and takes a chord
perspective f ∈ Y2 , Y1 to the set map
f @X : Y1 @X → Y2 @X with f @X(g) := g ◦ f
.
10
The functor X@ collects all chord perspectives starting from a fixed viewpoint
X with variable scope, whereas the functor @X collects all chord perspectives
with a fixed scope X and varying viewpoints. The functoriality is reflected in a
natural control of the change of perspectives under scope change and viewpoint
change respectively.
In order to systematically refer to the images f (X) of a chord X under var-
ious tone perspectives f we define the map imgX : A → |CH| with imgX (f ) :=
f (X).
Lemma 6 Fix a chord X ∈ |CH|. The collection of all Ximg @Y := imgX (X@Y )
for varying chords Y determines a covariant functor Ximg @ : CH → Sets. The
family of the restrictions imgX |X@Y of imgX for varying chords Y defines a
natural epimorphism imgX of the functor X@ onto the functor Ximg @.
Proof: For a fixed scope change f ∈ A(Y1 , Y2 ). The functor X@ yields the set
map X@f : X@Y1 → X@Y2 mapping any g ∈ X@Y1 to f ◦ g. Now, suppose
that g(X) is an element of imgX |X@Y1 , and that g 0 (X) represents the same
element, i.e., g(X) = g 0 (X). Then Ximg @f (g(X)) can be defined as f (g(X)),
which in turn coincides with f (g 0 (X)), and hence is well-defined.
X@f
X@Y1 - X@Y2
? Ximg @f ?
Ximg @Y1 - Ximg @Y2
As the diagram illustrates, imgX is a natural transformation. Its surjectivity at
each scope Y is obvoius.
Remark 4 The collection imgY (Y @X) for a fixed scope chord X and varying
viewpoint chords Y does not give rise to a contravariant functor from CH to
Sets in a natural way. Consider, for example, the fixed scope X = T, the
two viewpoint chords Y1 = T, Y2 = {0, 1, 2, 3, 4, 5}, and the tone perspective
0
2 ∈ A(Y2 , Y1 ) as a change of viewpoint. Suppose we are about to define the
value F u(f ) : imgY1 (Y1 @X) → imgY2 (Y2 @X) of a candidate F u for such a
functor. We look, for example, at the argument T = 0 1(Y1 ) = 1 1(Y1 ). But then
there would be more than one natural value for F u(f )(T), namely 0 1(f (Y2 )) =
{0, 2, 4, 6, 8, 10} and 1 1(f (Y2 )) = {1, 3, 5, 7, 9, 11}.
11
The category CH consists of 157 isomorphy classes. These are called chord
classes and are listed in [2], [4], [3]. Further, for each chord X one has an action
conjX : A∗ (X) × A(X) → A(X) induced by the conjugation conj : A∗ × A → A
(cf. Paragraph 2). The monoids A(X) of selfperspectives, the groups A∗ (X)
of selfsymmetries as well as the resulting conjugation classes A(X)/conjX are
studied in [4].
4 Harmonic morphemes
The considerations of this paragraph are based on the perspectivic incidence
relation H between tone perspectives and chords.
Let us take a closer look at this relation in order to generalize the usual study
of common chord tones2 to that of common chord perspectives. Technically, we
build formal concepts on the basis of perspectivic incidence:
We introduce the following terminology: Ext and Int are called the (formal)
harmonic extension and intension maps, respectively. The two ”coordinates”
M and U of a harmonic morpheme (M, U ) are called the intension and the
extension of this morphem. Harmonic morphemes can be obtained in two ways:
1. Start with any set U ⊆ |CH| of chords and construct the morpheme
(Int(U ), Ext(Int(U )). The concatenation Ext ◦ Int : 2|CH| → 2|CH| is
called the extensional completion
2. Start with any set M ⊆ A of tone perspectives and construct the mor-
pheme (Int(Ext(M )), Int(M )). The concatenation Int ◦ Ext : 2A → 2A
is called intensional saturation.
Let MON denote the set of all submonoids of A. According to the lemma,
it would be sufficient to run through all monoids M ∈ MON in order to get
2 In functional harmony common chord tones indicate the possibility of functional synonymy
of two chords.
12
all harmonic morphemes through M (Int(Ext(M ), Ext(M )). Let further
MON s denote the subset of all saturated submonoids of the form Int(Ext(M )) ⊆
A. The set of all harmonic morphemes is parametrized by MON s .
As a preliminary step of our investigation we study two maps int and ext
in opposite direction, that are related to single chords rather than to sets of
chords.
int
|CH|.
MON -
ext
Recall that for singleton chordsets U = {X} one has Int({X}) = A(X), i.e.,
the intension of a single chord consists of its chord perspectives. We define:
Remark 5 The set |CH| can be viewed as a retract of MON . The map ext is
surjective and the composition ext ◦ int yields the identity map on |CH|.
The lemma suggests to study the fibers ext−1 (X) for all chords X in order to
get a systematic overview over all morphemes. These fibers are partially ordered
according to the inclusion of morphemes and have an upper and a lower limit,
which are characterized through the following proposition:
Proof: The chord ext(M ) belongs to all three chordsets Ext(M0 ), Ext(M )
and {ext(M )}. Hence, the corresponding intensions contain no other constant
tone perspectives than those in M0 , i.e., the three monoids indeed belong to
13
the same fiber ext−1 (ext(M )). Further these chord sets satisfy the inclusions
{ext(M )} ⊆ Ext(M ) ⊆ Ext(M0 ), since M0 ⊆ M . Hence the corresponding
intensions have inclusions in the reverse order. Finally, the inclusions hold
independent of the particular choice of M ∈ ext−1 (ext(M )), defining the same
M0 and ext(M ).
Definition 10 A chord X is called poor if the identity 0 1 and the constant tone
perspectives x 0, x ∈ X, are its only selfperspectives, i.e., if int(X) = X 0 ∪ {0 1}.
A chord X is said to be primitive if its selfperspectives are shared by all of its
superchords, i.e., if Ext(int(X)) = Super(X) := {Y |X ⊆ Y }.
{0, 1, 3}, {0, 1, 2, 4}, {0, 1, 2, 5}, {0, 1, 2, 3, 5}, {0, 1, 2, 4, 5}.
In order to get the full picture of all harmonic morphemes one has to investigate
all the saturated monoids within the partially ordered sets ext−1 (X), where X
runs through representatives of the 157 chord classes. For this it is sufficient to
calculate representatives for the conjugation classes MON s (X)/conjX of satu-
rated monoids within MON s (X) := MON s ∩ ext−1 (X) under the conjugation
action of the selfsymmetries A∗ (X) of X.
These calculations have been carried out for all morphemes
by the help of a Mathematica notebook. On the whole, there are 25364 such
morphemes. The detailed results cannot be published within this article.3
What remains, is the calculation of those morphemes with no constant tone
perspectives in their intensions. The saturated groups have first been described
as ”musical” groups in [1]. The general case can be studied in a refined way in
terms of global morphemes (see next paragraph).
3 Contact the author in order to get a textfile with the results or the program.
14
5 Harmonic Topology
The following topological constructions are studied by Guerino Mazzola (cf. [3],
chapter 24) in the much more general situation of functorial local compositions
and their endomorphisms. However, we recall some aspects within the narrow
context of chords and chord perspectives.
For a given set M ⊆ A of tone perspectives let M ≺ := {M 0 ∈ MON |M 0 ⊇
M } denote the set of all supermonoids of M . These sets M ≺ are called basic
monoid neighbourhoods. Similarly, we call chord extensions Ext(M ) basic chord
neighbourhoods.
Lemma 8 The familiy of basic monoid neighbourhoods is closed with respect to
intersection: For any M1 , M2 ⊆ A let hM1 , M2 i∗ denote the monoid generated
from M1 and M2 . One has
(M1 ∪ M2 )≺ = M1≺ ∩ M2≺ = hM1 , M2 i≺
∗
15
The topologies IN T and EX T are rather exotic ones. In terms of the axioms
of separation from general topology T0 , T1 , T2 , we have the following character-
izations:
Proposition 6 Both topologies IN T and EX T satisfy the T0 -axiom, but not
the T1 -axiom. The closures of singletons are explicitly given as follows:
• For any M ∈ MON one has M = M := {M 0 ∈ MON | M 0 ⊆ M }.
• For any X ∈ |CH| one has X = {X 0 ∈ |CH| | Ext(int(X 0 )) ⊆ Ext(int(X))}.
Proof: Two monoids M1 , M2 , are not equal, if and only if M1 6∈ M2≺ or M2 6∈
M1≺ , hence the topology IN T is T0 . The same holds for any two chords and
their minimal neighbourhoods: X1 6= X2 if and only if X1 6∈ Ext(int(X2 )) or
X2 6∈ Ext(int(X1 )). Hence the topology EX T is T0 .
The closure M of a monoid M is the complement of the largest open set not
containing M , i.e.,
≺
[
M =( M 0 )c = {M 0 | M 0 6⊆ M }c = {M 0 | M 0 ⊆ M } = M
M 0 6⊆M
P = {4 8,0 4,0 0,4 0,0 1}, Q = {1 3,4 9,1 0,4 0,0 1}.
16
The open set Ext(P ) ∪ Ext(Q) being covered by Ext(P ), Ext(Q), provides
a suitable model for chords representing the same tonal function. Observe
that the generated monoid hP, Qi∗ = int({0, 1, 4}) is the intension of the ”C-
Major-triad”. The extension Ext(int({0, 1, 4}))) contains only particular su-
perchords of {0, 1, 4}, but not the ”parallel”-triad {0, 1, 3} or the ”counter”-
triad {1, 4, 5}. These and other prototypical representatives of the tonic triad
{0, 1, 4} in functional harmony are suitably modelled by the global morpheme
({P, Q}, {Ext(P ), Ext(Q)}). An even more refined filtering of all chords in their
partially ordered roles as ”fuzzy” representatives of a given chord X is suitably
described in terms of the global morphem
(int(X)s , {Ext(M ) | M ∈ int(X)s }).
See [4] and [5] for a music theoretical discussion of this proposal.
Another situation where global morphemes can be considered is the study of
saturated monoids M ∈ MON s without constant tone perspectives. We give
only a sketch of this procedure. For any monoid M of tone perspectives one has
the relation
ΓM = {(s, t) ∈ T × T | ∃f ∈ M withf (s) = t}
M0 = ∅ implies that the equivalence closure of ΓM splits into more than one
chord as equivalence classes. The stable images ImM (Xi ) of these chords Xi
(i = 1, , , , , n) under iterated application of the elements of M yield the minimal
local placeholders ImM (Xi ) 0 for the missing global constant tone perspectives
within M . The whole variety of candidates is given by collections of chords
{Yi ∈ Ext(M ) | ImM (Xi ) ⊆ Yi ⊆ Xi }, where i runs at least over two indices
between 1 and n.
tk
In order to describe a k-voice leading, where, from an melodic point of
view, k voices make their individual tone-steps simultaneously, or where, from
an harmonic point of view, one has a succession of two k-voicings, one can
conveniently switch between the 3 interpretations of k × 2 − matrices,
17
s1 t1 (s1 t1 ) s1 t1
.. .. , ..
σ= . σmelo = , σharmo = ... ... .
. .
sk tk (sk tk ) sk tk
1 0
5
8
8 8, 5 9
5 - 0 S 5 0
10 5
3 8
1 - 1 A 1 1
10
3, 8 4 2
3
2 - 4 T 2 4
11
1, 8 4 1
1, 1 4
1 - 0 B 1 0
i
On each arrow from left to right we list the non-constant elements of ~σcaus , and
on each arrow from right to left we list the non-constant elements of ~σfi in .
18
Example 2 Typical 4-voice leading of the succession G7 - C
5 0
11 4
σ=
1 1
2 0
5
8
8 6, 5 8, 5 9
5 - 0 S 5 0
8 11 11
4 3, 6
11 - 4 A 11 4
5
8
1 - 1 T 1 1
2
8
8 3, 2 9
2 - 0 B 2 0
5
8
8 3, 5 6
5 - 0 S 5 0
7
8
4 1, 7 4, 11
6, 11
9, 7 10
11 - 4 A 11 4
7
1, 5 3, 11
9
8 - 1 T 8 1
7
8
4 1, 7 4, 7 10
7 - 0 B 7 0
The main idea behind these perspectivic interpretations is to provide a link be-
tween single tone successions within the voices and chord perspectives between
the chords that are connected through the specific voicings. A systematic in-
vestigation of all typical and rare voice leadings from or to a fixed chord X on
the background of the functor Ximg @ will be subject of a future study.
19
References
[1] Mazzola, G.: Gruppen und Kategorien in der Musik, Heldermann,
Berlin 1985.
[2] Mazzola, G.: Die Geometrie der Töne, Birkhäuser, Basel 1990.
[3] Mazzola, G.: The Topos of Music, Birkhäuser, Basel 2002 (to appear).
7 Appendix: Chordicon
20
Table 2: General 3- and 4-chords of cartesian type :::
Class TP-Table Representatives
q qq
q
9
q qq qq
q q
12
qq q q
q q
q q
22
q q qq q q
q q
q q
25
q qq q q q q q
q qq
q
26
qq q q q q q q
q q q
q
29
28 q
qqq q q q
qq q
qq
qq q
30
21
Table 4: General 4-chords of cartesian type ::::
Class TP-Table Representatives
qqqqqq
q q
24
qqqq
q q
q q
27
qqqqqqqq
qq qq
qq qq
33
08 q
qq q
q q
18
q q
qq q
19
qqq qq
q q
20
qqq
q q
23 q
qqq qq
q q q
q q
32
22
Table 6: General 3- and 4-chords of cartesian type
............
Class TP-Table Representatives
q qq
q q
q
17
q qq qq
q q q
21 q q
14 q q
qq qq qq qq
qq qq qq qq qq qq qq qq
36 qq qq qq qq
23
Table 10: Special 3- chords of cartesian type
...
Class TP-Table Representatives
qq qq qq qq
qq qqq qqq qqq
q
qqq qq qq qq
qq qq qq
16 q
24