Virtually free factors of pro-p groups

Letp be a prime number,G a pro-p group, andH a closed (topologically) finitely generated subgroup ofG. We give conditions under whichH is virtually a free factor ofG, i.e., that there exists an open subgroupU ofG such thatU is the free pro-p product ofH and some other subgroup ofU. We prove that this happens if eitherG is a free pro-p group of any rank, or ifG is a free pro-p product of finitely generated pro-p groups. Research supported in part by grants from NSERC (Canada) and DGICYT (Spain).     

Equations and algebraic geometry over profinite groups

The notion of an equation over a profinite group is defined, as well as the concepts of an algebraic set and of a coordinate group. We show how to represent the coordinate group as a projective limit of coordinate groups of finite groups. It is proved that if the set π(G) of prime divisors of the profinite period of a group G is infinite, then such a group is not Noetherian, even with respect to one-variable equations. For the case of Abelian groups, the finiteness of a set π(G) gives rise to equational Noetherianness. The concept of a standard linear pro-p-group is introduced, and we prove that such is always equationally Noetherian. As a consequence, it is stated that free nilpotent pro-p-groups and free metabelian pro-p-groups are equationally Noetherian. In addition, two examples of equationally non-Noetherian pro-p-groups are constructed. The concepts of a universal formula and of a universal theory over a profinite group are defined. For equationally Noetherian profinite groups, coordinate groups of irreducible algebraic sets are described using the language of universal theories and the notion of discriminability.     

Splitting theorems for pro-<Emphasis Type="Italic">p</Emphasis> groups acting on pro-<Emphasis Type="Italic">p</Emphasis> trees

Let G be an infinite finitely generated pro-p group acting on a pro-p tree such that the restriction of the action to some open subgroup is free. We prove that G splits over an edge stabilizer either as an amalgamated free pro-p product or as a pro-p \({\text {HNN}}\)-extension. Using this result, we prove under a certain condition that free pro-p products with procyclic amalgamation inherit from its amalgamated free factors the property of each 2-generated pro-p subgroup being free pro-p. This generalizes known pro-p results, as well as some pro-p analogues of classical results in abstract combinatorial group theory.     

On some Λ-analytic pro-p groups

This paper is devoted to the first steps towards a systematic study of pro-p groups which are analytic over a commutative Noetherian local pro-p ring Λ, e.g. Λ= . We restrict our attention to Λ-standard groups, which are pro-p groups arising from a formal group defined over Λ. Under some additional assumptions we show that these groups are of ‘intermediate growth’ in various senses, strictly betweenp-adic analytic pro-p groups and free pro-p groups. This suggests a refinement of Lazard's theory which stresses the dichotomy betweenp-adic analytic pro-p groups and all the others. In the course of the discussion we answer a question posed in [LM1], and settle two conjectures from [Bo].     

Virtually free pro-p groups

We prove that in the category of pro-p groups any finitely generated group G with a free open subgroup splits either as an amalgamated free product or as an HNN-extension over a finite p-group. From this result we deduce that such a pro-p group is the pro-p completion of a fundamental group of a finite graph of finite p-groups.     

Finite extensions of free pro-P groups of rank at most two

For a pro-p groupG, containing a free pro-p open normal subgroup of rank at most 2, a characterization as the fundamental group of a connected graph of cyclic groups of order at mostp, and an explicit list of all such groups with trivial center are given. It is shown that any automorphism of a free pro-p group of rank 2 of coprime finite order is induced by an automorphism of the Frattini factor groupF/F ^* . Finally, a complete list of automorphisms of finite order, up to conjugacy in Aut(F), is given. Supported by an NSERC grant. Supported by the Austrian Science Foundation.     

Groups of p-absolute Galois type that are not absolute Galois groups

Let p be a prime. We study pro-p groups of p-absolute Galois type, as defined by Lam–Liu–Sharifi–Wake–Wang. We prove that the pro-p completion of the right-angled Artin group associated to a chordal simplicial graph is of p-absolute Galois type, and moreover it satisfies a strong version of the Massey vanishing property. Also, we prove that Demushkin groups are of p-absolute Galois type, and that the free pro-p product — and, under certain conditions, the direct product — of two pro-p groups of p-absolute Galois type satisfying the Massey vanishing property, is again a pro-p group of p-absolute Galois type satisfying the Massey vanishing property. Consequently, there is a plethora of pro-p groups of p-absolute Galois type satisfying the Massey vanishing property that do not occur as absolute Galois groups.     

Virtually free pro-<Emphasis Type="Italic">p</Emphasis> products

It is shown that a finitely generated pro-p group G which is a virtually free pro-p product splits either as a free pro-p product with amalgamation or as a pro-p HNN-extension over a finite p-group. More precisely, G is the pro-p fundamental group of a finite graph of finitely generated pro-p groups with finite edge groups. This generalizes previous results of W. Herfort and the second author (cf. [2]).     

On pro-p-groups with a single defining relator

We find necessary and sufficient conditions for the factor groups of the derived series of a pro-p-group with a single defining relation to be torsion free. For such groupsG we prove that the group algebra ℤ _pG is a domain and the cohomological dimension ofG is at most 2.     

On pro-p analogues of limit groups via extensions of centralizers

We begin a study of a pro-p analogue of limit groups via extensions of centralizers and call ${\mathcal{L}}$ this new class of pro-p groups. We show that the pro-p groups of ${\mathcal{L}}$ have finite cohomological dimension, type FP _?? and non-positive Euler characteristic. Among the group theoretic properties it is proved that they are free-by-(torsion free nilpotent) and if non-abelian do not have a finitely generated non-trivial normal subgroup of infinite index. Furthermore it is shown that every 2 generated pro-p group in the class ${\mathcal{L}}$ is either free pro-p or abelian.     

Homological Invariants for pro-p Groups and Some Finitely Presented pro- C{\cal C} Groups

Let G be a finitely presented pro- C{\cal C} group with discrete relations. We prove that the kernel of an epimorphism of G to [^(\Bbb Z)]_C\hat{\Bbb Z}_{\cal C} is topologically finitely generated if G does not contain a free pro- C{\cal C} group of rank 2. In the case of pro-p groups the result is due to J. Wilson and E. Zelmanov and does not require that the relations are discrete ([15], [17]).For a pro-p group G of type FP_m we define a homological invariant C{\cal C} groups, pro-p groups, homological type FP_m, finite presentabilityBoth authors are partially supported by CNPq, Brazil.     

A virtually free pro-p need not be the fundamental group of a profinite graph of finite groups

A subgroup of a pro-p product with amalgamation of two p-groups is given which cannot be presented as the pro-p fundamental group of a profinite graph of p-groups.     

Pro-P galois groups of function fields over local fields

For non-archimedean local field K and a prime number p we compute the finitely generated pro-p (closed) subgroups of the absolute Galois group of K(t). In addition, we characterize the finitely generated pro-p groups which occur as the maximal pro-p Galois group of algebraic extensions of K(t) containing a primitive pth root of unity.     

Small maximal pro-p Galois groups

For an odd primep we classify the pro-p groups of rank ≤4 which are realizable as the maximal pro-p Galois group of a field containing a primitive root of unity of orderp.     

On the Lie theory of <Emphasis Type="Italic">p</Emphasis>-adic analytic groups

The aim of this paper is to fill a small, but fundamental, gap in the theory of p-adic analytic groups. We illustrate by example that the now standard notion of a uniformly powerful pro-p group is more restrictive than Lazards concept of a saturable pro-p group. For instance, the Sylow-pro-p subgroups of many classical groups are saturable, but need not be uniformly powerful. Extending work of Ilani, we obtain a correspondence between subgroups and Lie sublattices of saturable pro-p groups. This leads to applications, for instance, in the subject of subgroup growth.Mathematics Subject Classification (2000): 22E20     

Kirillov's Orbit Method for p-Groups and Pro-p Groups

In this text, we study Kirillov's orbit method in the context of Lazard's p-saturable groups when p is an odd prime. Using this approach we prove that the orbit method works in the following cases: torsion free p-adic analytic pro-p groups of dimension smaller than p, pro-p Sylow subgroups of classical groups over ? _p of small dimension and for certain families of finite p-groups.     

Small maximal pro-p Galois groups

For an odd prime p we classify the pro-p groups of rank ≤ 4 which are realizable as the maximal pro-p Galois group of a field containing a primitive root of unity of order p. Received: 2 September 1997     

Free pro-p groups as galois groups over ℚ(p)(t)

Letp be a prime and let ℚ(p) denote the maximalp-extension of ℚ. We prove that for every primep, the free pro-p group on countably many generators is realizable as a regular extension of ℚ(p)(t). As a consequence, if ℚ _nil denotes the maximal nilpotent extension of ℚ, then every finite nilpotent group is realizable as a regular extension of ℚ _nil (t).     

Dimensions of Zassenhaus filtration subquotients of some pro-p-groups

We compute the F_p-dimension of an n-th graded piece G_(n)/G_(n+1) of the Zassenhaus filtration for various finitely generated pro-p-groups G. These groups include finitely generated free pro-p-groups, Demushkin pro-p-groups and their free pro-p products. We provide a unifying principle for deriving these dimensions.     

Finiteness conditions on subgroups of profinite p-Poincaré duality groups

For a prime number p let G be a profinite p-PD _n group with a closed normal subgroup N such that G/N is a profinite p-PD _m group and that H _i (V, $ \mathbb{F} $ \mathbb{F} _p ) is finite for every open subgroup V of N and all i ≤ [n/2]. Generalising [12, Thm. 3.7.4] we show that m ≤ n and N is a profinite p-PD _{n − m} group. In case that G is a pro-p PD _n group of Euler characteristic 0 with a closed normal subgroup N of type FP _{[n−1 / 2]} such that G/N is soluble-by-finite pro-p group of finite rank, we show that N is a pro-p PD _{n − m} group, where m = vcd _p (G/N). As a corollary we obtain that a pro-p PD ₃ group with infinite abelianization is either soluble or contains a free nonprocyclic pro-p subgroup.