scholarly journals Ensuring commutativity of finite groups

2001 ◽  
Vol 71 (2) ◽  
pp. 233-234 ◽  
Author(s):  
B. H. Neumann

AbstractComments are made on the following question. Let m, n be positive integers and g a finite group. Suppose that for all choices of a subset of cardinality m and of a subset of cardinality n in g some member of the first commutes with some member of the second. Under what conditions on m, n is the group abelian?

2019 ◽  
Vol 18 (01) ◽  
pp. 1950013
Author(s):  
Alireza Abdollahi ◽  
Maysam Zallaghi

Let [Formula: see text] be a group and [Formula: see text] an inverse closed subset of [Formula: see text]. By a Cayley graph [Formula: see text], we mean the graph whose vertex set is the set of elements of [Formula: see text] and two vertices [Formula: see text] and [Formula: see text] are adjacent if [Formula: see text]. A group [Formula: see text] is called a CI-group if [Formula: see text] for some inverse closed subsets [Formula: see text] and [Formula: see text] of [Formula: see text], then [Formula: see text] for some automorphism [Formula: see text] of [Formula: see text]. A finite group [Formula: see text] is called a BI-group if [Formula: see text] for some inverse closed subsets [Formula: see text] and [Formula: see text] of [Formula: see text], then [Formula: see text] for all positive integers [Formula: see text], where [Formula: see text] denotes the set [Formula: see text]. It was asked by László Babai [Spectra of Cayley graphs, J. Combin. Theory Ser. B 27 (1979) 180–189] if every finite group is a BI-group; various examples of finite non-BI-groups are presented in [A. Abdollahi and M. Zallaghi, Character sums of Cayley graph, Comm. Algebra 43(12) (2015) 5159–5167]. It is noted in the latter paper that every finite CI-group is a BI-group and all abelian finite groups are BI-groups. However, it is known that there are finite abelian non-CI-groups. Existence of a finite non-abelian BI-group which is not a CI-group is the main question which we study here. We find two non-abelian BI-groups of orders 20 and 42 which are not CI-groups. We also list all BI-groups of orders up to 30.


2019 ◽  
Vol 22 (6) ◽  
pp. 1049-1057
Author(s):  
Pavel Shumyatsky ◽  
Danilo Silveira

Abstract Let {m,n} be positive integers and w a multilinear commutator word. Assume that G is a finite group having subgroups {G_{1},\ldots,G_{m}} whose union contains all w-values in G. Assume further that all elements of the subgroups {G_{1},\ldots,G_{m}} are n-Engel in G. It is shown that the verbal subgroup {w(G)} is s-Engel for some {\{m,n,w\}} -bounded number s.


2009 ◽  
Vol 08 (03) ◽  
pp. 389-399 ◽  
Author(s):  
LIANGCAI ZHANG ◽  
GUIYUN CHEN ◽  
SHUNMIN CHEN ◽  
XUEFENG LIU

Based on the prime graph of a finite group, its order can be divided into a product of some co-prime positive integers. These integers are called order components of this group. If there exist exactly k nonisomorphic finite groups with the same set of order components of a given finite group, we say that it is a k-recognizable group by its order component(s). In the present paper, we obtain that all finite simple Kn-groups (n = 3, 4) except U4(2) and A10can be uniquely determined by their order components. Moreover, U4(2) is 2-recognizable and A10is k-recognizable, where k denotes the number of all nonisomorphic classes of groups with the same order as A10. As a consequence of this result we can obtain some interesting corollaries.


2013 ◽  
Vol 56 (3) ◽  
pp. 873-886 ◽  
Author(s):  
Özgün Ünlü ◽  
Ergün Yalçin

AbstractWe prove that if a finite group G acts smoothly on a manifold M such that all the isotropy subgroups are abelian groups with rank ≤ k, then G acts freely and smoothly on M × $\mathbb{S}^{n_1}\$ × … × $\mathbb{S}^{n_k}$ for some positive integers n1, …, nk. We construct these actions using a recursive method, introduced in an earlier paper, that involves abstract fusion systems on finite groups. As another application of this method, we prove that every finite solvable group acts freely and smoothly on some product of spheres, with trivial action on homology.


2020 ◽  
Vol 18 (1) ◽  
pp. 1742-1747
Author(s):  
Jianjun Liu ◽  
Mengling Jiang ◽  
Guiyun Chen

Abstract A subgroup H of a finite group G is called weakly pronormal in G if there exists a subgroup K of G such that G = H K G=HK and H ∩ K H\cap K is pronormal in G. In this paper, we investigate the structure of the finite groups in which some subgroups are weakly pronormal. Our results improve and generalize many known results.


1969 ◽  
Vol 10 (3-4) ◽  
pp. 359-362
Author(s):  
Nita Bryce

M. Suzuki [3] has proved the following theorem. Let G be a finite group which has an involution t such that C = CG(t) ≅ SL(2, q) and q odd. Then G has an abelian odd order normal subgroup A such that G = CA and C ∩ A = 〈1〉.


2011 ◽  
Vol 18 (04) ◽  
pp. 685-692
Author(s):  
Xuanli He ◽  
Shirong Li ◽  
Xiaochun Liu

Let G be a finite group, p the smallest prime dividing the order of G, and P a Sylow p-subgroup of G with the smallest generator number d. Consider a set [Formula: see text] of maximal subgroups of P such that [Formula: see text]. It is shown that if every member [Formula: see text] of is either S-quasinormally embedded or C-normal in G, then G is p-nilpotent. As its applications, some further results are obtained.


Author(s):  
Ingrid Bauer ◽  
Christian Gleissner

AbstractIn this paper the authors study quotients of the product of elliptic curves by a rigid diagonal action of a finite group G. It is shown that only for $$G = {{\,\mathrm{He}\,}}(3), {\mathbb {Z}}_3^2$$ G = He ( 3 ) , Z 3 2 , and only for dimension $$\ge 4$$ ≥ 4 such an action can be free. A complete classification of the singular quotients in dimension 3 and the smooth quotients in dimension 4 is given. For the other finite groups a strong structure theorem for rigid quotients is proven.


2021 ◽  
Vol 58 (2) ◽  
pp. 147-156
Author(s):  
Qingjun Kong ◽  
Xiuyun Guo

We introduce a new subgroup embedding property in a finite group called s∗-semipermutability. Suppose that G is a finite group and H is a subgroup of G. H is said to be s∗-semipermutable in G if there exists a subnormal subgroup K of G such that G = HK and H ∩ K is s-semipermutable in G. We fix in every non-cyclic Sylow subgroup P of G some subgroup D satisfying 1 < |D| < |P | and study the structure of G under the assumption that every subgroup H of P with |H | = |D| is s∗-semipermutable in G. Some recent results are generalized and unified.


2019 ◽  
Vol 22 (2) ◽  
pp. 297-312 ◽  
Author(s):  
Victor S. Monakhov ◽  
Alexander A. Trofimuk

AbstractLetGbe a finite group. In this paper we obtain some sufficient conditions for the supersolubility ofGwith two supersoluble non-conjugate subgroupsHandKof prime index, not necessarily distinct. It is established that the supersoluble residual of such a group coincides with the nilpotent residual of the derived subgroup. We prove thatGis supersoluble in the following cases: one of the subgroupsHorKis nilpotent; the derived subgroup{G^{\prime}}ofGis nilpotent;{|G:H|=q>r=|G:K|}andHis normal inG. Also the supersolubility ofGwith two non-conjugate maximal subgroupsMandVis obtained in the following cases: all Sylow subgroups ofMand ofVare seminormal inG; all maximal subgroups ofMand ofVare seminormal inG.


Sign in / Sign up

Export Citation Format

Share Document