Related papers: On a conjecture by Haipeng Qu

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…

We give a reduction to quasisimple groups for Donovan's conjecture for blocks with abelian defect groups defined with respect to a suitable discrete valuation ring $\mathcal{O}$. Consequences are that Donovan's conjecture holds for…

A finite group $G$ is called a Schur group if any Schur ring over $G$ is associated in a natural way with a subgroup of $Sym(G)$ that contains all right translations. It is proved that the group $C_3\times C_3\times C_p$ is Schur for any…

Let $P$ be a finite $p$-group and $p$ be an odd prime. Let $\mathcal{A}_p(P)_{\geq2}$ be a poset consisting of elementary abelian subgroups of rank at least 2. If the derived subgroup $P'\cong C_p\times C_p$, then the spheres occurring in…

In this article, we provide counterexamples to a conjecture of M. Pellegrini and P. Shumyatsky which states that each coset of the centralizer of an involution in a finite non-abelian simple group $G$ contains an odd order element, unless…

We enumerate central and medial quasigroups of order less than $128$ up to isomorphism, with the exception of those quasigroups that are isotopic to $C_4\times C_2^4$, $C_2^6$, $C_3^4$ or $C_5^3$. We give an explicit formula for the number…

In the representation theory of finite groups, there is a well-known and important conjecture due to M. Brou\'e. He conjectures that, for any prime p, if a p-block A of a finite group G has an abelian defect group P, then A and its Brauer…

Let $2^{[n]}$ denote the power set of $[n]:=\{1,2,..., n\}$. A collection $\B\subset 2^{[n]}$ forms a $d$-dimensional {\em Boolean algebra} if there exist pairwise disjoint sets $X_0, X_1,..., X_d \subseteq [n]$, all non-empty with perhaps…

A maximal abelian normal subgroup A in a nilpotent group N is self-centralizing. This makes their role an important one in determining the structure of the nilpotent group. For example if A is finite then N is also finite. In the free…

We make available some results about model theory cyclically ordered groups. We start with a classification of complete theories of divisible abelian cyclically ordered groups. Then we look at the cyclically ordered groups where the only…

We conjecture that every infinite group $G$ can be partitioned into countably many cells $G=\bigcup_{n\in\omega}A_n$ such that $cov(A_nA_n^{-1})=|G|$ for each $n\in\omega$. Here $cov(A)=\min\{|X|:X\subseteq G, G=XA\}$. We confirm this…

Let $A$ be an abelian surface over $\mathbb{Q}$ whose geometric endomorphism ring is a maximal order in a non-split quaternion algebra. Inspired by Mazur's theorem for elliptic curves, we show that the torsion subgroup of $A(\mathbb{Q})$ is…

We prove that the subgroup of triangular automorphisms of the complex affine $n$-space is maximal among all solvable subgroups of $\mathrm{Aut}(\mathbb{A}_{\mathbb{C}}^n)$ for every $n$. In particular, it is a Borel subgroup of…

Let $U$ be an algebraic subgroup of the group of $n\times n$ upper-triangular matrices with units on the diagonal over a finite field of large enough characteristic, and $\mathfrak{n}$ be the Lie algebra of $U$. The main tool in…

We show that every finite group $G$ of size at least $3$ has a nilpotent subgroup of class at most $2$ and size at least $|G|^{1/32\log\log|G|}$. This answers a question of Pyber, and is essentially best possible.

A long-standing conjecture asserts that every finite non-abelian $p$-group has a non-inner automorphism of order $p$. In this paper, we settle the conjecture for a finite $p$-group ($p >2$) of nilpotency class $n$ with certain conditions.

We prove the 2-torus $\mathbb T$, an abelian linear algebraic group, is a fine moduli space of labeled, oriented, possibly-degenerate inscribable similarity classes of triangles, where a triangle is {\it inscribable} if it can be inscribed…

In this work it is shown that certain interesting types of quasi-orthogonal system of subalgebras (whose existence cannot be ruled out by the trivial necessary conditions) cannot exist. In particular, it is proved that there is no…

Let $G$ be a finite group and $D_{2n}$ be the dihedral group of $2n$ elements. For a positive integer $d$, let $\mathsf{s}_{d\mathbb{N}}(G)$ denote the smallest integer $\ell\in \mathbb{N}_0\cup \{+\infty\}$ such that every sequence $S$…

Let $G$ be a finite group and $\mathcal{A}_p(G)$ be the poset of nontrivial elementary abelian $p$-subgroups of $G$. Quillen conjectured that $O_p(G)$ is nontrivial if $\mathcal{A}_p(G)$ is contractible. We prove that $O_p(G)\neq 1$ for any…