Free Profinite Groups

On groups with uncountably many subgroups of finite index

We consider the coset poset associated with the families of proper subgroups, proper subgroups of finite index and proper normal subgroups of finite index. We investigate under which conditions those coset posets have contractible geometric realizations.

Generalizing results in [1], [3], [5], and [7] it is shown that the algebra generated by the quasi-regular representation λ of a discrete groupG onl2 (G/H) satisfies a standard polynomial identity if and only if λ (G) contains an abelian normal subgroup of finite index. An analogon for topological groups is also proved.

We shall often need to consider the element Z =X Y, which is a parabolic transformation. Any parabolic transformation in r is conjugate to a power of Z. Let N be a normal subgroup of finite index ,u in r. The level n of N is defined as the least positive integer such that ZnCN. The conjugacy class of Z in r splits up into a finite number of equivalence classes under conjugacy by N. The number t of equivalence classes is called the parabolic class number of N. It is known that the integers ,u, n, t satisfy the relation

In this paper, we shall deal with periodic groups, in which each element has a prime power order. A group [Formula: see text] will be called a [Formula: see text]-group if each element of [Formula: see text] has a prime power order and for each [Formula: see text] there exists a positive integer [Formula: see text] such that each [Formula: see text]-element of [Formula: see text] is of order [Formula: see text]. A group [Formula: see text] will be called a [Formula: see text]-group if each element of [Formula: see text] has a prime power order and for each [Formula: see text] there exists a positive integer [Formula: see text] such that each finite [Formula: see text]-subgroup of [Formula: see text] is of order [Formula: see text]. Here, [Formula: see text] denotes the set of all primes dividing the order of some element of [Formula: see text]. Our main results are the following four theorems. Theorem 1: Let [Formula: see text] be a finitely generated [Formula: see text]-group. Then [Formula: see text] has only a finite number of normal subgroups of finite index. Theorem 4: Let [Formula: see text] be a locally graded [Formula: see text]-group. Then [Formula: see text] is a locally finite group. Theorem 7: Let [Formula: see text] be a locally graded [Formula: see text]-group. Then [Formula: see text] is a finite group. Theorem 8: Let [Formula: see text] be a [Formula: see text]-group satisfying [Formula: see text]. Then [Formula: see text] is a locally finite group.

Profinite completions and isomorphic finite quotients

The uniqueness of the translation-invariant extreme Gibbs measure for the antiferromagnetic Potts model with an external field and the existence of an uncountable number of extreme Gibbs measures for the Ising model with an external field on the Cayley tree are proved. The classes of normal subgroups of finite index of the Cayley tree group representation are constructed. The periodic extreme Gibbs measures, which are invariant with respect to subgroups of index 2, are constructed for the Ising model with zero external field. From these measures, the existence of an uncountable number of nonperiodic extreme Gibbs measures for the antiferromagnatic Ising model follows.

Functorial topologies and finite-index subgroups of abelian groups

The aim of this paper is to extend the Bass-Milnor-Serre theorem to the nonstandard rings associated with nonstandard models of Peano arithmetic, in brief to Peano rings.First, we recall the classical setting. Let k be an algebraïc number field, and let θ be its ring of integers. Let n be an integer ≥ 3, and let G be the group Sln(θ) of (n, n) matrices of determinant 1 with coefficients in θ.The profinite topology in G is the topology having as fundamental system of open subgroups the subgroups of finite index.Congruence subgroups of finite index of G are the kernels of the maps Sln(θ) → Sln(θ/I) for which all ideals I of θ are of finite index. By taking these subgroups as a fundamental system of open subgroups, one obtains the congruence topology on G. Every open set for this topology is open in the profinite topology.We denote by Ḡ (resp., Ĝ) the completion of G for the congruence (resp., profinite) topology.The Bass-Milnor-Serre theorem [1] consists of the two following statements:(A) If k admits a real embedding, then we have an exact sequenceThat is, Ĝ and Ḡ are isomorphic.(B) If k is totally imaginary, then one has an exact sequencewhere μ(k)is the group of the roots of unity of k.

It is a well-known fact that for a Hausdorff topological group X, the limits of convergent sequences in X define a function denoted by lim from the set of all convergent sequences in X to X. This notion has been modified by Connor and Grosse-Erdmann for real functions by replacing lim with an arbitrary linear functional G defined on a linear subspace of the vector space of all real sequences. Recently some authors have extended the concept to the topological group setting and introduced the concepts of G-sequential continuity, G-sequential compactness and G-sequential connectedness.In this work, we present some results about G-sequentially closures, G-sequentially connectedness and fundamental system of G-sequentially open neighbourhoods for topological group with operations which include topological groups, topological rings without identity, R-modules, Lie algebras, Jordan algebras, and many others.

In this paper, we study topological groups having all closed subgroups (totally) minimal and we call such groups c-(totally) minimal. We show that a locally compact c-minimal connected group is compact. Using a well-known theorem of [P. Hall and C. R. Kulatilaka, A property of locally finite groups, J. Lond. Math. Soc. 39 1964, 235–239] and a characterization of a certain class of Lie groups, due to [S. K. Grosser and W. N. Herfort, Abelian subgroups of topological groups, Trans. Amer. Math. Soc. 283 1984, 1, 211–223], we prove that a c-minimal locally solvable Lie group is compact. It is shown that a topological group G is c-(totally) minimal if and only if G has a compact normal subgroup N such that G / N G/N is c-(totally) minimal. Applying this result, we prove that a locally compact group G is c-totally minimal if and only if its connected component c ⁢ ( G ) c(G) is compact and G / c ⁢ ( G ) G/c(G) is c-totally minimal. Moreover, a c-totally minimal group that is either complete solvable or strongly compactly covered must be compact. Negatively answering [D. Dikranjan and M. Megrelishvili, Minimality conditions in topological groups, Recent Progress in General Topology. III, Atlantis Press, Paris 2014, 229–327, Question 3.10 (b)], we find, in contrast, a totally minimal solvable (even metabelian) Lie group that is not compact.

The subgroup induction property is a property of self-similar groups acting on rooted trees introduced by Grigorchuk and Wilson in 2003 that appears to have strong implications on the structure of the groups possessing it. It was, for example, used in the proof that the first Grigorchuk group as well as the Gupta–Sidki 3 -group are subgroup separable (locally extended residually finite) or to describe their finitely generated subgroups as well as their weakly maximal subgroups. However, until now, there were only two known examples of groups with this property, namely, the first Grigorchuk group and the Gupta–Sidki 3 -group.The aim of this article is twofold. First, we investigate various consequences of the subgroup induction property for branch groups , a particularly interesting class of self-similar groups. Notably, we show that finitely generated branch groups with the subgroup induction property must be torsion, just infinite and subgroup separable, and we establish conditions under which all their maximal subgroups are of finite index and all their weakly maximal subgroups are closed in the profinite topology. Then, we show that every torsion GGS group has the subgroup induction property, hence providing the first infinite family of examples of groups with this property.

Abstract. A topological group H is called ω -narrow if for every neighbourhood V of it’s identity element there exists a countable set A such that V A = H = AV. A semigroup G is called a generalized group if for any x ∈ G there exists a unique element e(x) ∈ G such that xe(x) = e(x)x = x and for every x ∈ G there exists x − 1 ∈ G such that x − 1x = xx − 1 = e(x). Also let G be a topological space and the operation and inversion mapping are continuous, then G is called a topological generalized group. If {e(x) | x ∈ G} is countable and for any a ∈ G, {x ∈ G|e(x) = e(a)} is an ω-narrow topological group, then G is called an ω-narrow topological generalized group. In this paper, ω-narrow and resolvable topological generalized groups are introduced and studied

This meeting was focused on asymptotic aspects of group theory. The resulting problems lead, in particular, to the study of infinite groups, with an emphasis on the asymptotic behaviour of their finite quotients. Also, properties of infinite families of finite groups are at the center of interest in the field. We had talks on the most important recent developments in the field of asymptotic and profinite group theory. We single out some of these new results. The classification of finite simple groups has provided an impetus for the detailed investigation of properties of families of groups of Lie type and of alternating groups. This has produced many results of asymptotic or probabilistic nature, describing in a quantitative way properties that hold for all sufficiently large simple groups, or else that hold ‘almost surely’ as the orders of the groups are tending to infinity. Here we had a talk of Aner Shalev on his recent solution (with coauthors) of Ore's conjecture. Recently there has been much activity in the study of infinite groups, with an emphasis on the asymptotic behaviour of their finite quotients, or their finite-index subgroups. The theory of subgroup growth is now well established; the theory of the associated zeta functions is making good progress. More subtle variations of subgroup growth are also developing into significant theories in their own right: there are important new results on representation growth – of arithmetic groups, nilpotent groups and pro-p groups; and on maximal subgroup growth, with applications to probabilistic generation properties. Profinite groups are ‘asymptotic limits’ of finite groups. The nature of verbal subgroups and verbal mappings, in both finite and profinite groups, has been the focus of much recent work. This has led among other things to the solution of Serre's problem on subgroups of finite index in finitely generated profinite groups; other significant results include the characterisation of closed verbal subgroups in pro-p groups and new characterisations of solubility in finite groups. Branch groups, both discrete and profinite, are certain groups of automorphisms of rooted trees; introduced by Grigorchuk and others over 20 years ago, they have provided the solution to several outstanding problems, and their study continues to provide new results. Some of them were reported on in our meeting. We also had talks from important fields of mathematics in which profinite and asymptotic group theory finds application. There is, for instance, the study of the absolute Galois group of the rationals and in particular its closed pro-p subgroups. Methods from pro-p group theory have successfully been applied in order to understand fundamental groups of (hyperbolic) 3-manifolds. The interplay between the topological fundamental group of a complex algebraic surface and its profinite completion which is the etale fundamental group of the surface is the subject of recent research. We believe that the meeting was exciting and successful. The high quality lectures covered a lot of very recent results in the field. There were many intense discussions between mathematicians of different fields. Altogether there were over 50 participants from all over the world. The percentage of young researchers was very high. The following extended abstracts were collected and edited by Dr. Evija Ribnere.

A group will be called full if it is the Galois group of an algebraic closure of a field. In this paper we first investigate full Abelian groups and classify them. Then we examine full groups from the point of view of how we can operate on them and still maintain the property of being full. Of course, by the fundamental theorem of the infinite Galois theory, closed subgroups (with standard profinite topology) of full groups are full. In general, products of full groups are notfull (for example, Z2 × Z2 is not full, by a theorem of Artin and Schreier (1927)); however we produce a set of groups which can always be attached as direct factors to full groups and still retain full groups. For the definition and basic properties of profinite groups we refer the reader to Cassels and Frohlich (1967). It has been shown by Leptin (1955) and independently by the author that profinite groups are Galois groups. The author (1971) has shown that if G is profinite, then G = Gdl(k/L) where L may have any desired characteristic and contains all primitive nth roots of unity, for all n. We will denote by p the pro-p-group which is the inverse limit of cyclic p-groups. (This is the group of p-adic integers).