by the author of this article using the format denoteX, a standard universal format which can be communicated to any text editor. Evidently, we can only show some fragments of this example, due to space limitations.
7.1 Modules in Musicology
This algebraic structure was chosen for theoretical and practical reasons, from a mathematical standpoint as well as from a musicological one. We will present some examples that show certain modules that play an outstanding role in TMM.
Example: A very important module in MMT is the monoid ring
. This construction lets us use the universal ASCII code, that is, the set of ASCII characters that we need in order to represent any situation in which words appear (but which must be adjusted to our theory, based on the presheaf
). We construct
with an alphabet
and a commutative coefficient ring
. Then
is the free monoid of all words
generated by
. The monoid ring,
are all the sums
with only a finite number of coefficients
in
.
The ring
is constructed over the integer ring
. For the names of denotators and forms of Simple type, we will usually only use
for one determined word
, which gives us
; however there are situations in which
can be used as a
- module. This could be, for example, when there are different multiplicities of »sub-forms« used in a given form (for example, Pianoscore form, Figure 1).
Example: The form
has its coordinator in the module
over
:
Simple
Let
be the canonical base of
, where
is the axis of octaves (as a musical interval),
of the fifths and
of thirds. Each point in the space
,
, can be written as
. In the same way, the major third and fifth can be associated with the points
and
(see Mazzola, 2002, Appendix A.2), that represent the minor fourth and sixth respectively. Also
This tells us that any note (which, in turn, can be conceived as an interval, or difference of two notes, because the note and the interval are associated with a vector) can be generated by the octave, the fifth and the major third by means of interchange, juxtaposition and division.
Example. Another example of important modules for MMT are direct sums, that is, forms which are themselves constructed by products of forms of Simple type (diagrams without arrows in category theory language).
Let
Simple
Simple
.
Then, on the one hand, we have