Related papers: Absolutely closed nil-2 groups

Here we show that a finite nilpotent group is 2-closed if and only if it is either cyclic or a direct product of a generalized quaternion group with a cyclic group of odd order.

A maximal abelian normal subgroup A in a nilpotent group N is self-centralizing. This makes their role an important one in determining the structure of the nilpotent group. For example if A is finite then N is also finite. In the free…

For a positive integer $k$, a group $G$ is said to be totally $k$-closed if in each of its faithful permutation representations, say on a set $\Omega$, $G$ is the largest subgroup of $\operatorname{Sym}(\Omega)$ which leaves invariant each…

Let $G$ be a finite group acting faithfully on a finite set $\Omega$. For a positive integer $k$, $G$ acts naturally on the Catesian product $\Omega^k := \Omega \times ...\times \Omega$. In this paper, we prove that finite nilpotent group…

Let $N$ be a normal subgroup of a finite group $G$. For a faithful $N$-set $\Delta$, applying the university embedding theorem one can construct a faithful $G$-set $\Omega$. In this short note, it is proved that if the $2$-closure of $N$ in…

For a $p$-group of order $p^n$, it is known that the order of $2$-nilpotent multiplier is equal to $|\mathcal{M}^{(2)}(G)|=p^{\f12n(n-1)(n-2)+3-s_2(G)}$ for an integer $s_2(G)$. In this article, we characterize all of non abelian $p$-groups…

It is proved that, in certain subgroups of direct products of countable groups, the property of being an unconditionally closed set coincides with that of being an algebraic set. In particular, these properties coincide in all Abelian…

We study the strong, weak, and special amalgamation bases in the varieties of nilpotent groups of class two and exponent n, where n is odd. The main result is a characterization of the special amalgamation bases for these varieties. We also…

Let $G$ be a finite group and let $H$ be a subgroup of $G$. We say that $H$ is extremely closed in $G$ if $\langle H,H^g\rangle\cap N_G(H)=H$ for all $g\in G.$ In this paper, we determine the structure of finite groups with an extremely…

Let p be a prime number. We give the explicit structure of 2- nilpotent multiplier for each finite 2-generator p-group of class two. Moreover, 2-capable groups in that class are characterized.

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…

A group $G$ is said to be totally $k$-closed for a positive integer $k$ if, in each of its faithful permutation representations on a set $\Omega^k$, $G$ is the largest subgroup of the symmetric group $\operatorname{Sym}(\Omega)$ that…

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…

A permutation group $G\le\operatorname{Sym}(\Omega)$ is said to be $2$-closed if no group $H$ such that $G<H\le\operatorname{Sym}(\Omega)$ has the same orbits on $\Omega\times\Omega$ as $G$. A simple and efficient inductive criterion for…

A group is small if it has countably many complete $n$-types over the empty set for each natural number n. More generally, a group $G$ is weakly small if it has countably many complete 1-types over every finite subset of G. We show here…

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 variety of groups does not contain all metabelian groups if and only if there is an absolute bound for the nilpotency classes of powerful $p$-groups in the given variety. Similarly, a variety contains only finitely many finite $p$-groups…

An abstract group $G$ is called totally $2$-closed if $H=H^{(2),\Omega}$ for any set $\Omega$ with $G\cong H\leq{\rm Sym}(\Omega)$, where $H^{(2),\Omega}$ is the largest subgroup of ${\rm Sym}(\Omega)$ whose orbits on $\Omega\times\Omega$…

In this paper we continue the study of powerfully nilpotent groups. These are powerful $p$-groups possessing a central series of a special kind. To each such group one can attach a powerful nilpotency class that leads naturally to the…

Let $p$ be a prime number and suppose that every maximal subgroup of a finite group is either $p$-nilpotent or has prime index. Such group need not be $p$-solvable, and we study its structure by proving that only one nonabelian simple group…