Related papers: A 3-local characterization of Co_2

This is the third and final installment of an exposition of an ACL2 formalization of finite group theory. Part I covers groups and subgroups, cosets, normal subgroups, and quotient groups. Part II extends the theory in the developmnent of…

Every finite $p$-group of coclass 2 has a noninner automorphism of order $p$ leaving the center elementwise fixed.

Our approach to higher order Fourier analysis is to study the ultra product of finite (or compact) Abelian groups on which a new algebraic theory appears. This theory has consequences on finite (or compact) groups usually in the form of…

We show that the group generated by by triangular and diagonal conjugations is dense in $\aut(\Omega_2)$ (in the local-uniform topology). Moreover, it is shown that any automorphism of $\Omega_2$ is a local holomorphic conjugation.

We prove a broad generalization of a theorem of W. Burnside on real characters using permutation characters. Under a necessary hypothesis, We can give some control on multiplicities (a result that needs the Classification of Finite Simple…

The goal of this note is to give a characterization of generalized quaternion $2$-groups by using their posets of cyclic subgroups.

In this paper we establish results that will be required for the study of the algebraic geometry of partially-commutative groups. We define classes of groups axiomatised by sentences determined by a graph. Among the classes which arise this…

Let G be a connected, reductive group over an algebraically closed field of good characteristic. For u in G unipotent, we describe the conjugacy classes in the component group A(u) of the centralizer of u. Our results extend work of the…

An $SL_2$-tiling is a bi-infinite matrix of positive integers such that each adjacent 2 by 2 submatrix has determinant 1. Such tilings are infinite analogues of Conway-Coxeter friezes, and they have strong links to cluster algebras,…

We describe several exotic fusion systems related to the Sporadic simple groups at odd primes. More generally, we classify saturated fusion systems supported on Sylow $3$-subgroups of the Conway group $\mathrm{Co}_1$ and the Thompson group…

Let $p$ be a an odd prime and let $G$ be a finite $p$-group with cyclic commutator subgroup $G'$. We prove that the exponent and the abelianization of the centralizer of $G'$ in $G$ are determined by the group algebra of $G$ over any field…

Let $\mathbf G$ be a connected reductive algebraic group over an algebraically closed field, and let $s\in\mathbf G$ be a semisimple element. We show that the centraliser of $s$ is the semi-direct product of its identity component by its…

We consider formal maps in any finite dimension $d$ with coefficients in an integral domain $K$ with identity. Those invertible under formal composition form a group $\mathcal{G}$. We consider the centraliser $C_g$ of an element…

We show that for a minimal, second countable, locally compact Hausdorff \'etale groupoid whose unit space is homeomorphic to the Cantor set, if the groupoid has comparison then the commutator subgroup of its full group is simple. This…

We give a complete description of the associated group of any quandle as a central extension of the inner-automorphism group. As an application, we compute the second quandle homology groups of quandles of some families, including those of…

It is known that the second Leibniz homology group $HL_2(stl_n(R))$ of the Steinberg Leibniz algebra $stl_n(R)$ is trivial for $n\geq 5$. In this paper, we determine $HL_2(stl_n(R))$ explicitly (which are shown to be not necessarily…

We first develop some basic facts about certain sorts of rigid local systems on the affine line in characteristic $p>0$. We then apply them to exhibit a number of rigid local systems of rank $23$ on the affine line in characteristic $p=3$…

We prove that centralizers of elements in [f.g. free]-by-cyclic groups are computable. As a corollary we get that, given two conjugate elements in a [f.g. free]-by-cyclic group, the set of conjugators can be computed and that the conjugacy…

The Poisson centralizer of the trace element is determined in the coordinate ring of SL_n endowed with the Poisson structure obtained as the semiclassical limit of its quantized coordinate ring. It turns out that this maximal…

Let $G$ be a $p$-group. We begin to consider the relationship between the structure of the commuting graph and $|G:Z(G)|$. We also build a family of groups whose commuting graphs have more than one connected component whose diameter is at…