Just intonation subgroup: Difference between revisions

Restructuring the article (subdivide into normalization, index, and generalization sections)
Inthar (talk | contribs)
No edit summary
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; the purpose of using dots is to flag the fact that it is a subgroup which is being referred to. This naming convention is employed below.
Just intonation subgroups can be described by listing their [[generator]]s with dots between them. In standard mathematical notation, let ''p''<sub>1</sub>, ..., ''p''<sub>''r''</sub> be distinct primes, and let ''a''<sub>''k''</sub> = log<sub>2</sub>(''p''<sub>''k''</sub>). Then
 
<math>p_1.p_2.\cdots.p_r := \operatorname{span}_\mathbb{Z} \{a_1, ..., a_k\}.</math>
 
This naming convention is employed below.  


There are three categories of subgroups:
There are three categories of subgroups: