Subgroup basis matrix: Difference between revisions

Line 15:

We can similarly look at the matrices formed by monzos, in which the column vectors are monzos, which we call a '''subgroup basis matrix.''' In mathematical terms, these represent group homomorphisms '''S''': G → J, where G is some subgroup of J, being injected back into the parent JI group J. We can view this matrix as mapping the subgroup monzos into back into the parent basis, and thus translating the coordinate system from the subgroup basis to the parent basis. The integer column span of these matrices represents all the monzos within the subgroup.

Typically, for a matrix S, with column vectors as monzos, to represent a true subgroup basis matrix, it must also be of full column rank, much like a temperament matrix must be of full row rank. Another way to look at this requirement is that it is '''injective''' into the parent group, dual to how we want mapping matrices to be '''surjective'''. However, we typically drop the restriction that this column span be [[saturated]], so that we can represent, for instance, the 2.9.5 subgroup, unlike with temperament mapping matrices, where unsaturated matrices have [[contorsion]] ~~(or are [[enfactored]])~~ and are viewed as pathological.

Typically, for a matrix S, with column vectors as monzos, to represent a true subgroup basis matrix, it must also be of full column rank, much like a temperament matrix must be of full row rank. Another way to look at this requirement is that it is '''injective''' into the parent group, dual to how we want mapping matrices to be '''surjective'''. However, we typically drop the restriction that this column span be [[saturated]], so that we can represent, for instance, the 2.9.5 subgroup, unlike with temperament mapping matrices, where unsaturated matrices have [[contorsion]] and are viewed as pathological.

Note that, much like with temperament mapping matrices, there is not a unique basis matrix corresponding to any subgroup: for instance, the two subgroup bases "3.2.5" and "2.3.5" represent the same subgroup, but will be represented by different matrices. Similarly, these two matrices will send vals to svals on the "2.3.5" and "3.2.5" bases respectively.

@@ Line 15: / Line 15: @@
 We can similarly look at the matrices formed by monzos, in which the column vectors are monzos, which we call a '''subgroup basis matrix.''' In mathematical terms, these represent group homomorphisms '''S''': G → J, where G is some subgroup of J, being injected back into the parent JI group J. We can view this matrix as mapping the subgroup monzos into back into the parent basis, and thus translating the coordinate system from the subgroup basis to the parent basis. The integer column span of these matrices represents all the monzos within the subgroup.
-Typically, for a matrix S, with column vectors as monzos, to represent a true subgroup basis matrix, it must also be of full column rank, much like a temperament matrix must be of full row rank. Another way to look at this requirement is that it is '''injective''' into the parent group, dual to how we want mapping matrices to be '''surjective'''. However, we typically drop the restriction that this column span be [[saturated]], so that we can represent, for instance, the 2.9.5 subgroup, unlike with temperament mapping matrices, where unsaturated matrices have [[contorsion]] (or are [[enfactored]]) and are viewed as pathological.
+Typically, for a matrix S, with column vectors as monzos, to represent a true subgroup basis matrix, it must also be of full column rank, much like a temperament matrix must be of full row rank. Another way to look at this requirement is that it is '''injective''' into the parent group, dual to how we want mapping matrices to be '''surjective'''. However, we typically drop the restriction that this column span be [[saturated]], so that we can represent, for instance, the 2.9.5 subgroup, unlike with temperament mapping matrices, where unsaturated matrices have [[contorsion]] and are viewed as pathological.
 Note that, much like with temperament mapping matrices, there is not a unique basis matrix corresponding to any subgroup: for instance, the two subgroup bases "3.2.5" and "2.3.5" represent the same subgroup, but will be represented by different matrices. Similarly, these two matrices will send vals to svals on the "2.3.5" and "3.2.5" bases respectively.