Radical interval: Difference between revisions
Wikispaces>guest **Imported revision 163751933 - Original comment: ** |
Wikispaces>genewardsmith **Imported revision 163752445 - Original comment: ** |
||
| Line 1: | Line 1: | ||
<h2>IMPORTED REVISION FROM WIKISPACES</h2> | <h2>IMPORTED REVISION FROM WIKISPACES</h2> | ||
This is an imported revision from Wikispaces. The revision metadata is included below for reference:<br> | This is an imported revision from Wikispaces. The revision metadata is included below for reference:<br> | ||
: This revision was by author [[User: | : This revision was by author [[User:genewardsmith|genewardsmith]] and made on <tt>2010-09-19 15:55:44 UTC</tt>.<br> | ||
: The original revision id was <tt> | : The original revision id was <tt>163752445</tt>.<br> | ||
: The revision comment was: <tt></tt><br> | : The revision comment was: <tt></tt><br> | ||
The revision contents are below, presented both in the original Wikispaces Wikitext format, and in HTML exactly as Wikispaces rendered it.<br> | The revision contents are below, presented both in the original Wikispaces Wikitext format, and in HTML exactly as Wikispaces rendered it.<br> | ||
| Line 24: | Line 24: | ||
These methods suggest a wide range of tuning possibilities. For instance, Frobenius tuning uses unweighted eigenmonzos, whereas RMS-TOP doubly weights the vals to make left eigenvectors of them. Intermediate to the two is the tuning which val weights the vals and uses them as left eigenvectors; this gives a tuning which is less biased towards smaller primes than TOP-RMS. For rank two temperaments, using 2 and the product W of odd primes to p as eigenmonzos gives a tuning which has a simple expression in terms of roots of products of 2 and W, and where the errors in the tunings of the odd primes must cancel since W is tuned justly. | These methods suggest a wide range of tuning possibilities. For instance, Frobenius tuning uses unweighted eigenmonzos, whereas RMS-TOP doubly weights the vals to make left eigenvectors of them. Intermediate to the two is the tuning which val weights the vals and uses them as left eigenvectors; this gives a tuning which is less biased towards smaller primes than TOP-RMS. For rank two temperaments, using 2 and the product W of odd primes to p as eigenmonzos gives a tuning which has a simple expression in terms of roots of products of 2 and W, and where the errors in the tunings of the odd primes must cancel since W is tuned justly. | ||
===Algebraic considerations=== | ===Algebraic considerations=== | ||
| Line 48: | Line 46: | ||
<br /> | <br /> | ||
These methods suggest a wide range of tuning possibilities. For instance, Frobenius tuning uses unweighted eigenmonzos, whereas RMS-TOP doubly weights the vals to make left eigenvectors of them. Intermediate to the two is the tuning which val weights the vals and uses them as left eigenvectors; this gives a tuning which is less biased towards smaller primes than TOP-RMS. For rank two temperaments, using 2 and the product W of odd primes to p as eigenmonzos gives a tuning which has a simple expression in terms of roots of products of 2 and W, and where the errors in the tunings of the odd primes must cancel since W is tuned justly.<br /> | These methods suggest a wide range of tuning possibilities. For instance, Frobenius tuning uses unweighted eigenmonzos, whereas RMS-TOP doubly weights the vals to make left eigenvectors of them. Intermediate to the two is the tuning which val weights the vals and uses them as left eigenvectors; this gives a tuning which is less biased towards smaller primes than TOP-RMS. For rank two temperaments, using 2 and the product W of odd primes to p as eigenmonzos gives a tuning which has a simple expression in terms of roots of products of 2 and W, and where the errors in the tunings of the odd primes must cancel since W is tuned justly.<br /> | ||
<br /> | <br /> | ||
<!-- ws:start:WikiTextHeadingRule:2:&lt;h3&gt; --><h3 id="toc1"><a name="x--Algebraic considerations"></a><!-- ws:end:WikiTextHeadingRule:2 -->Algebraic considerations</h3> | <!-- ws:start:WikiTextHeadingRule:2:&lt;h3&gt; --><h3 id="toc1"><a name="x--Algebraic considerations"></a><!-- ws:end:WikiTextHeadingRule:2 -->Algebraic considerations</h3> | ||
For the mathematically inclined (other people may want to skip this paragraph) we note that monzos are elements of a <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Free_abelian_group" rel="nofollow">free abelian group</a> (or equivalently, Z-module) of rank n equal to the number of primes less than or equal to p for the p-limit in question. Fractional monzos do not define a free group but rather a <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Divisible_group" rel="nofollow">divisible group</a>, meaning any element may be divided by any nonzero integer. They are Z-modules, but more than that also Q-modules, or stated equivalently, elements in a <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Vector_space" rel="nofollow">vector space</a> (of dimension n) over the rational numbers. They are also torsion-free (equivalently, <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Flat_module" rel="nofollow">flat</a>) abelian groups, and are the <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Injective_hull" rel="nofollow">injective hulls</a> of the corresponding monzos.</body></html></pre></div> | For the mathematically inclined (other people may want to skip this paragraph) we note that monzos are elements of a <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Free_abelian_group" rel="nofollow">free abelian group</a> (or equivalently, Z-module) of rank n equal to the number of primes less than or equal to p for the p-limit in question. Fractional monzos do not define a free group but rather a <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Divisible_group" rel="nofollow">divisible group</a>, meaning any element may be divided by any nonzero integer. They are Z-modules, but more than that also Q-modules, or stated equivalently, elements in a <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Vector_space" rel="nofollow">vector space</a> (of dimension n) over the rational numbers. They are also torsion-free (equivalently, <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Flat_module" rel="nofollow">flat</a>) abelian groups, and are the <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Injective_hull" rel="nofollow">injective hulls</a> of the corresponding monzos.</body></html></pre></div> | ||