Generator-offset property: Difference between revisions
m →Proof |
m →Proof |
||
| Line 41: | Line 41: | ||
''xzx''. Thus ''n'' = 4 and the scale is ''xyxz''. | ''xzx''. Thus ''n'' = 4 and the scale is ''xyxz''. | ||
In case 2, let (2,1) | In case 2, let (2, 1) − (1, 1) = ''g''<sub>1</sub>, (1, 2) − (2, 1) = ''g''<sub>2</sub> be the two alternating generators. 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>1</sub> ''g''<sub>2</sub> ''g''<sub>3</sub>. Then the generators corresponding to a step are: | ||
# ''kg''<sub>1</sub> + (''k'' − 1)''g''<sub>2</sub> | # ''kg''<sub>1</sub> + (''k'' − 1)''g''<sub>2</sub> | ||
# (''k'' − 1)''g''<sub>1</sub> + ''kg''<sub>2</sub> | # (''k'' − 1)''g''<sub>1</sub> + ''kg''<sub>2</sub> | ||