ﻻ يوجد ملخص باللغة العربية
A valuated group with normal forms is a group with an integer-valued length function satisfying some Lyndons axioms and an additional axiom considered by Hurley. We prove a subgroup theorem for valuated groups with normal forms analogous to Grushko-Neumanns theorem. We study also the CSA property in such groups.
The goal of this paper is to give a group-theoretic proof of the congruence subgroup property for $Aut(F_2)$, the group of automorphisms of a free group on two generators. This result was first proved by Asada using techniques from anabelian geometry
The congruence subgroup problem for a finitely generated group $Gamma$ and $Gleq Aut(Gamma)$ asks whether the map $hat{G}to Aut(hat{Gamma})$ is injective, or more generally, what is its kernel $Cleft(G,Gammaright)$? Here $hat{X}$ denotes the profinit
Answering a question of Dan Haran and generalizing some results of Aschbacher-Guralnick and Suzuki, we prove that given a set of primes pi, any finite group can be generated by a pi-subgroup and a pi-subgroup. This gives a free product description of a countably generated free profinite group.
The congruence subgroup problem for a finitely generated group $Gamma$ asks whether $widehat{Autleft(Gammaright)}to Aut(hat{Gamma})$ is injective, or more generally, what is its kernel $Cleft(Gammaright)$? Here $hat{X}$ denotes the profinite completi
We prove that the finitely presentable subgroups of residually free groups are separable and that the subgroups of type $mathrm{FP}_infty$ are virtual retracts. We describe a uniform solution to the membership problem for finitely presentable subgroups of residually free groups.