Related papers: On Quillen's conjecture for p-solvable groups

We prove the solvability and nilpotency of Kac--Paljutkin's finite quantum group and Sekine quantum groups and we classify the solvable series of Kac--Paljutkin's finite quantum group via Cohen--Westreich's Burnside theorem. Some semisimple…

We construct uncountably categorical 3-nilpotent groups of exponent p > 3. They are not one-based and do not allow the interpretation of an infinite field. Therefore they are counterexamples to Zilbers Conjecture. First 2-nilpotent new…

We prove a conjecture for the irreducibility of singular Gelfand-Tsetlin modules. We describe explicitly the irreducible subquotients of certain classes of singular Gelfand-Tsetlin modules.

We prove a conjecture of Klopsch-Voll on the signed generating function of a new statistic on the quotients of the symmetric groups. As a consequence of our results we also prove a conjecture of Stasinski-Voll in type $B$.

We prove a pro-$p$ version of Sela's theorem stating that a finitely generated group is $k$-acylindrically accessible. This result is then used to prove that $\mathrm{PD}^n$ pro-$p$ groups admit a unique $k$-acylindrical JSJ-decomposition.

Given a finite group $G$ and a prime $p$, let $\mathcal{A}_p(G)$ be the poset of nontrivial elementary abelian $p$-subgroups of $G$. The group $G$ satisfies the Quillen dimension property at $p$ if $\mathcal{A}_p(G)$ has non-zero homology…

We prove general a priori estimates of solutions of a class of quasilinear elliptic system on Carnot groups. As a consequence, we obtain several non existence theorems. The results are new even in the Euclidean setting.

In this short note we prove that the finite non-abelian simple groups PSL(2,q), where q = 5,7, are determined by their posets of classes of isomorphic subgroups. In particular, this disproves the conjecture in the end of [5].

In 1968, John Thompson proved that a finite group $G$ is solvable if and only if every $2$-generator subgroup of $G$ is solvable. In this paper, we prove that solvability of a finite group $G$ is guaranteed by a seemingly weaker condition:…

We prove the conjugacy of Sylow $p$-subgroups of linear pseudofinite groups under the assumption of the existence of a finite Sylow $p$-subgroup. We also give an example of a linear pseudofinite group with non-conjugate Sylow $2$-subgroups.

In 2003, H\'{e}thelyi and K\"{u}lshammer proposed that if $G$ is a finite group and $p$ is a prime dividing the group order, then $k(G)\geq 2\sqrt{p-1}$, and they proved this conjecture for solvable $G$ and showed that it is sharp for those…

In this paper, we prove Sp\"ath's Character Triple Conjecture for $p$-solvable groups. This is a conjecture proposed by Sp\"ath during the reduction process of Dade's Projective Conjecture to quasisimple groups. In addition, as suggested by…

A derived version of Maschke's theorem for finite groups is proved: the derived categories, bounded or unbounded, of all blocks of the group algebra of a finite group are simple, in the sense that they admit no nontrivial recollements. This…

We give an elementary proof of the group law for elliptic curves using explicit formulas.

We define the notion of accessibility for a pro-$p$ group. We prove that finitely generated pro-$p$ groups are accessible given a bound on the size of their finite subgroups. We then construct a finitely generated inaccessible pro-$p$…

We prove the Milnor conjecture for Lie groups and the Friedlander conjecture for complex algebraic Lie groups.

Let $d \geq 2$ be an integer. We conjecture that there is a finitely generated perfect group whose homomorphic images include all finite $d$-generated perfect groups. We prove a special case of this conjecture for the finite perfect groups…

For every $p\geq 2$ we show that each finite $p$-group with an unmixed Beauville structure is part of a surjective infinite projective system of finite $p$-groups with compatible unmixed Beauville structures. This leads to the new notion of…

We find an example of a finite solvable group (in fact, a finite $p$-group) without any left brace structure (equiv. which is not an IYB group). Our argument is an improvement of an argument of Rump, using previous work in other areas of…

We derive Verlinde's formula from the fixed point formula for loop groups proved in the companion paper "A fixed point formula for loop group actions", and extend it to compact, connected groups that are not necessarily simply-connected.