Generator: Difference between revisions
Cmloegcmluin (talk | contribs) →Generators in math and JI subgroups: basis is not a synonym for minimal generating set of a subgroup; it is the analogous structure for a subspace of a vector space |
"formal fifth" has 12 results on the xen discord server, several of which are referring to something completely different ("a fifth tuned differently from 3/2") Not a useful term to include |
||
| (20 intermediate revisions by 11 users not shown) | |||
| Line 1: | Line 1: | ||
{{Expert|Periods and generators}} | |||
A '''generator''' is an interval which is [[Stacking|stacked]] repeatedly to create pitches in a [[tuning system]] or a [[scale]]. | |||
In [[MOS scale]]s, the generator is an interval that you stack up and reduce by the [[period]] of the mos to construct the MOS pattern within each period. Along with the [[period]], it is one of two defining intervals of the MOS. For example: | |||
* In [[diatonic]] (LLLsLLs), the perfect fifth is a generator: stacking 6 fifths up from the tonic and reducing by the octave produces the pattern LLLsLLs, the Lydian mode. Note that the perfect fourth and the perfect twelfth can also work as generators. | |||
* In [[2L 8s|jaric]] (ssLssssLss), the perfect fifth ([[~]][[3/2]]) is a generator and the half-octave is the period. | |||
A ''' | == Mathematical definition == | ||
A '''generating set''' of a [[Wikipedia: Group (mathematics)|group]] is a subset of the elements of the group which is not contained in any [[Wikipedia: Subgroup|proper subgroup]], which is to say, any subgroup which is not the whole group. If the set is a finite set, the group is called finitely generated. If it is also an [[Wikipedia: Abelian group|abelian group]], it is called a [[Wikipedia:Finitely generated abelian group|finitely generated abelian group]]. An element of a generating set is called a generator. | |||
If the | A '''minimal generating set''' is a generating set which has no "redundant" or "unnecessary" generators. In [[Wikipedia: Free abelian group|free abelian groups]] such as [[just intonation subgroup]]s or its [[regular temperament]]s, this is the same thing as a [[basis]]. For example, {2, 3, 5} and {2, 3, 5/3} are bases for the JI subgroup 2.3.5. However, {2, 3, 5, 15} is not a basis: 15 = 3 × 5, so we can take out 15 from this generating set and the set will remain a generating set. | ||
If the group operation is written additively, then if <math>\lbrace g_1, g_2, \ldots g_k \rbrace</math> is the generating set, every element <math>g</math> of the group can be written | |||
<math>g = n_1 g_1 + n_2 g_2 + \ldots + n_k g_k</math> | <math>g = n_1 g_1 + n_2 g_2 + \ldots + n_k g_k</math> | ||
| Line 19: | Line 20: | ||
=== Relation to music === | === Relation to music === | ||
An important example is provided by [[regular temperaments]], where if a particular tuning for the temperament is written additively, the generators can be taken as intervals expressed in terms of cents, and if multiplicatively, as intervals given as frequency ratios. Another example is provided by [[just intonation subgroups]], where the generators are a finite set of positive rational numbers, forming a [[basis]], which are typically the literal prime numbers up to a given prime limit. These two example converge when we seek generators for the [[abstract regular temperament|abstract temperament]] rather than any particular tuning of it. | |||
=== Convention === | |||
In [[rank|multirank]] systems, it is customary that generators are said as opposed to the period. Specifically, the first generator is called the period, and only the rest are called the generators. | |||
Combined with another convention that both [[JI subgroup]]s and [[Mapping|temperament mappings]] are documented in the [[canonical form]], temperaments commonly have a period of the [[octave]] or a fraction thereof. That, however, does not stop one from creating non-octave scales or expressing the same system in terms of other bases through [[generator form manipulation]]. | |||
== See also == | == See also == | ||
* [[Wikipedia: Generating set of a group]] | * [[Wikipedia: Generating set of a group]] | ||
== References == | |||
<references /> | |||
[[Category:Generator| ]] <!-- Main article --> | |||
[[Category:Math]] | [[Category:Math]] | ||
[[Category:MOS | [[Category:MOS scale]] | ||
[[Category:Terms]] | [[Category:Terms]] | ||