Group Theory

AG-2025.08-658

math.GR

The Order of the Monster Finite Simple Group

Gerald Höhn, Martin Seysen

We determine the order of the largest of the twenty-six sporadic simple groups known as the Monster, using a straightforward computational approach. The Monster is here defined as a subgroup of the symmetry group of the 196884-dimensional Griess algebra generated by a group of type $2^{1+24}_+.Co_1$ and an additional triality automorphism. Our approach is based on counting arguments for certain idempotents of the Griess algebra called axes. Our proof is self-contained, requiring only established properties of the Conway group as the automorphism group of the Leech lattice, and some of its subgroups. Although our approach is conceptually simple, it requires extensive calculation inside a 196884-dimensional matrix group that current computer algebra systems cannot easily handle directly. Instead, we use the software package mmgroup, developed by the second author, which supports fast calculations inside the Monster. To our knowledge, this paper contains the first self-contained computation of the order of the Monster. The Monster also acts on the Moonshine module V^#, which is a vertex operator algebra of central charge c=24. We provide a new proof that the Monster is the full automorphism group of the Griess algebra and of the Moonshine module using Borcherds' proof of the Monstrous Moonshine conjectures. In addition, we show that the Monster has exactly two conjugacy classes of involutions. The order of the Baby Monster, the second largest of the sporadic simple groups, is also determined.

AG-2024.03-892

math.GR

Polyadic sigma matrices

Steven Duplij

We generalize $σ$-matrices to higher arities using the polyadization procedure proposed by the author. We build the nonderived $n$-ary version of $SU\left( 2\right) $ using cyclic shift block matrices. We define a new function, the polyadic trace, which has an additivity property analogous to the ordinary trace for block diagonal matrices and which can be used to build the corresponding invariants. The elementary $Σ$-matrices introduced here play a role similar to ordinary matrix units, and their sums are full $Σ$-matrices which can be treated as a polyadic analog of $σ$-matrices. The presentation of $n$-ary $SU\left( 2\right) $ in terms of full $Σ$-matrices is done using the Hadamard product. We then generalize the Pauli group in two ways: for the binary case we introduce the extended phase shifted $σ$-matrices with multipliers in cyclic groups of order $4q$ ($q>4$), and for the polyadic case we construct the correspondent finite $n$-ary semigroup of phase-shifted elementary $Σ$-matrices of order $4q\left( n-1\right) +1$, and the finite $n$-ary group of phase-shifted full $Σ$-matrices of order $4q$. Finally, we introduce the finite $n$-ary group of heterogeneous full $\mathitΣ^{het}$-matrices of order $\left( 4q\left( n-1\right) \right) ^{4}$. Some examples of the lowest arities are presented.

AG-2024.01-782

math.GR

Group theory and irreducible representations of the Poincare group

Meysam Hassandoust

In this review, we have reached from the most basic definitions in the theory of groups, group structures, etc. to representation theory and irreducible representations of the Poincar'e group. Also, we tried to get a more comprehensible understanding of group theory by presenting examples from the nature around us to examples in mathematics and physics and using them to examine more important groups in physics such as the Lorentz group and Poincar'e group and representations It is achieved in the physical fields that are used in the quantum field theory.

AG-2024.01-1095

math.GR

A discrete model for Gell-Mann matrices

Robert A. Wilson

I propose a discrete model for the Gell-Mann matrices, which allows them to participate in discrete symmetries of three generations of four types of elementary fermions, in addition to their usual role in describing a continuous group $SU(3)$ of colour symmetries. This model sheds new light on the mathematical (rather than physical) necessity for `mixing' between the various gauge groups $SU(3)$, $SU(2)$ and $U(1)$ of the Standard Model. In particular it shows how the anti-Hermitian version of Pauli matrices can act non-trivially on a unitary version of the Gell-Mann matrices, which leads to a non-trivial mixing between the weak and strong nuclear forces. The unitary version of the Gell-Mann matrices can in turn act non-trivially on a quaternionic version of Dirac matrices, which leads to a non-trivial mixing between the strong force and the shape of spacetime defined by the Dirac matrices. Hence this model implies a mixing between the electro-weak-strong forces on the one hand and gravity, as described by General Relativity, on the other. This mixing in turn implies the necessity for both general relativistic corrections to the Standard Model of Particle Physics, and quantum corrections to General Relativity. Contrary to general expectation, both types of corrections seem to be large enough to be tested experimentally.

AG-2024.01-708

math.GR

A New Division Algebra Representation of $E_7$

Tevian Dray, Corinne A. Manogue, Robert A. Wilson

We decompose the Lie algebra $\mathfrak{e}_{8(-24)}$ into representations of $\mathfrak{e}_{7(-25)}\oplus\mathfrak{sl}(2,\mathbb{R})$ using our recent description of $\mathfrak{e}_8$ in terms of (generalized) $3\times3$ matrices over pairs of division algebras. Freudenthal's description of both $\mathfrak{e}_7$ and its minimal representation are therefore realized explicitly within $\mathfrak{e}_8$, with the action given by the (generalized) matrix commutator in $\mathfrak{e}_8$, and with a natural parameterization using division algebras. Along the way, we show how to implement standard operations on the Albert algebra such as trace of the Jordan product, the Freudenthal product, and the determinant, all using commutators in $\mathfrak{e}_8$.

AG-2015.06-1493

math.GR

Weyl group orbits on Kac--Moody root systems

Lisa Carbone, Alexander Conway, Walter Freyn, Diego Penta

Let $\mathcal{D}$ be a Dynkin diagram and let $Π=\{α_1,\dots ,α_{\ell}\}$ be the simple roots of the corresponding Kac--Moody root system. Let $\mathfrak{h}$ denote the Cartan subalgebra, let $W$ denote the Weyl group and let $Δ$ denote the set of all roots. The action of $W$ on $\mathfrak{h}$, and hence on $Δ$, is the discretization of the action of the Kac--Moody algebra. Understanding the orbit structure of $W$ on $Δ$ is crucial for many physical applications. We show that for $i\neq j$, the simple roots $α_i$ and $α_j$ are in the same $W$--orbit if and only if vertices $i$ and $j$ in the Dynkin diagram corresponding to $α_i$ and $α_j$ are connected by a path consisting only of single edges. We introduce the notion of `the Cayley graph $\mathcal{P}$ of the Weyl group action on real roots' whose connected components are in one-to-one correspondence with the disjoint orbits of $W$. For a symmetric hyperbolic generalized Cartan matrix $A$ of rank $\geq 4$ we prove that any 2 real roots of the same length lie in the same $W$--orbit. We show that if the generalized Cartan matrix $A$ contains zeros, then there are simple roots that are stabilized by simple root reflections in $W$, that is, $W$ does not act simply transitively on real roots. We give sufficient conditions in terms of the generalized Cartan matrix $A$ (equivalently ${\mathcal D}$) for $W$ to stabilize a real root. Using symmetry properties of the imaginary light cone in the hyperbolic case, we deduce that the number of $W$--orbits on imaginary roots on a hyperboloid of fixed radius is bounded above by the number of root lattice points on the hyperboloid that intersect the closure of the fundamental region for $W$.

AG-2015.02-1652

math.GR

Spin covers of maximal compact subgroups of Kac-Moody groups and spin-extended Weyl groups

David Ghatei, Max Horn, Ralf Köhl, Sebastian Weiß

Let G be a split real Kac-Moody group of arbitrary type and let K be its maximal compact subgroup, i.e. the subgroup of elements fixed by a Cartan-Chevalley involution of G. We construct non-trivial spin covers of K, thus confirming a conjecture by Damour and Hillmann (arXiv:0906.3116). For irreducible simply laced diagrams and for all spherical diagrams these spin covers are two-fold central extensions of K. For more complicated irreducible diagrams these spin covers are central extensions by a finite 2-group of possibly larger cardinality. Our construction is amalgam-theoretic and makes use of the generalized spin representations of maximal compact subalgebras of split real Kac-Moody algebras studied in arXiv:1110.5576. Our spin covers contain what we call spin-extended Weyl groups which admit a presentation by generators and relations obtained from the one for extended Weyl groups by relaxing the condition on the generators so that only their eighth powers are required to be trivial.

AG-2014.12-1837

math.GR

Some unitary representations of Thompson's groups F and T

Vaughan F. R. Jones

In a &#34;naive&#34; attempt to create algebraic quantum field theories on the circle, we obtain a family of unitary representations of Thompson&#39;s groups T and F for any subfactor. The Thompson group elements are the &#34;local scale transformations&#34; of the theory. In a simple case the coefficients of the representations are polynomial invariants of links. We show that all links arise and introduce new &#34;oriented&#34; subgroups $\overrightarrow F <F$ and $\overrightarrow T< T$ which allow us to produce all \emph{oriented} knots and links.

AG-2014.05-1027

math.GR

Universality of single quantum gates

Bela Bauer, Claire Levaillant, Michael Freedman

We supply a rigorous proof that an open dense set of all possible 2-qubit gates G has the property that if the quantum circuit model is restricted to only permit swap of qubits lines and the application of G to pairs of lines, then the model is still computationally universal.

AG-2013.04-578

math.GR

A universal formula for the volume of compact Lie groups

R. L. Mkrtchyan, A. P. Veselov

We provide a closed formula for the volume of a simple compact Lie group in terms of the universal Vogel parameters. For the unitary groups SU_n this reduces to the integral representation of the classical Barnes G-function.

AG-2012.09-1904

math.GR

A new set of generators and a physical interpretation for the SU(3) finite subgroup D(9,1,1;2,1,1)

Bela Bauer, Claire Levaillant

After 100 years of effort, the classification of all the finite subgroups of SU(3) is yet incomplete. The most recently updated list can be found in P.O. Ludl, J. Phys. A: Math. Theor. 44 255204 (2011), where the structure of the series (C) and (D) of SU(3)-subgroups is studied. We provide a minimal set of generators for one of these groups which has order 162. These generators appear up to phase as the image of an irreducible unitary braid group representation issued from the Jones-Kauffman version of SU(2) Chern-Simons theory at level 4. In light of these new generators, we study the structure of the group in detail and recover the fact that it is isomorphic to the semidirect product Z_9 \times Z_3 \rtimes S_3 with respect to conjugation.

AG-2012.06-393

math.GR

Nonvanishing of Kronecker coefficients for rectangular shapes

Peter Bürgisser, Matthias Christandl, Christian Ikenmeyer

We prove that for any partition $(λ_1,...,λ_{d^2})$ of size $\ell d$ there exists $k\ge 1$ such that the tensor square of the irreducible representation of the symmetric group $S_{k\ell d}$ with respect to the rectangular partition $(k\ell,...,k\ell)$ contains the irreducible representation corresponding to the stretched partition $(kλ_1,...,kλ_{d^2})$. We also prove a related approximate version of this statement in which the stretching factor $k$ is effectively bounded in terms of $d$. This investigation is motivated by questions of geometric complexity theory.

AG-2012.03-332

math.GR

Asymptotic Traffic Flow in a Hyperbolic Network: Definition and Properties of the Core

Yuliy Baryshnikov, Gabriel H. Tucci

In this work we study the asymptotic traffic flow in Gromov&#39;s hyperbolic graphs. We prove that under certain mild hypotheses the traffic flow in a hyperbolic graph tends to pass through a finite set of highly congested nodes. These nodes are called the &#34;core&#34; of the graph. We provide a formal definition of the core in a very general context and we study the properties of this set for several graphs.

AG-2012.03-333

math.GR

Asymptotic Traffic Flow in a Hyperbolic Network: Non-uniform Traffic

Yuliy Baryshnikov, Gabriel H. Tucci

In this work we study the asymptotic traffic flow in Gromov&#39;s hyperbolic graphs when the traffic decays exponentially with the distance. We prove that under general conditions, there exists a phase transition between local and global traffic. More specifically, assume that the traffic rate between two nodes $u$ and $v$ is given by $R(u,v)=β^{-d(u,v)}$ where $d(u,v)$ is the distance between the nodes. Then there exists a constant $β_c$ that depends on the geometry of the network such that if $1<β<β_c$ the traffic is global and there is a small set of highly congested nodes called the core. However, if $β>β_c$ then the traffic is essentially local and the core is empty which implies very small congestion.

AG-2012.01-1400

math.GR

Limit elements in the configuration algebra for a cancellative monoid

Kyoji Saito

We introduce two spaces $Ω(Γ,G)$ and $Ω(P_{Γ,G})$ of pre-partition functions and of opposite series, respectively, which are associated with a Cayley graph $(Γ,G)$ of a cancellative monoid $Γ$ with a finite generating system $G$ and with its growth function $P_{Γ,G}(t)$. Under mild assumptions on $(Γ,G)$, we introduce a fibration $π_Ω:Ω(Γ,G)\to Ω(P_{Γ,G})$ equivariant with a $\Z_{\ge0}$-action, which is transitive if it is of finite order. Then, the sum of pre-partition functions in a fiber is a linear combination of residues of the proportion of two growth functions $P_{Γ,G}(t)$ and $P_{Γ,G}\mathcal{M}(t)$ attached to $(Γ,G)$ at the places of poles on the circle of the convergent radius.

AG-2011.12-2385

math.GR

Alternating subgroups of Coxeter groups and their spinor extensions

O. V. Ogievetsky, L. Poulain d&#39;Andecy

Let $G$ be a discrete Coxeter group, $G^+$ its alternating subgroup and $\tilde{G}^+$ the spinor cover of $G^+$. A presentation of the groups $G^+$ and $\tilde{G}^+$ is proved for an arbitrary Coxeter system $(G,S)$; the generators are related to edges of the Coxeter graph. Results of the Coxeter--Todd algorithm - with this presentation - for the chains of alternating groups of types A, B and D are given.

AG-2011.12-1330

math.GR

Orbits of Real Algebraic Groups

H. Azad

The existence of closed orbits of real algebraic groups on certain real algebraic spaces is established. As an application it is shown that if $G$ is a real reductive group with Iwasawa decomposition $G=KAN$, then all unipotent subgroups of $G$ are conjugate to a subgroup of $N$.

AG-2011.11-1584

math.GR

N-ary Groups

Alexander M. Gal&#39;mak

The book &#34;N-ary Groups&#34; (in Russian) consists of two Parts. It is intended on the one hand as an initial introduction to the theory of n-ary groups, and on the other hand it contains the published results by the author on this subject. At present, the theory of n-ary groups developing but slowly from group theory. Nonetheless, ternary and n-ary structures have recently been applied to modern models of elementary particle physics. One of the author&#39;s goals in this book is to draw the attention of mathematicians and theoretical physicists to the theory of n-ary groups, to some of its distinguishing features, and to details relevant to its further development and application. Part I: Theorems of Post and Gluskin-Hosszu. 1.1. Classical definitions of n-ary groups. Examples. 1.2. Analogies of identity and inverse elements. 1.3. Equivalent sequences. 1.4. Post&#39;s coset theorem. 1.5. Theorem of Gluskin-Hosszu. 1.6. Connection between the Post&#39;s coset theorem and theorem of Gluskin-Hosszu. Addition and comments. Part II: n-ary Analogies of Some Binary Notations. 2.1. n-ary subgroups. Cosets. 2.2 Connection between n-ary subgroups of n-ary groups. 2.3. Invariant and semiinvariant n-ary subgroups. 2.4. Conjugate and semiconjugate n-ary subgroups. 2.5. Cyclic and semicyclic n-ary groups. 2.6. Abelian n-ary groups and their generalizations. 2.7. Products of n-ary groups. 2.8. Semiabelian n-ary groups with idempotents. Addition and comments. Notations. Index. References.

AG-2010.12-559

math.GR

Even Partitions in Plethysms

Peter Bürgisser, Matthias Christandl, Christian Ikenmeyer

We prove that for all natural numbers k,n,d with k <= d and every partition lambda of size kn with at most k parts there exists an irreducible GL(d, C)-representation of highest weight 2*lambda in the plethysm Sym^k(Sym^(2n) (C^d)). This gives an affirmative answer to a conjecture by Weintraub (J. Algebra, 129 (1):103-114, 1990). Our investigation is motivated by questions of geometric complexity theory and uses ideas from quantum information theory.

AG-2010.10-225

math.GR

Growth partition functions for cancellative infinite monoids

Kyoji Saito

We introduce the {\it growth partition function} $Z_{Γ,G}(t)$ associate with any cancellative infinite monoid $Γ$ with a finite generator system $G$. It is a power series in $t$ whose coefficients lie in integral Lie-like space $\mathcal{L}_{\Z}(Γ,G)$ in the configuration algebra associated with the Cayley graph $(Γ,G)$. We determine them for homogeneous monoids admitting left greatest common divisor and right common multiple. Then, for braid monoids and Artin monoids of finite type, using that formula, we explicitly determine their limit partition functions $ω_{Γ,G}$.

AG-2010.08-584

math.GR

Chemical Examples in Hypergroups

Bijan Davvaz, Akbar Dehghan-Nezhad

Hypergroups first were introduced by Marty in 1934. Up to now many researchers have been working on this field of modern algebra and developed it. It is purpose of this paper to provide examples of hypergroups associated with chemistry. The examples presented are connected to construction from chain reactions.

AG-2010.04-421

math.GR

On certain permutation representations of the braid group. Part II

Valentin Vankov Iliev

In arXiv:0910.1727 we find certain finite homomorphic images of Artin braid group into appropriate symmetric groups, which a posteriori are extensions of the symmetric group on n letters by an abelian group. The main theorem of this paper characterizes completely the extensions of this type that are split.

AG-2008.12-387

math.GR

On exceptional nilpotents in semisimple Lie algebras

A. G. Elashvili, V. G. Kac, E. B. Vinberg

We classify all pairs (m,e), where m is a positive integer and e is a nilpotent element of a semisimple Lie algebra, which arise in the classification of simple rational W-algebras.

AG-2005.12-073

math.GR

What can one reconstruct from the representation ring of a compact group?

Zoltan Zimboras

It is well known that there exist non-isomorphic compact groups with isomorphic representation rings (fusion rules). Nevertheless, considerable structural information about the group can be reconstructed from its representation ring. We review these types of partial reconstruction theorems, including some recent results. In the Appendix a derivation of the Clebsch-Gordan series of SU(2) based only on information about the dimensions of the irreps is presented.