On the order of a non-abelian representation group of a slim dense near hexagon

In this paper we study the possible orders of a non-abelian representation group of a slim dense near hexagon. We prove that if the representation group R of a slim dense near hexagon S is non-abelian, then R is a 2-group of exponent 4 and |R|=2 ^β , 1+NPdim(S)≤β≤1+dimV(S), where NPdim(S) is the near polygon embedding dimension of S and dimV(S) is the dimension of the universal representation module V(S) of S. Further, if β=1+NPdim(S), then R is necessarily an extraspecial 2-group. In that case, we determine the type of the extraspecial 2-group in each case. We also deduce that the universal representation group of S is a central product of an extraspecial 2-group and an abelian 2-group of exponent at most 4. This work was partially done when B.K. Sahoo was a Research Fellow at the Indian Statistical Institute, Bangalore Center with NBHM fellowship, DAE Grant 39/3/2000-R&D-II, Govt. of India.     

A-Solvability and Mixed Abelian Groups

An abelian group A is an S-group (S ⁺-group) if every subgroup B ≤ A of finite index is A-generated (A-solvable). This article discusses some of the differences between torsion-free S-groups and mixed S-groups, and studies (mixed) S- and S ⁺-groups, which are self-small and have finite torsion-free rank.     

2-Fusion Systems with Components of Type SL2(q)

We study a problem in fusion systems designed to mimic, simplify, and generalize parts of the Classification of Finite Simple Groups. A 2-fusion system is a 2-group S with a family of injective homomorphisms on subgroups of S. Fusion systems arise in the study of modular representations and classifying spaces, and our results have potential ramifications beyond finite group theory. One problem is to determine S or, whenever possible, the entire 2-fusion system from the knowledge of certain subgroups and maps. We consider the case where S contains a subgroup and maps that arise in the Classification with standard component of type SL₂(q).     

Dieudonné Completion and PT-Groups

We consider the classes of PT-groups, strong PT-groups, completion friendly groups, and Moscow groups introduced by Arhangel’skii for the study of the Dieudonné completion of topological groups. We show that every subgroup H of a Lindel?f P-group is a PT-group, and that H is a strong PT-group iff it is \mathbb R{\mathbb R}-factorizable. Assuming CH, we prove that every ω-narrow P-group is a PT-group. Several results regarding products of PT-groups and \mathbb R{\mathbb R}-factorizable groups are established as well. We prove that the product of a Lindel?f group and an arbitrary subgroup of a Lindel?f Σ-group is completion friendly, and the same conclusion is valid for the product of an \mathbb R{\mathbb R}-factorizable P-group with an almost metrizable group.     

A characteristic subgroup of Σ4-free groups

LetS be a finite non-trivial 2-group. It is shown that there exists a nontrivial characteristic subgroupW(S) inS satisfying:W(S) is normal inH for every finite Σ₄-free groupsH withSεSyl₂(H) andC _H(O₂(H))≤O₂(H).     

Torsion completeness of <Emphasis Type="Italic">p</Emphasis>-primary components in modular group rings of <Emphasis Type="Italic">p</Emphasis>-reduced Abelian groups

Let G be a p-reduced Abelian group and R a commutative unital ring of prime characteristic p such that for each natural number i the subring $ R^{p^i } $ R^{p^i } has nilpotent elements. It is shown that if S(RG) is the normalized Sylow p-group in the group ring RG, then S(RG) is torsion-complete if and only if G is a bounded p-group. This strengthens our former results on this subject.     

可除阿贝尔p-群的自同构群

主要探讨了秩大于或者等于p-1的可除阿贝尔p-群的p-自同构群,并且得到这些p-自同构如何作用在该可除阿贝尔p-群上.这些结论有助于进一步理解 ?ernikov p-群的结构.     

Normal subgroups and elementary theories of lattice-ordered groups

We show that any lattice-ordered group (l-group) G can be l-embedded into continuously many l-groups H _i which are pairwise elementarily inequivalent both as groups and as lattices with constant e. Our groups H _i can be distinguished by group-theoretical first-order properties which are induced by lattice-theoretically nice properties of their normal subgroup lattices. Moreover, they can be taken to be 2-transitive automorphism groups A(S _i ) of infinite linearly ordered sets (S _i , ) such that each group A(S _i ) has only inner automorphisms. We also show that any countable l-group G can be l-embedded into a countable l-group H whose normal subgroup lattice is isomorphic to the lattice of all ideals of the countable dense Boolean algebra B.     

Minimal Number of Generators and Minimum Order of a Non-Abelian Group Whose Elements Commute with Their Endomorphic Images

A group in which every element commutes with its endomorphic images is called an “E-group″. If p is a prime number, a p-group G which is an E-group is called a “pE-group″. Every abelian group is obviously an E-group. We prove that every 2-generator E-group is abelian and that all 3-generator E-groups are nilpotent of class at most 2. It is also proved that every infinite 3-generator E-group is abelian. We conjecture that every finite 3-generator E-group should be abelian. Moreover, we show that the minimum order of a non-abelian pE-group is p ⁸ for any odd prime number p and this order is 2⁷ for p = 2. Some of these results are proved for a class wider than the class of E-groups.     

Adelic version of Margulis arithmeticity theorem

We generalize Margulis's S-arithmeticity theorem to the case when S can be taken as an infinite set of primes. Let R be the set of all primes including infinite one and set . Let S be any subset of R. For each , let be a connected semisimple adjoint -group and be a compact open subgroup for each finite prime . Let denote the restricted topological product of 's, with respect to 's. Note that if S is finite, . We show that if , any irreducible lattice in is a rational lattice. We also present a criterion on the collections and for to admit an irreducible lattice. In addition, we describe discrete subgroups of generated by lattices in a pair of opposite horospherical subgroups. Received: 30 November 2000 / Revised version: 2 April 2001 / Published online: 24 September 2001     

Nonnormal and minimal nonabelian subgroups of a finite group

Let G be a finite p-group. If p = 2, then a nonabelian group G = Ω₁(G) is generated by dihedral subgroups of order 8. If p > 2 and a nonabelian group G = Ω₁(G) has no subgroup isomorphic to S_p²{\Sigma _{{p^2}}}, a Sylow p-subgroup of the symmetric group of degree p ², then it is generated by nonabelian subgroups of order p ³ and exponent p. If p > 2 and the irregular p-group G has < p nonabelian subgroups of order p ^p and exponent p, then G is of maximal class and order p ^p+1. We also study in some detail the p-groups, containing exactly p nonabelian subgroups of order p ^p and exponent p. In conclusion, we prove three new counting theorems on the number of subgroups of maximal class of certain type in a p-group. In particular, we prove that if p > 2, and G is a p-group of order > p ^p+1, then the number of subgroups ≅ ΣS_p²{\Sigma _{{p^2}}} in G is a multiple of p.     

Extensions and biextensions of locally constant group schemes,tori and abelian schemes

Let S be a scheme. We compute explicitly the group of homomorphisms, the S-sheaf of homomorphisms, the group of extensions, and the S-sheaf of extensions involving locally constant S-group schemes, abelian S-schemes, and S-tori. Using the obtained results, we study the categories of biextensions involving these geometrical objects. In particular, we prove that if G _i (for i = 1, 2, 3) is an extension of an abelian S-scheme A _i by an S-torus T _i , the category of biextensions of (G ₁, G ₂) by G ₃ is equivalent to the category of biextensions of the underlying abelian S-schemes (A ₁, A ₂) by the underlying S-torus T ₃.      

On Oliver’s p-group conjecture: II

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 \mathfrakX(S){\mathfrak{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/\mathfrakX(S){S/\mathfrak{X}(S)}. We now verify the conjecture for a wide variety of groups S/\mathfrakX(S){S/\mathfrak{X}(S)}.     

ON MINIMAL NON-<Emphasis Type="Italic">MSP</Emphasis>-GROUPS

A finite group G is called an MSP-group if all maximal subgroups of the Sylow subgroups of G are S-quasinormal in G: We give a complete classification of groups that are not MSP-groups but all their proper subgroups are MSP-groups.     

On noninner automorphisms of 2-generator finite p-groups

A longstanding conjecture asserts that every finite nonabelian p-group admits a noninner automorphism of order p. In this paper we give some necessary conditions for a possible counterexample G to this conjecture, in the case when G is a 2-generator finite p-group. Then we show that every 2-generator finite p-group with abelian Frattini subgroup has a noninner automorphism of order p.     

Chermak–Delgado Lattice Extension Theorems

If G is a finite group with subgroup H, then the Chermak–Delgado measure of H (in G) is defined as |H||C _G (H)|. The Chermak–Delgado lattice of G, denoted 𝒞𝒟(G), is the set of all subgroups with maximal Chermak–Delgado measure; this set is a moduar sublattice within the subgroup lattice of G. In this paper we provide an example of a p-group P, for any prime p, where 𝒞𝒟(P) is lattice isomorphic to 2 copies of ?₂ (a quasiantichain of width 2) that are adjoined maximum-to-minimum. We introduce terminology to describe this structure, called a 2-string of 2-diamonds, and we also give two constructions for generalizing the example. The first generalization results in a p-group with Chermak–Delgado lattice that, for any positive integers n and l, is a 2l-string of n-dimensional cubes adjoined maximum-to-minimum and the second generalization gives a construction for a p-group with Chermak–Delgado lattice that is a 2l-string of ? _p+1 (quasiantichains, each of width p + 1) adjoined maximum-to-minimum.     

On semidistributive rings

Let S be a non-commutative associative ring with an identity element and G be a finite group of ring automorhphisms of S. By exploiting Morita Theory, a bijection between subsets of SpecS and spec(S^G ) is constructed. This Morita formulation is shown to be equivalent to a much more natural definition of the bijection, one in which the strong relationship between the rings S and S^G is clearly manifest. Indeed, the bijection is shown to have implications for a number of ring-theoretic properties of rings S and S^G . One such property being prime rank. A topological treatment of the bijection using quotient Zariski topologies yields a homeomorphism which exhibits the structural similarities between S and S ^G. The final section is devoted to a special case: charS - q, q prime, and G a q-group. In this case, it is shown that a prime ideal of the skew group ring S*G is uniquely determined by its intersection with R.