User:Inthar/MV3: Difference between revisions
| Line 40: | Line 40: | ||
=== AG === | === AG === | ||
Definition: ''S'' satisfies the ''alternating generator property'' (AG) if it satisfies the following equivalent properties: | Definition: ''S'' satisfies the ''alternating generator property'' (AG) if it satisfies the following equivalent properties: | ||
# ''S'' is generated by two chains of generators | # ''S'' is generated by two chains of generators separated by a fixed interval; either both chains are of size ''m'', or one chain has size ''m'' and the second has size ''m-1''. | ||
# ''S'' can be built by stacking alternating generators, resulting in a circle of the form either g1 g2 ... g1 g2 g1 g3 or g1 g2 ... g1 g2 g3. | # ''S'' can be built by stacking alternating generators, resulting in a circle of the form either g1 g2 ... g1 g2 g1 g3 or g1 g2 ... g1 g2 g3. | ||