Related papers: A note on conjugacy problem for finite Sylow subgr…

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,…

In this paper we describe how to explicitly construct infinitely many finite simple groups as characteristic quotients of the rank 2 free group $F_2$. This shows that a "baby" version of the Wiegold conjecture fails for $F_2$, and provides…

In this paper we survey a new criteria for solvability of finite groups in terms of number of supersolvable (also known as polycyclic) and non-supersolvable subgroups. In particular, we present original examples of supersolvable groups such…

For the finite groups GU(3), SU(3), GL(3), SL(3) over a finite field we solve the class product problem, i.e., we give a complete list of $m$-tuples of conjugacy classes whose product does not contain the identity matrix.

We study conjugacy limits of certain of subgroups inside $\SL(2,\R)\ltimes\R^2$. These subgroups have a common feature that any two in the same category are conjugates of each other.

Denote by $\nu_p(G)$ the number of Sylow $p$-subgroups of $G$. It is not difficult to see that $\nu_p(H)\leq\nu_p(G)$ for $H\leq G$, however $\nu_p(H)$ does not divide $\nu_p(G)$ in general. In this paper we reduce the question whether…

The concept of a C-approximable group, for a class of finite groups C, is a common generalization of the concepts of a sofic, weakly sofic, and linear sofic group. Glebsky raised the question whether all groups are approximable by finite…

We show that (with one possible exception) there exist strongly dense free subgroups in any semisimple algebraic group over a large enough field. These are nonabelian free subgroups all of whose subgroups are either cyclic or Zariski dense.…

The principle result of this article is the determination of the possible finite subgroups of arithmetic lattices in U(2,1).

Let p be a prime. We prove that if a finite group G has non-abelian Sylow p-subgroups, and the class size of every p-element in G is coprime to p; then G contains a simple group as a subquotient which exhibits the same property. In addition…

It is well-known that an element of the linear group ${\rm GL}_n(\C)$ is semisimple if and only if its conjugacy class is Zariski closed. The aim of this paper is to show that the same result holds for the group of complex plane polynomial…

A group $G$ is called subgroup conjugacy separable if for every pair of non-conjugate finitely generated subgroups of $G$, there exists a finite quotient of $G$ where the images of these subgroups are not conjugate. It is proved that the…

We give a description of finite semigroups $S$ that are minimal for not being Malcev nilpotent, i.e. every proper subsemigroup and every proper Rees factor semigroup is Malcev nilpotent but $S$ is not. For groups this question was…

Liebeck, Nikolov, and Shalev conjectured that for every subset A of a finite simple group S with |A|>1, there exist O( log|S| / log|A| ) conjugates of A whose product is S. This paper is a companion to [Lifshitz: Completing the proof of the…

We determine all finite subgroups of simple algebraic groups that have irreducible centralizers - that is, centralizers whose connected component does not lie in a parabolic subgroup.

This paper is a contribution to the study of the subgroup structure of exceptional algebraic groups over algebraically closed fields of arbitrary characteristic. Following Serre, a closed subgroup of a semisimple algebraic group $G$ is…

The Liebeck-Nikolov-Shalev conjecture [LNS12] asserts that, for any finite simple non-abelian group $G$ and any set $A\subseteq G$ with $|A|\geq 2$, $G$ is the product of at most $N\frac{\log|G|}{\log|A|}$ conjugates of $A$, for some…

Suppose $p$ is a prime and $S$ is a Sylow $p$-subgroup of a finite group $G$. If $S$ is normal in $G$, then $Z(S)$ is the direct product of $S \cap Z(G)$ with $[Z(S), G]$. We prove an analogous result for all groups except in some cases…

In this paper it is stressed that there is no {\em physical} reason for symmetries to be linear and that Lie group theory is therefore too restrictive. We illustrate this with some simple examples. Then we give a readable review on the…

One part of Sylow's famous theorem in group theory states that the number of Sylow p-subgroups of a finite group is always congruent to 1 modulo p. Conversely, Marshall Hall has shown that not every positive integer $n\equiv 1\pmod{p}$…