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   
                    
                            
                            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
- 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
- 
            
- 
            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 of locally compact groups and a twisted action thereof on a (post)liminal -algebra the twisted crossed product is again (post)liminal and (b) a number of converses to the effect that under various conditions a normal, closed, cocompact subgroup is type-I as soon as is. This happens for instance if is discrete and is Lie, or if 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 type-I-preserving if all semidirect products are type-I as soon as is, andlinearlytype-I-preserving if the same conclusion holds for semidirect products arising from finite-dimensional -representations. We characterize the (linearly) type-I-preserving groups that are (1) discrete-by-compact-Lie, (2) nilpotent, or (3) solvable Lie.more » « less
- 
            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
- 
            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
 An official website of the United States government
An official website of the United States government 
				
			 
					 
					
 
                                    