Ternary scale theorems: Difference between revisions

Inthar (talk | contribs)
Inthar (talk | contribs)
Line 61: Line 61:


==== Statement (2) ====
==== Statement (2) ====
In case 2, let (2, 1) &minus; (1, 1) = g<sub>1</sub>, (1, 2) &minus; (2, 1) = g<sub>2</sub> be the two alternants. Let g<sub>3</sub> be the leftover generator after stacking alternating g<sub>1</sub> and g<sub>2</sub>. Then the generator circle looks like g<sub>1</sub> g<sub>2</sub> g<sub>1</sub> g<sub>2</sub> ... g<sub>2</sub> g<sub>1</sub> g<sub>3</sub>. Assuming that a step is an odd number of generators, the combinations of alternants corresponding to a step come in exactly 3 sizes:
In case 2, let (2, 1) &minus; (1, 1) = g<sub>1</sub>, (1, 2) &minus; (2, 1) = g<sub>2</sub> be the two alternants. Let g<sub>3</sub> be the leftover generator after stacking alternating g<sub>1</sub> and g<sub>2</sub>. Then the generator circle is (g<sub>1</sub> g<sub>2</sub>)<sup>floor(''n''/2)</sup> g<sub>3</sub>. Assuming that a step is an odd number of generators, the combinations of alternants corresponding to a step come in exactly 3 sizes:
# ''k''g<sub>1</sub> + (''k'' &minus; 1)g<sub>2</sub>
# ''k''g<sub>1</sub> + (''k'' &minus; 1)g<sub>2</sub>
# (''k'' &minus; 1)g<sub>1</sub> + ''k''g<sub>2</sub>
# (''k'' &minus; 1)g<sub>1</sub> + ''k''g<sub>2</sub>