On the Order of Polynilpotent Multipliers of Some Nilpotent Products of Cyclic $p$-Groups

TL;DR

This paper determines the order of polynilpotent multipliers for certain nilpotent products of cyclic p-groups, extending known results to more complex product structures and conditions.

Contribution

It provides explicit formulas for the order of polynilpotent multipliers of nilpotent products of cyclic p-groups, including multiple and c-nilpotent cases, under specific conditions.

Findings

Explicit formula for the order of polynilpotent multipliers for single nilpotent products.

Extension of results to multiple nilpotent products with varying nilpotency classes.

Conditions under which the multiplier order is a power of p for these group structures.

Abstract

In this article we show that if ${\cal V}$ is the variety of polynilpotent groups of class row $(c_1,c_2,...,c_s),\ {\mathcal N}_{c_1,c_2,...,c_s}$, and $G\cong{\bf {Z}}_{p^{\alpha_1}}\stackrel{n}{*}{\bf {Z}}_{p^{\alpha_2}}\stackrel{n}{*}...\stackrel{n}{*}{\bf{Z}}_{p^{\alpha_t} }$ is the $n$th nilpotent product of some cyclic $p$-groups, where $c_1\geq n$, $\alpha_1 \geq \alpha_2 \geq...\geq \alpha_t $ and $ (q,p)=1$ for all primes $q$ less than or equal to $n$, then $|{\mathcal N}_{c_1,c_2,...,c_s}M(G)|=p^{d_m}$ if and only if $G\cong{\bf {Z}}_{p}\stackrel{n}{*}{\bf {Z}}_{p}\stackrel{n}{*}...\stackrel{n}{*}{\bf{Z}}_{p }$ ($m$-copies), where $m=\sum _{i=1}^t \alpha_i$ and $d_m=\chi_{c_s+1}(...(\chi_{c_2+1}(\sum_{j=1}^n \chi_{c_1+j}(m)))...)$. Also, we extend the result to the multiple nilpotent product $G\cong{\bf {Z}}_{p^{\alpha_1}}\stackrel{n_1}{*}{\bf {Z}}_{p^{\alpha_2}}\stackrel{n_2}{*}...\stackrel{n_{t-1}}{*}{\bf{Z}}_{p^{\alpha_t} }$, where $c_1\geq n_1\geq...\geq n_{t-1}$. Finally a similar result is given for the $c$-nilpotent multiplier of $G\cong{\bf {Z}}_{p^{\alpha_1}}\stackrel{n}{*}{\bf {Z}}_{p^{\alpha_2}}\stackrel{n}{*}...\stackrel{n}{*}{\bf{Z}}_{p^{\alpha_t}}$ with the different conditions $n \geq c$ and $ (q,p)=1$ for all primes $q$ less than or equal to $n+c.$