Minimal Product Set in Non-Abelian Metacyclic Groups of Even Order

TL;DR

This paper extends known results about minimal product sets from abelian groups to non-abelian metacyclic groups, providing new proofs for dihedral and dicyclic groups.

Contribution

It generalizes the minimal product set size results from abelian groups to a class of non-abelian metacyclic groups, including dihedral and dicyclic groups.

Findings

Extended the minimal product set results to metacyclic groups

Provided new proofs for dihedral and dicyclic groups

Established the result for a broader class of non-abelian groups

Abstract

Given a finite group $G$ and positive integers $r$ and $s$, a problem of interest in algebra is determining the minimum cardinality of the product set $AB$, where $A$ and $B$ are subsets of $G$ such that $|A|=r$ and $|B|=s$. This problem has been solved for the class of abelian groups; however, it remains open for finite non-abelian groups. In this paper, we prove that the result obtained for abelian groups can be extended to the class of metacyclic groups $K_{m,n}=\left\langle a,b \ : \ a^m=1,b^{2n}=a^g,bab^{-1}=a^{-1}\right\rangle$. Consequently, we provide a new proof of the result for the dihedral group $D_n$ and dicylic group $Q_{4n}$.