Generator-offset property: Difference between revisions

@@ Line 83: / Line 83: @@
 If a non-multiperiod 3-step size scale word is
 # unconditionally MV3,
-# has odd cardinality,
+# has ''odd'' cardinality, and
 # is not of the form ''mx my mz'', ''xyzyx'' or ''xyxzxyx'',
 then it is SGA. (a converse to Theorem 1)
 === Conjecture 4 ===
+If a non-multiperiod 3-step size scale word is
+# unconditionally MV3,
+# has ''even'' cardinality, and
+# is not of the form ''mx my mz'',
+then it is of the form ''W''(''x'', ''y'', ''z'')W(''y'', ''x'', ''z'') for some word W in 3 variables.
+=== Conjecture 5 ===
 An SGA scale is always pairwise-well-formed. That is, the result of identifying any two step sizes of an SGA scale is always a non-multiperiod mos.