Generator
IMPORTED REVISION FROM WIKISPACES
This is an imported revision from Wikispaces. The revision metadata is included below for reference:
- This revision was by author genewardsmith and made on 2011-01-30 19:16:31 UTC.
- The original revision id was 197260744.
- The revision comment was:
The revision contents are below, presented both in the original Wikispaces Wikitext format, and in HTML exactly as Wikispaces rendered it.
Original Wikitext content:
A [[http://en.wikipedia.org/wiki/Generating_set_of_a_group|set of generators]] for a [[http://en.wikipedia.org/wiki/Group_%28mathematics%29|group]] is a subset of the elements of the group which is not contained in any [[http://en.wikipedia.org/wiki/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 [[http://en.wikipedia.org/wiki/Abelian_group|abelian group]], it is called a [[http://en.wikipedia.org/wiki/Finitely_generated_abelian_group|finitely generated abelian group]].
If the abelian group is written additively, then if {g1, g2, ... gk} is the generating set, every element g of the group can be written
g = n1g1 + n2g2 + ... + nkgk
where the ni are integers. If the group operation is multiplicative,
g = g1^n1 g2^n2 ... gk^nk
An important example is provided by [[Regular Temperaments|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. These two example converge when we seek generators for the [[Abstract regular temperament|abstract temperament]] rather than any particular tuning of it.Original HTML content:
<html><head><title>Generators</title></head><body>A <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Generating_set_of_a_group" rel="nofollow">set of generators</a> for a <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Group_%28mathematics%29" rel="nofollow">group</a> is a subset of the elements of the group which is not contained in any <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Subgroup" rel="nofollow">proper subgroup</a>, 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 <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Abelian_group" rel="nofollow">abelian group</a>, it is called a <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Finitely_generated_abelian_group" rel="nofollow">finitely generated abelian group</a>.<br />
<br />
If the abelian group is written additively, then if {g1, g2, ... gk} is the generating set, every element g of the group can be written<br />
<br />
g = n1g1 + n2g2 + ... + nkgk<br />
<br />
where the ni are integers. If the group operation is multiplicative,<br />
<br />
g = g1^n1 g2^n2 ... gk^nk<br />
<br />
An important example is provided by <a class="wiki_link" href="/Regular%20Temperaments">regular temperaments</a>, 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 <a class="wiki_link" href="/just%20intonation%20subgroups">just intonation subgroups</a>, where the generators are a finite set of positive rational numbers. These two example converge when we seek generators for the <a class="wiki_link" href="/Abstract%20regular%20temperament">abstract temperament</a> rather than any particular tuning of it.</body></html>