Sane and insane temperaments: Difference between revisions

(6 intermediate revisions by 3 users not shown)

Line 13:

Note that the GCD criterion above does not change no matter which mapping matrix (and hence, set of generators) you choose for the temperament.

It turns out that an equivalent definition is that a temperament is insane iff its kernel is [[~~Saturation~~|unsaturated]], when expressed as a subgroup of the full-limit. This is the same problem that would typically lead to torsion if tempered out of the full-limit. Torsion can be gotten rid of by restriction the temperament to a smaller subgroup, but if you do so, you are instead guaranteed to get an insane temperament.

It turns out that an equivalent definition is that a temperament is insane iff its kernel is [[Mathematical theory of saturation|unsaturated]], when expressed as a subgroup of the full-limit. This is the same problem that would typically lead to torsion if tempered out of the full-limit. Torsion can be gotten rid of by restriction the temperament to a smaller subgroup, but if you do so, you are instead guaranteed to get an insane temperament.

Some further examples:

Line 20:

The 2.9.5 restriction of 2.3.5 81/80 (meantone) is a weak restriction that is not insane. The resulting temperament is generated by the tempered 2/1 and 9/8. The original subgroup of 2.9.5 contains 9/1 as an interval but not 3/1. However, since 9/1 is a generator of this temperament, there is no way to "split" it further to obtain an unmapped 3/1, so it is not insane. The kernel is 81/80, which is a saturated lattice of the 5-limit, so we have a sane temperament.

[[Category:Regular temperament theory]]

[[Category:Math]]

@@ Line 13: / Line 13: @@
 Note that the GCD criterion above does not change no matter which mapping matrix (and hence, set of generators) you choose for the temperament.
-It turns out that an equivalent definition is that a temperament is insane iff its kernel is [[Saturation|unsaturated]], when expressed as a subgroup of the full-limit. This is the same problem that would typically lead to torsion if tempered out of the full-limit. Torsion can be gotten rid of by restriction the temperament to a smaller subgroup, but if you do so, you are instead guaranteed to get an insane temperament.
+It turns out that an equivalent definition is that a temperament is insane iff its kernel is [[Mathematical theory of saturation|unsaturated]], when expressed as a subgroup of the full-limit. This is the same problem that would typically lead to torsion if tempered out of the full-limit. Torsion can be gotten rid of by restriction the temperament to a smaller subgroup, but if you do so, you are instead guaranteed to get an insane temperament.
 Some further examples:
@@ Line 20: / Line 20: @@
 The 2.9.5 restriction of 2.3.5 81/80 (meantone) is a weak restriction that is not insane. The resulting temperament is generated by the tempered 2/1 and 9/8. The original subgroup of 2.9.5 contains 9/1 as an interval but not 3/1. However, since 9/1 is a generator of this temperament, there is no way to "split" it further to obtain an unmapped 3/1, so it is not insane. The kernel is 81/80, which is a saturated lattice of the 5-limit, so we have a sane temperament.
+[[Category:Regular temperament theory]]
+[[Category:Math]]