








Hoop Algebras












20061016






Hoops are "Symmetryconserving PartialfractionDivision Algebras" with symmetries or "sizes" that are conserved on vector multiplication and division. Conserved symmetries lead, via Noether's theorem, to forces and to particles. Consequently, Hoops subsume all the algebras (including Real, Complex, Quaternion, Octonion, Clifford and Wedge) relevant to particle physics. They may lead to a new paradigm for physics (possibly related to Mtheory), based on finite Moufang Loops (so vectors have multiplicative inverses) with "Frobenius conservation" (so the factors of the symbolic multiplication table determinant are conserved symmetries). Do not confuse hoop multiplication (which multiplies two vectors to give a product and two, possibly null, remainders) with the use of groups to transform a single vector from one set of coordinates to another  as in the "standard model". Hoops involve some neglected and some new mathematical concepts:  "Primal" unsigned continuous numbers (the halfline, 0 U R+) can be developed from set theory without introducing negation or subtraction.
 "Folding" sets of primal numbers introduces signs via equivalence relationships. 2folding creates Integers and Reals with the signs {+, }. Folding destroys some information.
 "Generalized signs" are primitive (NOT cyclotomic) roots of unity s^j, with s^r = +1. They are created by rfold equivalence relationships. Complex numbers are one case of r=4, with signs {+,i,,i}. r=3 gives "terplex" signs {+, J, J^2} with ternary symmetries relevant to quarks. Algebraic loops with rfold symmetry fold to become algebras with generalized signs.
 Algebraic loops with the division property (zx).(yz)=z.(xy).z are Moufang Loops; this ensures that every vector has a multiplicative inverse in Hoop vector multiplication. Groups are associative loops and have the Moufang property.
 Real factors of the determinant of the inverse symbolic multiplication table are "conserved symmetries" or "sizes" for all group tables and for a few nonassociative Moufang Loops. Sizes are conserved on multiplication, Det[AB]=Det[A] Det[B] (up to a sign); they provide denominators for partialfraction formulations of the inverse.
 "Hoop Algebras" are rfolded from (m.r).(m.r) conservative tables. They are division algebras because they possess addition and generalized subtraction using rfold signs together with the Hoop multiplicationdivision property. All groups, together with octonions, splitoctonions and some other nonassociative Moufang loops, are hoops because they are folded versions of larger conservative loops.
 "Signed hoop tables" may result from folding. They are not loops because their products include signed elements that are not members of the defining set. Examples  the complex set is {1,i} but the product i.i is 1. The quaternion set is {1,i,j,ij}, with i.j=ij but j.i=ij. Pauli\[Sigma] algebra is {t,x,y,z} with z.y=ix etc.
 "Remainders" are created to maintain size conservation on multiplication or division of vectors when some sizes are zero. Hoop operations then "project" the results into constrained subalgebras (with the same zeroed sizes) and "eject" remainders. This maintains size conservation and eliminates divisionbyzero. The Hoops.m package includes over 80 hoops with this property. Remainders have analogies with particle interactions, where properties are conserved by ejecting particles of lower symmetry.
 "PolarCartesian duals" (generalizing the {r,theta} dual of the x+i y complex plane) exist when quadratic sizes occur. CartesianPolar interconversions are provided for 44 hoops in Hoops.m. Abelian duals have angles that add on vector multiplication. This generalises powers and roots.
 "Multiphase sinusoidal orbits" are duals with sizes that multiply to one (ignoring any "factoredout" zeroes). Some stable orbits resemble multiphase deBroglie waves with fundamental sizes resembling Planck areas and elements that act as quantum operators. This may determine which particles are stable. Higher frequency resonances may relate to unstable particle resonances.
 "Dozal" multiplication rules (for vectors with 12 elements) may correspond to four types of interaction between particles, with different size combinations corresponding to particles with different conserved properties. Halfspin quantum operators are fermionic Dozal elements. Their threephase orbits have reciprocal squared radii, giving three size regimes (pointparticle scale, Planckscale, cosmic scale), related to Tduality in Mtheory and the "large numbers hypothesis".
 Bosonic "Hexal" is supersymmetric to (i.e. folded from) Dozal, but has fewer symmetries, so supersymmetry gives fewer partner particles. This is, so far, the only prediction arising from the hoop concept. The Pauli exclusion principle may not apply to bosons because they are in equivalence relationships to many fermions.
The real division algebras R, C, H, & O are degenerate (monosized) hoops; complex functions are specialisations of more general functions. Hoops subsume, but do not invalidate, complex mathematics. Many standard mathematical operations are specialisations of general hoop operations; many "obvious mathematical truths" are special cases restricted to the "real algebras without divisors of zero". I am still seeking solutions to outstanding problems:  Nonabelian "pseudopolar" duals do not have conserved radii, so they only provide "pseudopowers" and "pseudoroots". They may introduce uncertainty via noncommutative operations that produce rotated vectors.
 Dozal hoops conserve many functions resembling the conserved properties of particles; I cannot correlate them with particles.
 The Schrodinger equation describes "information about particles" and leads to dispersing wavepackets. Replacing the 4 directions implied by "i" with the 12 directions of Dozal, and possibly eliminating dispersion with nonlinear terms (as in the KdV equation) could lead to a description of stable particles as multiphase wavepackets.
 I still hope to bring spacetime (or perhaps a different description as "timespace", in which time enters the metric as an unsquared primal term) into the system. One possibility is to combine particle interactions (described by hoops) with the Lorentz transformation of coordinates (described by matrix multiplication using the P16 group or Clifford(4) ).
 Testable predictions are needed, beyond "most supersymmetric particles do not exist".
Updated by the author to Version 1c, February 21, 2007. OK with Mathematica 4.2 or later












Moufang loops, conservative algebras, continuous orbits, determinants, directors, Frobeniusconservation, generalized signs, hoops, Primal numbers, remainders, shapes & sizes (of vectorss), signedtables, partialdivisionbyzero, quasigroups, renormalization, roots of unity, vector division, univectors.












 ALGHCAtest.nb (447.9 KB)  Validation of ALGHCA.nb   HoopAbstract.doc (19.5 KB)  Microsoft Word document   HoopAlfigs.doc (45 KB)  Microsoft Word document   HoopAlg&Physics.nb (147 KB)  Mathematica Notebook [for Mathematica 5.2]   HoopAlgebraSupplement.doc (174.5 KB)  Microsoft Word document   HoopFundamentals.nb (233.7 KB)  Mathematica Notebook [for Mathematica 5.2]   HoopSup.nb (204.6 KB)  Mathematica Notebook [for Mathematica 5.2]   Hoops&Physics.doc (59 KB)  Microsoft Word document   Hoops.nb (175.9 KB)  Mathematica Notebook [for Mathematica 5.2]   HoopsAll.zip (236.6 KB)  Zip of all files 







     
