Related papers: On Sidki's presentation for orthogonal groups

The reality of the difficulties in investigation of finite groups are considered. It is shown that the consideration of symmetry properties of the $k$-orbits that are obtained with an action of a finite group $F=(V,\cdot)$ on Cartesian…

This is the second installment of an exposition of an ACL2 formalization of finite group theory. The first, which was presented at the 2022 ACL2 workshop, covered groups and subgroups, cosets, normal subgroups, and quotient groups,…

A group is called $(m,n)$-bicyclic if it can be expressed as a product of two cyclic subgroups of orders $m$ and $n$, respectively. The classification and characterization of finite bicyclic groups have long been important problems in group…

This paper is a continuation of two previous papers in MSJ Memoirs, Vol.\,29 (Math. Soc. Japan, 2013) with the same title and numbered as I and II. Based on the hereditary property given there, from mother groups $G(m,1,n)$, the generalized…

We review Bacry and Levy-Leblond's work on possible kinematics as applied to 2-dimensional spacetimes, as well as the nine types of 2-dimensional Cayley-Klein geometries, illustrating how the Cayley-Klein geometries give homogeneous…

A finite group $G$ admits an {\em oriented regular representation} if there exists a Cayley digraph of $G$ such that it has no digons and its automorphism group is isomorphic to $G$. Let $m$ be a positive integer. In this paper, we extend…

Let $G$ be a group and $m$ a positive integer. We say an $m$-Cayley digraph $\Gamma$ over $G$ is a digraph that admits a group of automorphisms isomorphic to $G$ acting semiregularly on the vertex set with $m$ orbits. The digraph $\Sigma$…

The analogies between symplectic and orthogonal groups, regarded as symmetries of real bilinear forms, are manifest in their (metaplectic and spin) projective representations. In finite dimensions, those are true representations of doubly…

The Baumslag-Solitar groups: BS(m,n)=<x,y| x y^{m} x^{-1} = y^{n}> are some of the simplest interesting infinite groups which are not lattices in Lie groups. They have been studied in depth from the point of view of combinatorial group…

Hamilton in the course of his studies on quaternions came up with an elegant geometric picture for the group SU(2). In this picture the group elements are represented by ``turns'', which are equivalence classes of directed great circle arcs…

Four families of generalizations of trigonometric functions were recently introduced. In the paper the functions are transformed into four families of orthogonal polynomials depending on two variables. Recurrence relations for construction…

Let $U$ be an arbitrary word in letters $x_1^{\pm 1}, ..., x_m^{\pm 1}$ and $m \ge 2$. We prove that the group presentation $<x_1, ..., x_m \|\ U x_i U^{-1} = x_{i+1}, i=1,..., m-1>$ is aspherical. The proof is based upon prior partial…

In this series of papers, we investigate properties of a finite group which are determined by its low degree irreducible representations over a number field $F$, i.e. its representations on matrix rings $\operatorname{M}_n(D)$ with $n \leq…

We study connections between the ring of symmetric functions and the characters of irreducible finite-dimensional representations of quantum affine algebras. We study two families of representations of the symplectic and orthogonal Lie…

Let $q$ be an odd prime power, and $G=\text{Sp}(2n,q)$ the finite symplectic group. We give an expression for the total Stiefel-Whitney Classes (SWCs) for orthogonal representations $\pi$ of $G$, in terms of character values of $\pi$ at…

We describe the Stiefel-Whitney classes (SWCs) of orthogonal representations $\pi$ of the finite special linear groups $G=\text{SL}(2,\mathbb F_q)$, in terms of character values of $\pi$. From this calculation, we can answer interesting…

Several classes of irreducible orthogonal representations of compact Lie groups that are of importance in Differential Geometry have the property that the second osculating spaces of all of their nontrivial orbits coincide with the…

Many finite groups, including all finite non-abelian simple groups, can be symmetrically generated by involutions. In this paper we give an algorithm to symmetrically represent elements of finite groups and to transform symmetrically…

For every imprimitive complex reflection group of rank 2, we construct a semi-orthogonal decomposition of the derived category of the associated global quotient stack which categorifies the usual decomposition of the orbifold cohomology…

Finite group theorists have established many formulas that express interesting properties of a finite group in terms of sums of characters of the group. An obstacle to applying these formulas is lack of control over the dimensions of…