Rank and codimension: Difference between revisions

Line 1:

The '''rank''' of a [[regular temperament]] is simply its dimension. For example:

* [[edo]]s are rank-1 (1-dimensional) because their pitches can be described with one number (the number of edo steps).

* [[edo]]s are rank 1 (1-dimensional) because their pitches can be described with one number (the number of edo steps).

* [[MOS]]es and temperaments based on them are rank-2 (2-dimensional), because the two dimensions are the number of [[period]]s and the number of [[generator]]s. For instance, every interval of [[meantone]] can be obtained as a combination of a certain number of octaves (the period) up or down, plus a certain number of flattened meantone fifths (the generator) up or down.

* [[MOS]]es and temperaments based on them are rank 2 (2-dimensional), because the two dimensions are the number of [[period]]s and the number of [[generator]]s. For instance, every interval of [[meantone]] can be obtained as a combination of a certain number of octaves (the period) up or down, plus a certain number of flattened meantone fifths (the generator) up or down.

The '''codimension''', '''co-rank''', or '''nullity''' of a temperament is the number of [[comma]]s needed to completely define the temperament as a temperament of a given [[JI subgroup]] (for example the ''p''-[[prime limit]]). For a rank-2 temperament such as meantone, this depends on the dimension of the JI subgroup it is a temperament of: namely, you need to temper out ''n'' – 2 commas to get a rank-2 temperament from a JI subgroup of dimension ''n''. For example, [[5-limit]] meantone has codimension 1: since 2.3.5 is a 3-dimensional JI subgroup, one comma (namely, [[81/80]]) needs to be tempered out. On the other hand, 7-limit meantone (i.e. 5-limit meantone with C-A# seen as [[7/4]]) has codimension 2: since 2.3.5.7 is a 4-dimensional JI subgroup, you need two commas ([[81/80]] and [[225/224]]).

The '''codimension''', '''co-rank''', or '''nullity''' of a temperament is the number of [[comma]]s needed to completely define the temperament as a temperament of a given [[JI subgroup]] (for example the ''p''-[[prime limit]]). For a rank 2 temperament such as meantone, this depends on the dimension of the JI subgroup it is a temperament of: namely, you need to temper out ''n'' – 2 commas to get a rank 2 temperament from a JI subgroup of dimension ''n''. For example, [[5-limit]] meantone has codimension 1: since 2.3.5 is a 3-dimensional JI subgroup, one comma (namely, [[81/80]]) needs to be tempered out. On the other hand, 7-limit meantone (i.e. 5-limit meantone with C-A# seen as [[7/4]]) has codimension 2: since 2.3.5.7 is a 4-dimensional JI subgroup, you need two commas ([[81/80]] and [[225/224]]).

== Mathematical description ==

Line 17:

The thing called "codimension" above can be interpreted in linear algebra terms as the codimension of the subspace of supporting vals, relative to the ambient space of all vals. For any mapping matrix mapping from monzos to tmonzos, it's also the co-rank of the dual transformation from tvals back to vals.

== External links ==

* [[Wikipedia: Rank (linear algebra)]]

[[Category:Math]]

~~[[Category:Rank]]~~

~~[[Category:Rank 1]]~~

[[Category:Theory]]

@@ Line 1: / Line 1: @@
 The '''rank''' of a [[regular temperament]] is simply its dimension. For example:
-* [[edo]]s are rank-1 (1-dimensional) because their pitches can be described with one number (the number of edo steps).
+* [[edo]]s are rank 1 (1-dimensional) because their pitches can be described with one number (the number of edo steps).
-* [[MOS]]es and temperaments based on them are rank-2 (2-dimensional), because the two dimensions are the number of [[period]]s and the number of [[generator]]s. For instance, every interval of [[meantone]] can be obtained as a combination of a certain number of octaves (the period) up or down, plus a certain number of flattened meantone fifths (the generator) up or down.
+* [[MOS]]es and temperaments based on them are rank 2 (2-dimensional), because the two dimensions are the number of [[period]]s and the number of [[generator]]s. For instance, every interval of [[meantone]] can be obtained as a combination of a certain number of octaves (the period) up or down, plus a certain number of flattened meantone fifths (the generator) up or down.
-The '''codimension''', '''co-rank''', or '''nullity''' of a temperament is the number of [[comma]]s needed to completely define the temperament as a temperament of a given [[JI subgroup]] (for example the ''p''-[[prime limit]]). For a rank-2 temperament such as meantone, this depends on the dimension of the JI subgroup it is a temperament of: namely, you need to temper out ''n'' – 2 commas to get a rank-2 temperament from a JI subgroup of dimension ''n''. For example, [[5-limit]] meantone has codimension 1: since 2.3.5 is a 3-dimensional JI subgroup, one comma (namely, [[81/80]]) needs to be tempered out. On the other hand, 7-limit meantone (i.e. 5-limit meantone with C-A# seen as [[7/4]]) has codimension 2: since 2.3.5.7 is a 4-dimensional JI subgroup, you need two commas ([[81/80]] and [[225/224]]).
+The '''codimension''', '''co-rank''', or '''nullity''' of a temperament is the number of [[comma]]s needed to completely define the temperament as a temperament of a given [[JI subgroup]] (for example the ''p''-[[prime limit]]). For a rank 2 temperament such as meantone, this depends on the dimension of the JI subgroup it is a temperament of: namely, you need to temper out ''n'' – 2 commas to get a rank 2 temperament from a JI subgroup of dimension ''n''. For example, [[5-limit]] meantone has codimension 1: since 2.3.5 is a 3-dimensional JI subgroup, one comma (namely, [[81/80]]) needs to be tempered out. On the other hand, 7-limit meantone (i.e. 5-limit meantone with C-A# seen as [[7/4]]) has codimension 2: since 2.3.5.7 is a 4-dimensional JI subgroup, you need two commas ([[81/80]] and [[225/224]]).
 == Mathematical description ==
@@ Line 17: / Line 17: @@
 The thing called "codimension" above can be interpreted in linear algebra terms as the codimension of the subspace of supporting vals, relative to the ambient space of all vals. For any mapping matrix mapping from monzos to tmonzos, it's also the co-rank of the dual transformation from tvals back to vals.
+== External links ==
+* [[Wikipedia: Rank (linear algebra)]]
 [[Category:Math]]
-[[Category:Rank]]
-[[Category:Rank 1]]
 [[Category:Theory]]