设p是奇素数，S是有限p-群. B. Oliver猜想起源于p-局部有限群理论中的一个公开问题。它主张S的某个特征子群X（S）总是包含Thompson子群。在以前的工作中，前两位作者和M.利连塔尔将奥利弗猜想改写为关于因子群S/X（S）的表示论的陈述。现在我们对各种各样的群S/X（S）验证这个猜想。
英文摘要：
Let p be an odd prime and S a finite p-group. B. Oliver's conjecture arises from an open problem in the theory of p-local finite groups. It is the claim that a certain characteristic subgroup X(S) of S always contains the Thompson subgroup. In previous work the first two authors and M. Lilienthal recast Oliver's conjecture as a statement about the representation theory of the factor group S/X(S). We now verify the conjecture for a wide variety of groups S/X(S).
To date almost all verifications of Oliver's p-group conjecture have proceeded by verifying a stronger conjecture about weakly closed quadratic subgroups. We construct a group of order 3^n for n = 49 which refutes the weakly closed conjecture but satisfies Oliver's conjecture.
We introduce a strong form of Oliver's p-group conjecture and derive a reformulation in terms of the modular representation theory of a quotient group. The Sylow p-subgroups of the symmetric group S_n and of the general linear group GL_n(F_q) satisfy both the strong conjecture and its reformulation.
Let $S$ be a $p$-group for an odd prime $p$, Oliver proposed the conjecture that the Thompson subgroup $J(S)$ is always contained in the Oliver subgroup $\mathfrak{X}(S)$. That means he conjectured that $|J(S)\mathfrak{X}(S):\mathfrak{X}(S)|=1$. Let $\mathfrak{X}_1(S)$ be a subgroup of $S$ such that $\mathfrak{X}_1(S)/\mathfrak{X}(S)$ is the center of $S/\mathfrak{X}(S)$. In this short note, we prove that $J(S)\leq \mathfrak{X}(S)$ if and only if $J(S)\leq \mathfrak{X}_1(S)$. As an easy application, we prove that $|J(S)\mathfrak{X}(S):\mathfrak{X}(S)|\neq p$.
Bob Oliver conjectures that if $p$ is an odd prime and $S$ is a finite $p$-group, then the Oliver subgroup $\X(S)$ contains the Thompson subgroup $J_e(S)$. A positive resolution of this conjecture would give the existence and uniqueness of centric linking systems for fusion systems at odd primes. Using ideas and work of Glauberman, we prove that if $p \geq 5$, $G$ is a finite $p$-group, and $V$ is an elementary abelian $p$-group which is an F-module for $G$, then there exists a quadratic offender which is 2-subnormal (normal in its normal closure) in $G$. We apply this to show that Oliver's co…
This paper is concerned with the Laitinen Conjecture. The conjecture predicts an answer to the Smith question which reads as follows. Is it true that for a finite group acting smoothly on a sphere with exactly two fixed points, the tangent spaces at the fixed points have always isomorphic group module structures defined by differentiation of the action? Using the technique of induction of group representations, we indicate a new infinite family of finite Oliver groups for which the Laitinen Conjecture holds.
We give an alternate computer-free proof of a result of Z. Arad, M. Muzychuk, and A. Oliver: if G is a minimal counterexample to the Sym(3) conjecture, then Soc(G)' cannot be isomorphic to Alt(8).
Let p be a prime, P a finite p-group and F a Frobenius P-category. The question on the existence of a suitable category Lsc extending the full subcategory of F over the set of F-selfcentralizing subgroups of P goes back to Dave Benson in 1994. In 2002 Carles Broto, Ran Levi and Bob Oliver formulate the existence and the uniqueness of the category Lsc in terms of the annulation of an obstruction 3-cohomology element and of the vanishing of a 2-cohomology group, and they state a sufficient condition for the vanishing of these n-cohomology groups. Recently, Amy Chermak has proved the existence an…
A. Chermak has recently proved that to each saturated fusion system over a finite $p$-group, there is a unique associated centric linking system. B. Oliver extended Chermak's proof by showing that all the higher cohomological obstruction groups relevant to unique existence of centric linking systems vanish. Both proofs indirectly assume the classification of finite simple groups. We show how to remove this assumption, thereby giving a classification-free proof of the Martino-Priddy conjecture concerning the $p$-completed classifying spaces of finite groups. Our main tool is a 1971 result of th…
For a connected Noetherian unstable algebra $R$ over the mod $p$ Steenrod algebra, we prove versions of theorems of Duflot and Carlson on the depth of $R$, originally proved when $R$ is the mod $p$ cohomology ring of a finite group. This recovers the aforementioned results, and also proves versions of them when $R$ is the mod $p$ cohomology ring of a compact Lie group, a profinite group with Noetherian cohomology, a Kac--Moody group, a discrete group of finite virtual cohomological dimension, as well as for certain other discrete groups. More generally, our results apply to certain finitely ge…
We finish the classification, begun in two earlier papers, of all simple fusion systems over finite nonabelian $p$-groups with an abelian subgroup of index $p$. In particular, this gives many new examples illustrating the enormous variety of exotic examples that can arise. In addition, we classify all simple fusion systems over infinite nonabelian discrete $p$-toral groups with an abelian subgroup of index $p$. In all of these cases (finite or infinite), we reduce the problem to one of listing all $\mathbb{F}_pG$-modules (for $G$ finite) satisfying certain conditions: a problem which was solve…
The transporter systems of Oliver and Ventura and the localities of Chermak are classes of algebraic structures that model the $p$-local structures of finite groups. Other than the transporter categories and localities of finite groups, important examples include centric, quasicentric, and subcentric linking systems for saturated fusion systems. These examples are however not defined in general on the full collection of subgroups of the Sylow group. We study here punctured groups, a short name for transporter systems or localities on the collection of nonidentity subgroups of a finite $p$-grou…
We give a new proof of Quillen's conjecture for solvable groups via a geometric and explicit method. For p-solvable groups, we provide both a new proof using the Classification of Finite Simple Groups and an asymptotic version without employing it.
We prove the $K$- and $L$-theoretic Farrell-Jones Conjecture with coefficients in an additive category for every normally poly-free group, in particular for even Artin groups of FC-type, and for all groups of the form $A\rtimes \mathbb{Z}$ where $A$ is a right-angled Artin group. Our proof relies on the work of Bestvina-Fujiwara-Wigglesworth on the Farrell--Jones Conjecture for free-by-cyclic groups.
In this note, we prove that the $K(π,1)$-conjecture for Artin groups implies the center conjecture for Artin groups. Specifically, every Artin group without a spherical factor that satisfies the $K(π,1)$-conjecture has a trivial center.
We show that the Farrell-Jones Conjecture holds for fundamental groups of graphs of groups with abelian vertex groups. As a special case, this shows that the conjecture holds for generalized Baumslag-Solitar groups.
It is shown that the strong Atiyah conjecture and the Lück approximation conjecture in the space of marked groups hold for locally indicable groups. In particular, this implies that one-relator groups satisfy both conjectures. We also show that the center conjecture, the independence conjecture and the strong eigenvalue conjecture hold for these groups. As a byproduct we prove that the group algebra of a locally indicable group over a field of characteristic zero has a Hughes-free epic division algebra and, in particular, it is embedded in a division algebra.
The Surface Group Conjectures are statements about recognising surface groups among one-relator groups, using either the structure of their finite-index subgroups, or all subgroups. We resolve these conjectures in the two generator case. More generally, we prove that every two-generator one-relator group with every infinite-index subgroup free is itself either free or a surface group.
We discuss some new results concerning Gap Conjecture on group growth and present a reduction of it (and its *-version) to several special classes of groups. Namely we show that its validity for the classes of simple groups and residually finite groups will imply the Gap Conjecture in full generality. A similar type reduction holds if the Conjecture is valid for residually polycyclic groups and just-infinite groups. The cases of residually solvable groups and right orderable groups are considered as well.
In this note we provide some counterexamples for the conjectures of finite simple groups, one of the conjectures said "all finite simple groups $G$ can be determined using their orders $|G|$ and the number of elements of order $p$, where $p$ the largest prime divisor of $|G|$".
In this note we provide some counterexamples for the conjecture of Moretó on finite simple groups, which says that any finite simple group $G$ can determined in terms of its order $|G|$ and the number of elements of order $p$, where $p$ the largest prime divisor of $|G|$. Moreover, we show that this conjecture holds for all sporadic simple groups and alternating groups $A_n$, where $n\neq 8, 10$. Some related conjectures are also discussed.
In this note, I propose the following conjecture: a finite group G is nilpotent if and only if its largest quotient B-group β(G) is nilpotent. I give a proof of this conjecture under the additional assumption that G be solvable. I also show that this conjecture is equivalent to the following: the kernel of restrictions to nilpotent subgroups is a biset-subfunctor of the Burnside functor.
We conjecture that every infinite group $G$ can be partitioned into countably many cells $G=\bigcup_{n\inω}A_n$ such that $cov(A_nA_n^{-1})=|G|$ for each $n\inω$. Here $cov(A)=\min\{|X|:X\subseteq G, G=XA\}$. We confirm this conjecture for each group of regular cardinality and for some groups (in particular, Abelian) of an arbitrary cardinality.
Hans Zassenhaus conjectured that every torsion unit of the integral group ring of a finite group $G$ is conjugate within the rational group algebra to an element of the form $\pm g$ with $g\in G$. This conjecture has been disproved recently for metabelian groups, by Eisele and Margolis. However it is known to be true for many classes of solvable groups, as for example nilpotent groups, cyclic-by-abelian groups and groups having a cyclic Sylow subgroup with abelian complement. On the other hand, it is not known whether the conjecture holds for supersolvable groups. This paper is a contribution …
The general {\bf surface group conjecture} asks whether a one-relator group where every subgroup of finite index is again one-relator and every subgroup of infinite index is free (property IF) is a surface group. We resolve several related conjectures given in [FKMRR]. First we obtain the Surface Group Conjecture B for cyclically pinched and conjugacy pinched one-relator groups. That is: if $G$ is a cyclically pinched one-relator group or conjugacy pinched one-relator group satisfying property IF then $G$ is free, a surface group or a solvable Baumslag-Solitar Group. Further combining results …
In this paper, we show that each finite group $G$ containing at most $p^2$ Sylow $p$-subgroups for each odd prime number $p$, is a solvable group. In fact, we give a positive answer to the conjecture in \cite{Rob}.
Kropholler and Mislin conjectured that groups acting admissibly on a finite-dimensional G-CW-complex with finite stabilisers admit a finite-dimensional model for E_FG, the classifying space for proper actions. This conjecture is known to hold for groups with bounded torsion. In this note we consider a large class of groups U containing the above and many known examples with unbounded torsion. We show that the conjecture holds for a large subclass of U.
The Andrews-Curtis conjecture claims that every normally generating $n$-tuple of a free group $F_n$ of rank $n \ge 2$ can be reduced to a basis by means of Nielsen transformations and arbitrary conjugations. Replacing $F_n$ by an arbitrary finitely generated group yields natural generalizations whose study may help disprove the original and unsettled conjecture. We prove that every finitely generated soluble group satisfies the generalized Andrews-Curtis conjecture in the sense of Borovik, Lubotzky and Myasnikov. In contrast, we show that some soluble Baumslag-Solitar groups do not satisfy the…
The famous strongly binary Goldbach's conjecture asserts that every even number $2n \geq 8$ can always be expressible as the sum of two distinct odd prime numbers. We use a new approach to dealing with this conjecture. Specifically, we apply the element order prime graphs of alternating groups of degrees $2n$ and $2n-1$ to characterize this conjecture, and present its six group-theoretic versions; and further prove that this conjecture is true for $p+1$ and $p-1$ whenever $p \geq 11$ is a prime number.
We give a reduction of Donovan's conjecture for abelian groups to a similar statement for quasisimple groups. Consequently we show that Donovan's conjecture holds for abelian $2$-groups.
In this paper, we prove Späth's Character Triple Conjecture for $p$-solvable groups. This is a conjecture proposed by Späth during the reduction process of Dade's Projective Conjecture to quasisimple groups. In addition, as suggested by Isaacs and Navarro, we take into account the $p$-residue of characters.
Using the classification of finite simple groups we prove Alperin's weight conjecture and the character theoretic version of Broue's abelian defect group conjecture for 2-blocks of finite groups with an elementary abelian defect group of order 8.
We give an expanded treatment of our lecture series at the 2017 Groups St Andrews conference in Birmingham on local-global conjectures and the block theory of finite reductive groups.
We generalize a result of Sury and prove that uniform discreteness of cocompact lattices in higher rank semisimple Lie groups (first conjectured by Margulis) is equivalent to a weak form of Lehmer's conjecture. We include a short survey of related results and conjectures.
We give an alternate proof of a Theorem of Elek and Szabo establishing Lück's determinant conjecture for sofic groups. Our proof is based on traces on group C*-algebras. We briefly discuss the relation with Atiyah's problem on the integrality of $L^2$-Betti numbers.
We study a group which is hyperbolic relative to a finite family of infinite subgroups. We show that the group satisfies the coarse Baum-Connes conjecture if each subgroup belonging to the family satisfies the coarse Baum-Connes conjecture and admits a finite universal space for proper actions. Especially, the group satisfies the analytic Novikov conjecture.
