Ternary scale theorems: Difference between revisions

Proof: Consider the subword for the closing generator of ''s'' on some index ''p'', which is {{nowrap|''I'' {{=}} ''s''[''p'' : ''p'' + ''i'' + ''j'']}}, and suppose the result of deleting all '''X''''s from ''I'' has a ''j''-step subword ''w''. Shifting ''I'' one step to the left and one step to the right, {{nowrap|''s''[''p'' − 1: ''p'' − 1 + ''i'' + ''j'']}} and {{nowrap|''s''[''p'' + 1 : ''p'' + 1 + ''i'' + ''j'']}} are both detemperings of perfect generators of ''T'', and have one fewer non-'''X''' step than ''I'' by our assumption. Thus the word ''I'' must both begin and end in a non-'''X''' letter. Removing all the '''X''''s from ''I'' results in a word that is {{nowrap|''j'' + 1}} letters long and is the ''j''-step word ''w'' with just one extra letter appended. Thus one of the two perfect generators above, namely the one that removes the extra letter, must contain this ''j''-step. The rest of the ''j''-step subwords of ''s'' can all be obtained by deleting '''X'''s from detempered perfect generators; take {{nowrap|''q'' ≠ ''p''}} to be the index of the first letter of one such ''j''-step subword (as contained in ''s'') and use {{nowrap|''s''[''q'' : ''q'' + ''i'' + ''j'']}}.

'''Claim 2''': If a binary necklace ''U'' has ''b'' '''Y'''s and ''b'' '''Z'''s, {{nowrap|gcd(''j'', 2''b'') {{=}} 1}}, and consecutively stacked ''j''-steps in ''U'' occur in 2 alternating sizes, then {{nowrap|''U'' {{=}} ('''YZ''')^''b''}}.