Just intonation subgroup: Difference between revisions

Inthar (talk | contribs)
No edit summary
Inthar (talk | contribs)
Allow nonprimes
Line 7: Line 7:
A '''just intonation subgroup''' is a {{w|Free abelian group|group}} generated by a finite set of positive rational numbers via arbitrary multiplications and divisions. Using subgroups implies a way to organize [[just intonation]] intervals such that they form a lattice. Therefore it is closely related to [[regular temperament theory]].  
A '''just intonation subgroup''' is a {{w|Free abelian group|group}} generated by a finite set of positive rational numbers via arbitrary multiplications and divisions. Using subgroups implies a way to organize [[just intonation]] intervals such that they form a lattice. Therefore it is closely related to [[regular temperament theory]].  


Just intonation subgroups can be described by listing their [[generator]]s with dots between them. In standard mathematical notation, if ''p''<sub>1</sub>, ..., ''p''<sub>''r''</sub> is a <math>\mathbb{Z}</math>-linearly independent set and ''v''<sub>''k''</sub> is the musical interval of log<sub>2</sub>(''p''<sub>''k''</sub>) octaves, then
Just intonation subgroups can be described by listing their [[generator]]s with dots between them. In standard mathematical notation, let ''x''<sub>1</sub>, ..., ''x''<sub>''r''</sub> be real numbers, and suppose ''v''<sub>''k''</sub> is the musical interval of log<sub>2</sub>(''c''<sub>''k''</sub>) octaves. Then


<math>p_1.p_2.\cdots.p_r := \operatorname{span}_\mathbb{Z} \{v_1, ..., v_k\}.</math>
<math>p_1.p_2.\cdots.p_r := \operatorname{span}_\mathbb{Z} \{v_1, ..., v_k\}.</math>