Profinite Groups Admitting Just Infinite Quotients

 A profinite group is said to be just infinite if each of its proper quotients is finite. We address the question which profinite groups admit just infinite quotients. It is proved that any profinite group whose order (as a supernatural number) is divisible only by finitely many primes admits just infinite quotients. It is shown that if a profinite group G possesses the property in question then so does every open subgroup and every finite extension of G. Received 20 July 2001     

The Fitting Subgroup and Some Injectors of Radical Locally Finite Groups with min-p for All p

Abstract

This work was intended as an attempt to continue the study of the class ? of generalised nilpotent groups started in a previous paper. We present some results concerning the Fitting subgroup and the ?-injectors of a radical locally finite group satisfying min-p for all p.     

On a theorem of Burnside on fixed-point-free automorphisms

We prove that a finite group having a fixed-point-free automorphism in the Fitting subgroup of its automorphism group must be abelian of rather restricted structure. As a consequence, no finite nonabelian group could have a fixed-point-free automorphism in the Frattini subgroup of its automorphism group. Received: 21 April 2007, Revised: 18 May 2007     

An arithmetic property of profinite groups

We intend to generalize a crucial lemma of [4] to prove a somewhat surprising arithmetic property of profinite groups; namely, that a profinite group G has nontrivial p-Sylow-subgroups for only a finite number of primes if and only if this is true for its procyclic subgroups. This will yield as a corollary that every profinite torsion group has finite exponent if and only if this is true for its Sylow-sub-groups, a result also contained in [4].     

On Generalized PST-groups

A finite group G is called a generalized PST-group if every subgroup contained in F（G） permutes all Sylow subgroups of G, where F（G） is the Fitting subgroup of G. The class of generalized PST-groups is not subgroup and quotient group closed, and it properly contains the class of PST-groups. In this paper, the structure of generalized PST-groups is first investigated. Then, with its help, groups whose every subgroup （or every quotient group） is a generalized PST-group are deter- mined, and it is shown that such groups are precisely PST-groups. As applications, T-groups and PT-groups are characterized.     

Groups with super-exponential subgroup growth

We show that, if the subgroup growth of a finitely generated (abstract or profinite) groupG is super-exponential, then every finite group occurs as a quotient of a finite index subgroup ofG. The proof involves techniques from finite permutation groups, and depends on the Classification of Finite Simple Groups.The first author was partially supported by the Hungarian National Foundation for Scientific Research, Grant No. T7441. The second author was partially supported by the Israeli National Science Foundation.     

Finite index subgroups in profinite groups

We prove that every subgroup of finite index in a (topologically) finitely generated profinite group is open. This implies that the topology in such a group is uniquely determined by the group structure. The result follows from a ‘uniformity theorem’ about finite groups: given a group word w that defines a locally finite variety and a natural number d, there exists f=f_w(d) such that in every finite d-generator group G, each element of the verbal subgroup w(G) is a product of fw-values. Similar methods show that in a finite d-generator group, each element of the derived group is a product of g(d) commutators; this implies that the (abstract) derived group in any finitely generated profinite group is closed. To cite this article: N. Nikolov, D. Segal, C. R. Acad. Sci. Paris, Ser. I 337 (2003).     

On groups whose subgroups are closed in the profinite topology

A group is called extended residually finite (ERF) if every subgroup is closed in the profinite topology. The ERF-property is studied for nilpotent groups, soluble groups, locally finite groups and FC-groups. A complete characterization is given of FC-groups which are ERF.     

Characterization of Finite Groups With Some S-quasinormal Subgroups

A subgroup of a finite group G is said to be S-quasinormal in G if it permutes with every Sylow subgroup of G. In this paper we give a characterization of a finite group G under the assumption that every subgroup of the generalized Fitting subgroup of prime order is S-quasinormal in G.     

Maximal subgroups of the minimal ideal of a free profinite monoid are free

We answer a question of Margolis from 1997 by establishing that the maximal subgroup of the minimal ideal of a finitely generated free profinite monoid is a free profinite group. More generally, if H is variety of finite groups closed under extension and containing ℤ/pℤ for infinitely may primes p, the corresponding result holds for free pro-$ \bar H $ \bar H monoids.     

Characterization of Finite Groups With Some <Emphasis Type="Italic">S</Emphasis>-quasinormal Subgroups

A subgroup of a finite group G is said to be S-quasinormal in G if it permutes with every Sylow subgroup of G. In this paper we give a characterization of a finite group G under the assumption that every subgroup of the generalized Fitting subgroup of prime order is S-quasinormal in G.     

On Subgroups of Finite Index in Positively Finitely Generated Groups

This paper proves that a subgroup of finite index in a positivelyfinitely generated profinite group has maximal subgroup growthat most n^log(n). In particular such a subgroup cannot be free,answering a question by L. Pyber. 2000 Mathematics Subject Classification20E28, 20P05.     

Derived length of finite groups with restrictions on Sylow subgroups

The dependence of the derived length of a finite solvable group on the orders of nonbicyclic Sylow subgroups of the Fitting subgroup is established.     

Arithmetic groups with isomorphic finite quotients

Two finitely generated groups have the same set of finite quotients if and only if their profinite completions are isomorphic. Consider the map which sends (the isomorphism class of) an S-arithmetic group to (the isomorphism class of) its profinite completion. We show that for a wide class of S-arithmetic groups, this map is finite to one, while the fibers are of unbounded size.     

Normal Subgroups of Profinite Groups of Finite Cohomological Dimension

A profinite group G of finite cohomological dimension with (topologically)finitely generated closed normal subgroup N is studied. If Gis pro-p and N is either free as a pro-p group or a Poincarégroup of dimension 2 or analytic pro-p, it is shown that G/Nhas virtually finite cohomological dimension cd(G)–cd(N).Some other cases when G/N has virtually finite cohomologicaldimension are also considered. If G is profinite, the case of N projective or the profinitecompletion of the fundamental group of a compact surface isconsidered.     

Pro- $$\mathcal {C}$$ C congruence properties for groups of rooted tree automorphisms

We propose a generalisation of the congruence subgroup problem for groups acting on rooted trees. Instead of only comparing the profinite completion to that given by level stabilizers, we also compare pro- $$\mathcal {C}$$ completions of the group, where $$\mathcal {C}$$ is a pseudo-variety of finite groups. A group acting on a rooted, locally finite tree has the $$\mathcal {C}$$ -congruence subgroup property ( $$\mathcal {C}$$ -CSP) if its pro- $$\mathcal {C}$$ completion coincides with the completion with respect to level stabilizers. We give a sufficient condition for a weakly regular branch group to have the $$\mathcal {C}$$ -CSP. In the case where $$\mathcal {C}$$ is also closed under extensions (for instance the class of all finite p-groups for some prime p), our sufficient condition is also necessary. We apply the criterion to show that the Basilica group and the GGS-groups with constant defining vector (odd prime relatives of the Basilica group) have the p-CSP.     

Idempotents and the multiplicative group of some totally bounded rings

In this paper, we extend some results of D.Dolzan on finite rings to profinite rings, a complete classification of profinite commutative rings with a monothetic group of units is given. We also prove the metrizability of commutative profinite rings with monothetic group of units and without nonzero Boolean ideals. Using a property of Mersenne numbers, we construct a family of power 2^ℵ0 commutative non-isomorphic profinite semiprimitive rings with monothetic group of units.     

Prographes sylvestres et groupes profinis presque libres

In this article we want to give an analogous in the profinite case to the following theorem: an abstract group is free if and only if it acts freely on a tree. In a first time we define a combinatory object, the protrees, which are particular inductive systems extracted from projective systems of graphs. Then we define a notion of profinite action. These objects allow us to give the following analogous: a profinite group contains a dense abstract free subgroup if and only if it acts profreely on a protree.     

Positively finitely related profinite groups

We define and study the class of positively finitely related (PFR) profinite groups. Positive finite relatedness is a probabilistic property of profinite groups which provides a first step to defining higher finiteness properties of profinite groups which generalize the positively finitely generated groups introduced by Avinoam Mann. We prove many asymptotic characterisations of PFR groups, for instance we show the following: a finitely presented profinite group is PFR if and only if it has at most exponential representation growth, uniformly over finite fields (in other words: the completed group algebra has polynomial maximal ideal growth). From these characterisations we deduce several structural results on PFR profinite groups.