Presentations of metacyclic \(p\)-groups with applications to \(K\)- admissibility questions
type: Item
instance of: scholarly article
title: Presentations of metacyclic \(p\)-groups with applications to \(K\)- admissibility questions
zbMATH Open document ID: 0820.20024
author: Steven Liedahl
published in: Journal of Algebra
publication date: 1995-09-11T00:00:00Z
review text: Let \(p\) be a prime, \(G\) a finite metacyclic \(p\)-group. Then \(G=\langle x, y\mid x^{p^ n}=e\), \(y^{p^ m}=x^{p^ s}\), \(yxy^{-1}=x^ q\rangle\) where \(q=(p+1)^{p^ t}\) if \(p\) is odd, \(q=s^{2^ t}\) if \(p =2\) and \(q \equiv 1\pmod 4\), and \(q =-5^{2^ t}\) if \(p=2\) and \(q \equiv 3 \pmod 4\). For fixed \(p\), the parameters of \(G\) are \((n, m, t, s)\). Let \(Z(G)\) be the center of \(G\) and \(G^{ab}\) its commutator quotient. Let \(H\) be another metacyclic \(p\)-group with parameters \((n', m', t', s')\). Assume \(G\) and \(H\) have the same order. The author proves: (1) If \(p\) is odd or \(p=2\) and \(q \equiv 1 \pmod 4\), then \(G \cong H\) iff \(Z(G) \cong Z(H)\) and \(G^{ab} \cong H^{ab}\). (2) If \(p\) is odd, then \(G \cong H\) iff \(m+t=m'+t'\), \(s=s'\), and \(\min(s,t+1)=\min(s',t'+1)\). (3) If \(p=2\) and \(q \equiv 1 \pmod 4\), then \(G \cong H\) iff \(m+t=m'+t'\), \(s=s'\), and \(\min(s,t+2)=\min(s', t'+2)\). (3) If \(p=2\) and \(q \equiv 3 \pmod 4\), then \(G \cong H\) iff either (i) \(G\) and \(H\) have the same parameters, or (ii) \(n=n'\), \(m=m'\), \(n \geq 3\), \(m \geq 2\), \(t=n - 3\), \(t'=n - 2\), and \(s=s'=n - 1\).
reviewed by: B.G.Basmaji
Mathematics Subject Classification ID: 20D15
Mathematics Subject Classification ID: 20F05
zbMATH DE Number: 701289
zbMATH Keywords: finite metacyclic \(p\)-groups
zbMATH Keywords: parameters
zbMATH Keywords: center
zbMATH Keywords: commutator quotient
MaRDI profile type: Publication
full work available at URL: jabr.1994.1321
OpenAlex ID: W2000270149
DOI: 10.1006/JABR.1994.1321
description: scientific article; zbMATH DE number 701289