Originally Posted by
sindri
This is my delima - I can either write a popular paper that is easy to understand but not very technical, or I can use mathimatical proofs to prove this not only works but it is a mathematical fact. I've been trying to write this damn thing for over a year, but I finally got closure when I talked to Reinin and Gulenko and they both said that they don't know the math, so I decided to write a popular paper and trust they will see the truth in it. I was thinking of including annotated proofs in the appendix, but it is a low priority now.
The basic flow of the proofs would be:
Prove the reinin dichotomies are abelian groups
Use the "fundamental theorem of abelian groups" to turn the abelian group into the internal direct product of Z2 cyclic groups
Show the order of this group is Z2^4
Show that is Isomorphic to the pyramid diagram
Use this property to project each trait onto the diagram to create a type of block design called a steiner system
Show the meaning of each subgroup