No description available.

The Wielandt subgroup, the intersection of normalizers of subnormal subgroups, is non-trivial in any finite group and thus gives rise to a series whose length is a measure of the complexity of a group's subnormal structure. Another measure, akin to the nilpotency class of nilpotent groups, arises from the strong Wielandt subgroup, the intersection of centralizers of nilpotent subnormal sections. This thesis begins an investigation into how these two invariants relate in finite soluble groups. ¶ Complete results are obtained for metabelian groups of odd order: the strong Wielandt length of such a group is at most one more than its Wielandt length, and this bound is best possible. Some progress is made in the wider class of groups with p-length 1 for all primes p. A conjecture for all finite soluble groups, which may be regarded as a subnormal analogue of the embedding of the Kern, is also considered.

Orientador: Dessislava Hristova Kochloukova / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matemática Estatística e Computação Científica / Made available in DSpace on 2018-08-23T11:19:15Z (GMT). No. of bitstreams: 1 Lima_FrancismarFerreira_M.pdf: 2264816 bytes, checksum: 31f3b411247775dcde6338655fbd496b (MD5) Previous issue date: 2013 / Resumo: O resumo poderá ser visualizado no texto completo da tese digital / Abstract: The complete Abstract is available with the full electronic document. / Mestrado / Matematica / Mestre em Matemática

This thesis is concerned with aspects of the model theory of infinite soluble groups. The results proved lie on the border between group theory and model theory: the questions asked are of a model-theoretic nature but the techniques used are mainly group-theoretic in character. We present a characterization of those groups contained in the universal closure of a restricted wreath product U wr G, where U is an abelian group of zero or finite square-free exponent and G is a torsion-free soluble group with a bound on the class of its nilpotent subgroups. For certain choices of G we are able to use this characterization to prove further results about these groups; in particular, results related to the decidability of their universal theories. The latter part of this work consists of a number of independent but related topics. We show that if G is a finitely generated abelian-by-metanilpotent group and H is elementarily equivalent to G then the subgroups gamma_n(G) and gamma_n(H) are elementarily equivalent, as are the quotient groups G/gamma_n(G) and G/gamma_n(H). We go on to consider those groups universally equivalent to F_2(VN_c), where the free groups of the variety V are residually finite p-groups for infinitely many primes p, distinguishing between the cases when c = 1 and when c > 2. Finally, we address some important questions concerning the theories of free groups in product varieties V_k · · ·V_1, where V_i is a nilpotent variety whose free groups are torsion-free; in particular we address questions about the decidability of the elementary and universal theories of such groups. Results mentioned in both of the previous two paragraphs have applications here.