We analyze the complexity of ascendant sequences in locally nilpotent groups, showing that if G is a computable locally nilpotent group and x0; x1; : : : ; xN 2 G, N 2 N, then one can always …nd a uniformly computably enumerable (i.e. uniformly 1) ascendant sequence of order type ! + 1 of subgroups in G beginning with hx0; x1; : : : ; xN iG, the subgroup generated by x0; x1; : : : ; xN in G. Th...

in this paper‎, ‎we investigate the influence of some subgroups of sylow subgroups with semi cover-avoiding property and‎ ‎$mathcal{f}$-supplementation on the structure of finite groups and generalize a series of known results‎.

Mal’cev showed in the 1950s that there is a correspondence between radicable torsion-free nilpotent groups and rational nilpotent Lie algebras. In this paper we show how to establish the connection between the radicable hull of a finitely generated torsion-free nilpotent group and its corresponding Lie algebra algorithmically. We apply it to fast multiplication of elements of polycyclically pre...

Let G be a connected reductive group defined over an algebraically closed field k of characteristic p > 0. The purpose of this paper is two-fold. First, when p is a good prime, we give a new proof of the “order formula” of D. Testerman for unipotent elements in G; moreover, we show that the same formula determines the p-nilpotence degree of the corresponding nilpotent elements in the Lie algebr...

In this paper we study left 3-Engel elements in groups. In particular, we prove that for any prime p and any left 3-Engel element x of finite p-power order in a group G, x is in the Baer radical of G. Also it is proved that 〈x, y〉 is nilpotent of class 4 for every two left 3-Engel elements in a group G.

An MC group is a group in which all chains of centralizers have finite length. In this article, we show that every nilpotent subgroup of an MC group is contained in a definable subgroup which is nilpotent of the same nilpotence class. Definitions are uniform when the lengths of chains are bounded.

We consider a group-theoretic analogue of the classic subset sum problem. It is known that every virtually nilpotent group has polynomial time decidable subset sum problem. In this paper we use subgroup distortion to show that every polycyclic non-virtually-nilpotent group has NP-complete subset sum problem.

Let G be the adjoint group of the simple real Lie algebra g , and let K C → Aut(p C ) be the complexified isotropy representation at the identity coset of the corresponding symmetric space. We classify the spherical nilpotent K C orbits in p C .

Suppose K is a local field with finite residue field of characteristic p 6= 2 and K<p(M) is its maximal p-extension such that Gal(K<p(M)/K) has period p M and nilpotent class < p. If charK = 0 we assume that K contains a primitive p -th root of unity. The paper contains an overview of methods and results describing the structure of this Galois group together with its filtration by ramification ...