31 research outputs found
Outer commutator words are uniformly concise
We prove that outer commutator words are uniformly concise, i.e. if an outer
commutator word w takes m different values in a group G, then the order of the
verbal subgroup w(G) is bounded by a function depending only on m and not on w
or G. This is obtained as a consequence of a structure theorem for the subgroup
w(G), which is valid if G is soluble, and without assuming that w takes
finitely many values in G. More precisely, there is an abelian series of w(G),
such that every section of the series can be generated by values of w all of
whose powers are also values of w in that section. For the proof of this latter
result, we introduce a new representation of outer commutator words by means of
binary trees, and we use the structure of the trees to set up an appropriate
induction
Hausdorff dimension in -analytic profinite groups
We study the Hausdorff dimension of R-analytic subgroups in an R-analytic
profinite group, where R is a pro-p ring whose asso- ciated graded ring is an
integral domain. In particular, we prove that the set of such Hausdorff
dimensions is a finite subset of the rational numbers.Comment: 7 page
Conciseness on normal subgroups and new concise words from lower central and derived words
Let be a lower central word or a derived word. We show
that the word is concise whenever are
non-commutator words in disjoint sets of variables, thus proving a generalized
version of a conjecture of Azevedo and Shumyatsky. This applies in particular
to words of the form , where the are
non-zero integers. Our approach is via the study of values of on normal
subgroups, and in this setting we obtain the following result: if
are normal subgroups of a group and the set of all values
with is finite then also the subgroup
generated by these values, i.e. , is finite
A note on automorphisms of finite p-groups
Let G be a finite non-cyclic p-group of order at least p^3. If G has an abelian maximal subgroup, or if G has an elementary abelian centre and is not strongly Frattinian, then the order of G divides the order the its automorphism group