Generator-offset property: Difference between revisions
No edit summary Tags: Mobile edit Mobile web edit |
No edit summary Tags: Mobile edit Mobile web edit |
||
| Line 22: | Line 22: | ||
# The cardinality (size) of ''S'' is either odd, or 4 (and ''S'' is of the form ''xyxz''). | # The cardinality (size) of ''S'' is either odd, or 4 (and ''S'' is of the form ''xyxz''). | ||
[Note: This is not true with SGA replaced with | [Note: This is not true with SGA replaced with GO; [[blackdye]] is a counterexample that is MV4.] | ||
==== Proof ==== | ==== Proof ==== | ||
Assuming SGA, we have two chains of generator ''g''<sub>0</sub> (going right). The two cases are: | Assuming SGA, we have two chains of generator ''g''<sub>0</sub> (going right). The two cases are: | ||