# On the Order of the Schur Multiplier of a Pair of Finite p-Groups II

## TL;DR

This paper classifies the structure of pairs of finite p-groups with a normal subgroup and specific bounds on the Schur multiplier, extending previous work to cases where the parameter t equals 4 or 5.

## Contribution

It extends the classification of pairs of finite p-groups with a normal subgroup to cases where t=4 or 5, building on earlier results for t ≤ 3.

## Key findings

- Classified the structure of (G,N) when t=4
- Classified the structure of (G,N) when t=5
- Extended the understanding of Schur multiplier bounds in p-groups

## Abstract

Let $G$ be a finite $p$-group and $N$ be a normal subgroup of $G$, with $|N|=p^n$ and $|G/N|=p^m$. A result of Ellis (1998) shows that the order of the Schur multiplier of such a pair $(G,N)$ of finite $p$-groups is bounded by $ p^{\frac{1}{2}n(2m+n-1)}$ and hence it is equal to $ p^{\frac{1}{2}n(2m+n-1)-t}$, for some non-negative integer $t$. Recently the authors characterized the structure of $(G,N)$ when $N$ has a complement in $G$ and $t\leq 3$. This paper is devoted to classify the structure of $(G,N)$ when $N$ has a normal complement in $G$ and $t=4,5$.