Connected triple supports generate an alternating group
ID: connected-triple-supports-generate-an-alternating-group
A connected finite hypergraph of three-element supports, with a three-cycle on each support, generates the full alternating group. To merge a new triple meeting an old alternating support in two letters, conjugate over unordered pairs of old letters. For one-letter overlap compare and : their quotient is , reducing to two two-letter-overlap steps.
New to topics? Read the docs here!