On the existence of a noninner automorphism of order \(p\) for \(p\)-groups.
type: Item
instance of: scholarly article
zbMATH Open document ID: 1001.20013
DOI: 10.1023/A:1015290510835
author: O. S. Pilyavs'ka
author: L. Yu. Bodnarchuk
publication date: 2002-04-24T00:00:00Z
Mathematics Subject Classification ID: 20D45
Mathematics Subject Classification ID: 20D15
zbMATH DE Number: 1733119
zbMATH Keywords: finite \(p\)-groups
zbMATH Keywords: groups of automorphisms
zbMATH Keywords: regular \(p\)-groups
zbMATH Keywords: nilpotency classes
zbMATH Keywords: automorphisms of order \(p\)
MaRDI profile type: Publication
published in: Ukraïns'kyĭ Matematychnyĭ Zhurnal
title: On the existence of a noninner automorphism of order \(p\) for \(p\)-groups.
review text: The authors study automorphism groups of finite \(p\)-groups in connection with an open problem of Ya.~Berkovich: prove that any finite non-Abelian \(p\)-group \(G\) possesses a noninner automorphism of order \(p\). Although the order of \(\text{Out}(G)\) is divisible by \(p\) (because of a known theorem of Gaschütz) this does not imply the existence of such an automorphism.NEWLINENEWLINENEWLINEThe main result of the paper is the following. Let \(G\) be a regular non-Abelian \(p\)-group and \(H\) a subgroup of index \(p\). If there exists an element \(x\in Z(H)\) of order \(p\) such that \(x\not=[a,\nu]\), where \(a\not\in H\), \(\nu\in Z(H)\), then \(G\) possesses a noninner automorphism of order \(p\). It is also shown that any group of order \(p^n\) (\(n<7\), \(p>3\) a prime) admits a noninner automorphism of order \(p\).
description: scientific article; zbMATH DE number 1733119