








Groups, Loops, & Hoop Algebras












20061016






GroupLoopHoop.m is a package of procedures to create, manipulate, identify, and use small Groups, Algebraic Loops, and "Hoop Algebras".Hoops are relevant to physics because their Moufang vectordivision and Frobenius conservation properties provide the conserved symmetries that define forces and particles. A database includes over 80 hoops and all groups with up to 72 elements. GroupLoopTest.nb validates the database, HoopGlossary.nb explains the terms employed, GroupLoopDemo.nb and HoopDemo.nb demonstrate the procedures. MathSource/6198 is a much smaller and simpler database and explanation, restricted to Hoop algbras and omitting the background material on Groups & Loops. The simplifications make it incompatible with this notebook.
The notebooks are designed to be read by, and comprehensible to, nonMathematica users who have downloaded MathReader; Mathematica users (Version 4.2 or later) can test them with their own data. They provide background material on algebraic loop and groups and then demonstrate "Conservative Partialfractiondivision Algebras" or "Hoops". Hoops unify most standard algebras  Complex, CayleyDickson, Clifford, Davenport, Dirac, noncommutative, Octonion, Paulisigma, Quaternion, Real, Octonion, Spinor, Wedge, etc., together with new "terplex" algebras. As all groups and octonions are Moufang Loops, a database of over 800 loops is provided. Many "mathematical truths" are only valid in the context of real and complex numbers because they are degenerate cases of more general "Hoop" relationships.
The key features of Hoop algebras are: Moufang Loops define multiplication and division of "directors" (sets of unsigned "Primal" numbers). The Moufang division property ensures that every director has a multiplicative inverse. Generalised signs are r'th roots of unity; rfold negations are equivalence relations that "fold" m×m Moufang Loops (if they have rfold symmetry) to (m/r)×(m/r) multiplication tables for Algebras. Directors fold to generalized vectors or "vecs". Real and complex numbers are folded from pairs (r=2) quads (r=4) of primal numbers. Folding involve a loss of information. Hoops are defined as algebras with "sizes" (symmetries, factors of the symbolic multiplication table) that are conserved on operations with vecs. They are also denominators for the partialfraction formulation of multiplicative inverses. Multiplication and division are implemented by the "hoopTimes" procedure; division is premultiplication by the inverse, given by "hoopInverse".
Vec sizes can be zero; operations are then "projected" onto a subalgebra (of reduced symmetry) with the same sizes zeroed. To maintain size conservation, hoopTimes may "project" results into the subalgebra and "eject" remainders. This resembles particle interactions and decays, with remainders corresponding to ejected particles with different symmetries. Some hoops have Polarduals with additive angles, generalizing the {x,y} and {r,theta} complex plane duality. This allows the calculation of vector powers and roots, via "hoopPower". Some unital Polarduals have (deBroglielike) multiphase orbits and intrinsic (Plancklike) areas. Their elements include halfspin quantum operators that are neither real nor complex. Hoop algebras give tantalizing suggestions about the reinterpretation of mathematical physics, which (at 77) I cannot expect to explore. They may describe bosons and fermions. Ternary (quark) symmetries occur without invoking octonion triality. KaluzaKlein orbital velocities could provide mass. Unital orbits may explain the "law of large numbers". Hoop maths may underlie (and simplify) "Mtheory", describing nonpointlike particles with an intrinsic Planck scale. Complex numbers can express much of mathematics, but are a Procrustean bed; some parts relevant to physics do not fit on it. I have scratched the surface of a more fundamental mathematics, and found many features that may be relevant to mathematical physics, but "Non omnia possumus omnes" (Virgil).
Version 4. 12th October 2006.












Moufang loops, conservative algebras, algebras, CayleyDickson, Cayleytables, Clifford, Cliffordlike, conservative loops & algebras, continuous orbits, determinants, directors, Frobeniusconservation, generalized signs, groups, graded algebras, hoops, loops, isomers, isomorphs, mvecs, plexconjugate, Primal numbers, Roger algebras, shapes & sizes (of vecs), signedtables, partialdivisionbyzero, quasigroups, renormalization, roots of unity, vecs, univectors.












http://wwwgap.dcs.stand.ac.uk/~history/Mathematicians/Moufang.html






 GroupLoopDemo.nb (1.2 MB)  Mathematica Notebook   GroupLoopHoop.m (480.6 KB)  Mathematica Package   GroupLoopHoop.nb (687.1 KB)  Mathematica Notebook [for Mathematica 5.2]   GroupLoopTest.nb (136.2 KB)  Mathematica Notebook [for Mathematica 5.2]   HoopDemo.nb (508 KB)  Mathematica Notebook [for Mathematica 5.2]   HoopGlossary.nb (394.7 KB)  Mathematica Notebook [for Mathematica 5.2]   beresford.zip (575.1 KB)  ZIP archive [for Mathematica 5.2] 













