skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: Coprime automorphisms of finite groups
Let G G be a finite group admitting a coprime automorphism α \alpha of order e e . Denote by I G ( α ) I_G(\alpha ) the set of commutators g − 1 g α g^{-1}g^\alpha , where g ∈ G g\in G , and by [ G , α ] [G,\alpha ] the subgroup generated by I G ( α ) I_G(\alpha ) . We study the impact of I G ( α ) I_G(\alpha ) on the structure of [ G , α ] [G,\alpha ] . Suppose that each subgroup generated by a subset of I G ( α ) I_G(\alpha ) can be generated by at most r r elements. We show that the rank of [ G , α ] [G,\alpha ] is ( e , r ) (e,r) -bounded. Along the way, we establish several results of independent interest. In particular, we prove that if every element of I G ( α ) I_G(\alpha ) has odd order, then [ G , α ] [G,\alpha ] has odd order too. Further, if every pair of elements from I G ( α ) I_G(\alpha ) generates a soluble, or nilpotent, subgroup, then [ G , α ] [G,\alpha ] is soluble, or respectively nilpotent.  more » « less
Award ID(s):
1901595
PAR ID:
10415803
Author(s) / Creator(s):
; ;
Date Published:
Journal Name:
Transactions of the American Mathematical Society
Volume:
375
Issue:
1058
ISSN:
0002-9947
Page Range / eLocation ID:
4549 to 4565
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. We bound the size of fibers of word maps in finite and residually finite groups, and derive various applications. Our main result shows that, for any word $$1 \ne w \in F_d$$ there exists $$\e > 0$$ such that if $$\Gamma$$ is a residually finite group with infinitely many non-isomorphic non-abelian upper composition factors, then all fibers of the word map $$w:\Gamma^d \rightarrow \Gamma$$ have Hausdorff dimension at most $$d -\e$$. We conclude that profinite groups $$G := \hat\Gamma$$, $$\Gamma$$ as above, satisfy no probabilistic identity, and therefore they are \emph{randomly free}, namely, for any $$d \ge 1$$, the probability that randomly chosen elements $$g_1, \ldots , g_d \in G$$ freely generate a free subgroup (isomorphic to $$F_d$$) is $$1$$. This solves an open problem from \cite{DPSS}. Additional applications and related results are also established. For example, combining our results with recent results of Bors, we conclude that a profinite group in which the set of elements of finite odd order has positive measure has an open prosolvable subgroup. This may be regarded as a probabilistic version of the Feit-Thompson theorem. 
    more » « less
  2. We prove a number of results on the survival of the type-I property under extensions of locally compact groups: (a) that given a closed normal embedding N ⊴<#comment/> E \mathbb {N}\trianglelefteq \mathbb {E} of locally compact groups and a twisted action ( α<#comment/> , τ<#comment/> ) (\alpha ,\tau ) thereof on a (post)liminal C ∗<#comment/> C^* -algebra A A the twisted crossed product A ⋊<#comment/> α<#comment/> , τ<#comment/> E A\rtimes _{\alpha ,\tau }\mathbb {E} is again (post)liminal and (b) a number of converses to the effect that under various conditions a normal, closed, cocompact subgroup N ⊴<#comment/> E \mathbb {N}\trianglelefteq \mathbb {E} is type-I as soon as E \mathbb {E} is. This happens for instance if N \mathbb {N} is discrete and E \mathbb {E} is Lie, or if N \mathbb {N} is finitely-generated discrete (with no further restrictions except cocompactness). Examples show that there is not much scope for dropping these conditions. In the same spirit, call a locally compact group G \mathbb {G} type-I-preserving if all semidirect products N ⋊<#comment/> G \mathbb {N}\rtimes \mathbb {G} are type-I as soon as N \mathbb {N} is, andlinearlytype-I-preserving if the same conclusion holds for semidirect products V ⋊<#comment/> G V\rtimes \mathbb {G} arising from finite-dimensional G \mathbb {G} -representations. We characterize the (linearly) type-I-preserving groups that are (1) discrete-by-compact-Lie, (2) nilpotent, or (3) solvable Lie. 
    more » « less
  3. Suppose that p is an odd prime and G is a finite group having no normal non-trivial p′-subgroup. We show that if a is an automorphism of G of p-power order centralizing a Sylow p-group of G, then a is inner. 
    more » « less
  4. null (Ed.)
    Abstract: For a group G, we define a graph Delta (G) by letting G^#=G\{1} be the set of vertices and by drawing an edge between distinct elements x,y in G^# if and only if the subgroup is cyclic. Recall that a Z-group is a group where every Sylow subgroup is cyclic. In this short note, we investigate Delta (G) for a Z-group G. 
    more » « less
  5. Let G be an abelian group of bounded exponent and A⊆G. We show that if the collection of translates of A has VC dimension at most d, then for every ϵ>0 there is a subgroup H of G of index at most ϵ^{−d−o(1)} such that one can add or delete at most ϵ|G| elements to/from A to make it a union of H-cosets. We also establish a removal lemma with polynomial bounds, with applications to property testing, for induced bipartite patterns in a finite abelian group with bounded exponent. 
    more » « less