scholarly journals CENTRALISER DIMENSION OF FREE PARTIALLY COMMUTATIVE NILPOTENT GROUPS OF CLASS 2

2008 ◽  
Vol 50 (2) ◽  
pp. 251-269
Author(s):  
VIKKI A. BLATHERWICK

AbstractIn an effort to extend the theory of algebraic geometry over groups beyond free groups, Duncan, Kazatchkov and Remeslennikov have studied the notion of centraliser dimension for free partially commutative groups. In this paper we consider the centraliser dimension of free partially commutative nilpotent groups of class 2, showing that a free partially commutative nilpotent group of class 2 with non-commutation graph Γ has the same centraliser dimension as the free partially commutative group represented by the non-commutation graph Γ.

2007 ◽  
Vol 17 (05n06) ◽  
pp. 1021-1031
Author(s):  
N. GUPTA ◽  
I. B. S. PASSI

For fixed m, n ≥ 2, we examine the structure of the nth lower central subgroup γn(F) of the free group F of rank m with respect to a certain finite chain F = F(0) > F(1) > ⋯ > F(l-1) > F(l) = {1} of free groups in which F(k) is of finite rank m(k) and is contained in the kth derived subgroup δk(F) of F. The derived subgroups δk(F/γn(F)) of the free nilpotent group F/γn(F) are isomorphic to the quotients F(k)/(F(k) ∩ γn(F)) and admit presentations of the form 〈xk,1,…,xk,m(k): γ(n)(F(k))〉, where γ(n)(F(k)), contained in γn(F), is a certain partial lower central subgroup of F(k). We give a complete description of γn(F) as a staggered product Π1 ≤ k ≤ l-1(γ〈n〉(F(k))*γ[n](F(k)))F(k+1), where γ〈n〉(F(k)) is a free factor of the derived subgroup [F(k),F(k)] of F(k) having countable infinite rank and generated by a certain set of reduced commutators of weight at least n, and γ[n](F(k)) is the subgroup generated by a certain finite set of products of non-reduced ordered commutators of weight at least n. There are some far-reaching consequences.


Author(s):  
E. I. Timoshenko

We construct an ordered set of commutators in a partially commutative nilpotent group [Formula: see text]. This set allows us to define a canonical form for each element of [Formula: see text]. Namely, we construct a Mal’tsev basis for the group [Formula: see text]


2007 ◽  
Vol 83 (2) ◽  
pp. 149-156
Author(s):  
Gilbert Baumslag

AbstractAn element in a free group is a proper power if and only if it is a proper power in every nilpotent factor group. Moreover there is an algorithm to decide if an element in a finitely generated torsion-free nilpotent group is a proper power.


1989 ◽  
Vol 40 (2) ◽  
pp. 175-187 ◽  
Author(s):  
R.G. Burns ◽  
Lian Pi

It is shown that the natural generalisations of the elementary Nielsen transformations of a free group to the infinite-rank case, furnish generators for the subgroup of “bounded” automorphisms of any relatively free nilpotent group of infinite rank. This settles the nilpotent analogue of a question of D. Solitar concerning the “bounded” automorphisms of absolutely free groups of infinite rank.


2014 ◽  
Vol 51 (4) ◽  
pp. 547-555 ◽  
Author(s):  
B. Wehrfritz

Let G be a nilpotent group with finite abelian ranks (e.g. let G be a finitely generated nilpotent group) and suppose φ is an automorphism of G of finite order m. If γ and ψ denote the associated maps of G given by \documentclass{aastex} \usepackage{amsbsy} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{bm} \usepackage{mathrsfs} \usepackage{pifont} \usepackage{stmaryrd} \usepackage{textcomp} \usepackage{upgreek} \usepackage{portland,xspace} \usepackage{amsmath,amsxtra} \usepackage{bbm} \pagestyle{empty} \DeclareMathSizes{10}{9}{7}{6} \begin{document} $$\gamma :g \mapsto g^{ - 1} \cdot g\phi and \psi :g \mapsto g \cdot g\phi \cdot g\phi ^2 \cdots \cdot \cdot g\phi ^{m - 1} for g \in G,$$ \end{document} then Gγ · kerγ and Gψ · ker ψ are both very large in that they contain subgroups of finite index in G.


2020 ◽  
Vol 23 (5) ◽  
pp. 801-829
Author(s):  
Mark Pengitore

AbstractThe function {\mathrm{F}_{G}(n)} gives the maximum order of a finite group needed to distinguish a nontrivial element of G from the identity with a surjective group morphism as one varies over nontrivial elements of word length at most n. In previous work [M. Pengitore, Effective separability of finitely generated nilpotent groups, New York J. Math. 24 2018, 83–145], the author claimed a characterization for {\mathrm{F}_{N}(n)} when N is a finitely generated nilpotent group. However, a counterexample to the above claim was communicated to the author, and consequently, the statement of the asymptotic characterization of {\mathrm{F}_{N}(n)} is incorrect. In this article, we introduce new tools to provide lower asymptotic bounds for {\mathrm{F}_{N}(n)} when N is a finitely generated nilpotent group. Moreover, we introduce a class of finitely generated nilpotent groups for which the upper bound of the above article can be improved. Finally, we construct a class of finitely generated nilpotent groups N for which the asymptotic behavior of {\mathrm{F}_{N}(n)} can be fully characterized.


1981 ◽  
Vol 46 (4) ◽  
pp. 781-788 ◽  
Author(s):  
Alan H. Mekler

AbstractLet p be an odd prime. A method is described which given a structure M of finite similarity type produces a nilpotent group of class 2 and exponent p which is in the same stability class as M.Theorem. There are nilpotent groups of class 2 and exponent p in all stability classes.Theorem. The problem of characterizing a stability class is equivalent to characterizing the (nilpotent, class 2, exponent p) groups in that class.


1995 ◽  
Vol 117 (3) ◽  
pp. 431-438 ◽  
Author(s):  
Charles Cassidy ◽  
Caroline Lajoie

AbstractIn this paper, we characterize the genus of an arbitrary torsion-free finitely generated nilpotent group of class two and of Hirsch length six by means of a finite number of arithmetical invariants. An algorithm which permits the enumeration of all possible genera that can occur under the conditions above is also given.


1969 ◽  
Vol 21 ◽  
pp. 262-273 ◽  
Author(s):  
Elizabeth Rowlinson ◽  
Hans Schwerdtfeger

In this paper, some contributions are made to the theory of algebraic equations over the rational field with conditions imposed on the Galois group. In § 1, for a given abstract group G all faithful permutation representations Ḡ are obtained, and it is shown that if one of them is the group of some equation with splitting field K, then any of them is the group of some equation, also with splitting field K. The method of proof enables us to construct an equation having as group a given faithful permutation representation Ḡ of a prescribed group G if we are given an equation having as group some faithful representation of G. In § 2, equations having nilpotent group are considered, non-normal extension fields are discussed, and a canonical form is obtained for the roots of non-normal irreducible equations; this form is used to characterize fields and equations with nilpotent groups.


1979 ◽  
Vol 31 (2) ◽  
pp. 427-435 ◽  
Author(s):  
Albert O. Shar

If (Y, µ) is an H-Space (here all our spaces are assumed to be finitely generated) with homotopy associative multiplication µ. and X is a finite CW complex then [X, Y] has the structure of a nilpotent group. Using this and the relationship between the localizations of nilpotent groups and topological spaces one can demonstrate various properties of [X,Y] (see [1], [2], [6] for example). If µ is not homotopy associative then [X, Y] has the structure of a nilpotent loop [7], [9]. However this algebraic structure is not rich enough to reflect certain significant properties of [X, Y]. Indeed, we will show that there is no theory of localization for nilpotent loops which will correspond to topological localization or will restrict to the localization of nilpotent groups.


Sign in / Sign up

Export Citation Format

Share Document