We investigate the concept of dominion (in the sense of Isbell) in several varieties of nilpotent groups. We obtain a full description of dominions in the variety of nilpotent groups of class at most two. Then we look at the behavior of dominions of subgroups of groups in ${\cal N}_2$ when taken in the context of ${\cal N}_c$ with $c>2$. Finally we establish the existence of nontrivial dominions in the category of all nilpotent groups.
In the first part, we prove that the dominion (in the sense of Isbell) of a subgroup of a finitely generated nilpotent group is trivial in the category of all nilpotent groups. In the second part, we show that the dominion of a subgroup of a finitely generated nilpotent group of class two is trivial in the category of all metabelian nilpotent groups.
An argument used to show that certain varieties of nilpotent groups have instances of nontrivial dominions is considered, and generalized. The same is done with the argument used to show that there are nontrivial dominions in the variety of metabelian groups, to suggest how this general technique may be used.
Dominions, in the sense of Isbell, are investigated in the context of decomposable varieties of groups. An upper and lower bound for dominions in such a variety is given in terms of the two varietal factors, and the internal structure of the group being analyzed. Finally, the following result is established: If a variety ${\cal N}$ has instances of nontrivial dominions, then for any proper subvariety ${\cal Q}$ of ${\cal G}roup$, ${\cal NQ}$ also has instances of nontrivial dominions.
Let~$S$ be a finite nonabelian simple group, and let $H$ be a subgroup of $S$. In this work, the dominion (in the sense of Isbell) of $H$ in $S$ in rmVar(S)$ is determined, generalizing an example of B.H. Neumann. A necessary and sufficient condition for $H$ to be epimorphically embedded in $S$ is obtained. These results are then extended to a variety generated by a family of finite nonabelian simple groups.
We give necessary and sufficient conditions for weak and strong embeddability of amalgams in each subvariety of the category of all nilpotent groups of class at most two; this generalizes B. Maier's result for the latter class. We also discuss dominions (in the sense of Isbell), and characterize the weak, strong, and special amalgamation bases for each subvariety, contrasting the resulting classes with one another.
Let $H$ be a linear algebraic group over an algebraically closed field of characteristic $p>0$. We prove that any "exponential map" for $H$ induces a bijection between the variety of $r$-tuples of commuting $[p]$-nilpotent elements in $Lie(H)$ and the variety of height $r$ infinitesimal one-parameter subgroups of $H$. In particular, we show that for a connected reductive group $G$ in pretty good characteristic, there is a canonical exponential map for $G$ and hence a canonical bijection between the aforementioned varieties, answering in this case questions raised both implicitly and explicitly…
Let $c\geq 0$, $d\geq 2$ be integers and $\mathcal{N}_c^{(d)}$ be the variety of groups in which every $d$-generator subgroup is nilpotent of class at most $c$. N.D. Gupta posed this question that for what values of $c$ and $d$ it is true that $\mathcal{N}_c^{(d)}$ is locally nilpotent? We prove that if $c\leq 2^d+2^{d-1}-3$ then the variety $\mathcal{N}_c^{(d)}$ is locally nilpotent and we reduce the question of Gupta about the periodic groups in $\mathcal{N}_c^{(d)}$ to the prime power finite exponent groups in this variety.
We present a survey of our recent research on varieties, generated by wreath products of groups. In particular, the full classification of all cases, when the (cartesian or direct) wreath product of any abelian groups $A$ and $B$ generates the product variety $\var{A} \var{B}$, is given. The analog of this is given for sets of abelian groups. We also present new, unpublished research on cases when the similar question is considered for non-abelian, finite groups.
Using the description of dominions in the variety of nilpotent groups of class at most two, we give a characterization of which groups are absolutely closed in this variety. We use the general result to derive an easier characterization for some subclasses; e.g. an abelian group $G$ is absolutely closed in ${\cal N}_2$ if and only if $G/pG$ is cyclic for every prime $p$.
We classify certain cases when the wreath products of distinct pairs of groups generate the same variety. This allows us to investigate the subvarieties of some nilpotent-by-abelian product varieties ${\mathfrak U}{\mathfrak V}$ with the help of wreath products of groups. In particular, using wreath products we find such subvarieties in nilpotent-by-abelian ${\mathfrak U}{\mathfrak V}$, which have the same nilpotency class, the same length of solubility, and the same exponent, but which still are distinct subvarieties. Obtained classification strengthens our recent work on varieties generated …
In this paper we consider the problem of classification of the nilpotent class 2 finitely generated torsion free groups up to the geometric equivalence. By a very easy technique it is proved that this problem is equivalent to the problem of classification of the complete (in the Maltsev sense) nilpotent torsion free finite rank groups up to the isomorphism. This result, allows us to once more comprehend the complication of the problem of the classification of the quasi-varieties of nilpotent class 2 groups. It is well known that the variety of a nilpotent class s (for every s) groups is Noethe…
In this paper we investigate central congruence of left quasigroups in the sense of Freese and McKenzie \cite{comm} and we extend some known results for quandles. In particular, we can extend the characterization of finite nilpotent latin quandles and the characterization of distributive varieties of quandles to the setting of idempotent left quasigroups.
We present a general criterion under which the equality var(A Wr B) = var(A) var(B) holds for finite groups A and B. This continues our previous research on varieties, generated by wreath products of abelian groups, and generalizes some existing results in this direction in literature. The classification is based on criterion of A.L. Shmel'kin for product varieties of groups and on technics developed by R. Burns et al. on critical groups in nilpotent-by-abelian varieties.
In this paper we derive an explicit expression for the normal zeta function of class two nilpotent groups whose associated Pfaffian hypersurface is smooth. In particular, we show how the local zeta function depends on counting mod p rational points on related varieties, and we describe the varieties that can appear in such a decomposition. As a corollary, we also establish explicit results on the degree of polynomial subgroup growth in these groups, and we study the behaviour of poles of this zeta function. Under certain geometric conditions, we also confirm that these functions satisfy a func…
We compute the representation zeta functions of some finitely generated nilpotent groups associated to unipotent group schemes over rings of integers in number fields. These group schemes are defined by Lie lattices whose presentations are modelled on certain prehomogeneous vector spaces. Our method is based on evaluating $\mathfrak{p}$-adic integrals associated to certain rank varieties of matrices of linear forms.
Schubert varieties have been exhaustively studied with a plethora of techniques: Coxeter groups, explicit desingularization, Frobenius splitting, etc. Many authors have applied these techniques to various other varieties, usually defined by determinantal equations. It has turned out that most of these apparently different varieties are actually Schubert varieties in disguise, so that one may use a single unified theory to understand many large families of spaces. The most powerful result in this direction was given by Lusztig as a footnote to his work on canonical bases. He showed that the var…
We classify extremal curves in free nilpotent Lie groups. The classification is obtained via an explicit integration of the adjoint equation in Pontryagin Maximum Principle. It turns out that abnormal extremals are precisely the horizontal curves contained in algebraic varieties of a specific type. We also extend the results to the nonfree case.
