Related papers: Acyclic $2$-dimensional complexes and Quillen's co…

Let a, b be non-zero complex numbers and l an odd natural number bigger that 2. We determine all Hopf algebra quotients of the quantized coordinate algebra O_{a,b}(GL_{n}) when a^{-1}b is a primitive l-th root of unity and a, b satisfy…

We prove a natural generalization of Szep's conjecture. Given an almost simple group $G$ with socle not isomorphic to an orthogonal group having Witt defect zero, we classify all possible group elements $x,y\in G\setminus\{1\}$ with $G={\bf…

Let $A$ be an elementary abelian $r$-group with rank at least $3$ that acts faithfully on the finite $r'$-group $G$. Assume that $G$ is $A$-simple, so that $G = K_{1} \times\cdots\times K_{n}$ where $K_{1},\ldots,K_{n}$ is a collection of…

In this series of two articles, we prove that every action of a finite group $G$ on a finite and contractible $2$-complex has a fixed point. The proof goes by constructing a nontrivial representation of the fundamental group of each of the…

Let $A$ be a commutative Noetherian ring of characteristic $p>0$, such that $\dim(A)=d$. Let $P$ be a projective $A[T_1,...,T_n]$-module of rank $d$. We show that $P$ is cancellative if and only if $P/<T_1,...,T_n>P$ is cancellative. We…

Given a prime $p$, we construct a permutation group containing at least $p^{p-2}$ non-conjugated regular elementary abelian subgroups of order $p^3$. This gives the first example of a permutation group with exponentially many non-conjugated…

A group $G$ is said to be factorized into subsets $A_1, A_2, \ldots, A_s\subseteq G$ if every element $g$ in $G$ can be uniquely represented as $g=g_1g_2\ldots g_s$, where $g_i\in A_i$, $i=1,2,\ldots,s$. We consider the following…

Let $G$ be a finite group and $k$ a field of prime characteristic $p$. We examine the Lefschetz homomorphism $\Lambda: \mathcal{E}_k(G) \to O(T(kG))$ from the group of endotrivial complexes, i.e. the Picard group of the bounded homotopy…

We develop an abstract framework for studying the strong form of Malle's conjecture for nilpotent groups $G$ in their regular representation. This framework is then used to prove the strong form of Malle's conjecture for any nilpotent group…

We prove that if $G$ is a finite simple group which is the unit group of a ring, then $G$ is isomorphic to either (a) a cyclic group of order 2; (b) a cyclic group of prime order $2^k -1$ for some $k$; or (c) a projective special linear…

Let G be a connected simple adjoint p-adic group not isomorphic to a projective linear group PGL(m,D) of a division algebra D, or an adjoint ramified unitary group of a split hermitian form in 3 variables. We prove that G admits an…

We prove that for every compactum $X$ and every integer $n \geq 2$ there are a compactum $Z$ of $\dim \leq n+1$ and a surjective $UV^{n-1}$-map $r: Z \lo X$ such that for every abelian group $G$ and every integer $k \geq 2$ such that…

A smooth complex variety satisfies the Generalized Jacobian Conjecture if all its \'etale endomorphisms are proper. We study the conjecture for $\mathbb{Q}$-acyclic surfaces of negative Kodaira dimension. We show that $G$-equivariant…

In this note, we prove: \medskip \noindent {\bf Theorem A:} \emph{ There is a fixed constant $C$ such that for any positive integer $n$ and prime $p$, every finite subgroup $G$ of order coprime to $p$ of ${\rm GL}(n,\mathbb{C})$ has an…

Recent investigations on the set of commutators between the elements of a finite group having relatively prime orders have prompt us to propose a variant of the Ore conjecture: For every finite non-abelian simple group and for every $g\in…

We generalize results of P. Schneider and U. Stuhler for GL_l+1 to a reductive algebraic group G defined and split over a non-archimedean local field K. Following their lines, we prove that the generalized Steinberg representations of G…

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

We prove some conditions for higher dimensional algebraic fibering of pro-$p$ group extensions and we establish corollaries about incoherence of pro-$p$ groups. In particular, if $G = K \rtimes \Gamma$ is a pro-$p$ group, $\Gamma$ a…

It is known that an abelian group $A$ and a $2$-cocycle $c:A \times A \to C$ yield a group ${\mathscr{H}}(A,C,c)$ which we call a Heisenberg group. This group, a central extension of $A$, is the archetype of a class~$2$ nilpotent group. In…

Let $S$ be a certain affine algebraic surface over $\mathbb{Q}$ such that it admits a regular map to $\mathbb{A}^2/\mathbb{Q}$. We show that any non-trivial torsion line bundle in the relative Picard group $Pic^0\left(S/\mathbb{A}^2\right)$…