Supplemental Files


J.D. Phillips

This page is under construction.

The Moufang laws, global and local, submitted to The Journal of Algebra and its Applications.

(1) Here are the prover9 input files to the fact cited immediately after Example 3.1. Here are the Prover9 output files to the same result.

(2) Here is the Cayley table to the 36 element loop from Example 3.10.

(3) Here are the two Prover9 input files (the other two are mirrors) for Theorem 4.1. Here are the Prover9 output files to the same results.

(4) Here are the three Prover9 input files for Theorem 4.4. Here are the Prover9 output files to the same result.

(5) Here are the Prover9 input files for Theorem 5.2. Here are the Prover9 output files to the same result.

(6) Here are the Prover9 input files for Theorem 5.9. Here are the Prover9 output files to the same result.

(7) Here are the Prover9 input files for Theorem 5.12. Here are the Prover9 output files to the same result.

(8) Here is the Prover9 input file for Theorem 6.2. Here is the Prover9 output file to the same result.

(9) Here are the Prover9 input files for Lemma 6.3. Here are the Prover9 output files to the same result.