On finite circular planar nearrings
type: Item
instance of: scholarly article
title: On finite circular planar nearrings
zbMATH Open document ID: 0863.16038
published in: Journal of Algebra
publication date: 1997-06-09T00:00:00Z
review text: Every planar nearring gives rise to a Ferrero pair. That is a pair \((N,\Phi)\) of groups such that \(\Phi\) acts on \(N\) as a group of automorphisms subject to the condition: \(-\phi+1\) is bijective if \(\phi\in\Phi\setminus\{1\}\). If \(N\) is finite, this just means that \(\Phi\) acts fixed point freely. \((N,\Phi)\) as well as the corresponding nearrings are called circular if \(\Phi a\cap\Phi b+c\) has at most two elements whenever \(a,b,c\in N\setminus\{0\}\). A first pioneering result was obtained by \textit{M. C. Modisett} [Util. Math. 35, 83-94 (1989; Zbl 0667.05007)]: if \(N\) is the additive group of a finite field and \(\Phi\) a subgroup of the multiplicative group, then circularity depends only on the characteristic \(p\) of that field. Moreover, the set \({\mathcal P}_\Phi\) of primes \(p\), for which \((N,\Phi)\) is not circular, is finite. Last, but not least, Modisett gives an algorithm to compute \({\mathcal P}_\Phi\). Note that \(\Phi\) is necessarily cyclic in the case considered by Modisett. This result was slightly generalized by Ke and the reviewer to arbitrary elementary abelian \(p\)-groups \(N\). The paper under review makes a decisive step ahead. Firstly, it is shown that for arbitrary finite \(p\)-groups, circularity again depends on \(p\) alone. So it makes sense to study the set \({\mathcal P}_\Phi\) of exceptional primes as before. This result is most general, since by a famous result of Thompson, \(N\) is nilpotent for every finite Ferrero pair \((N,\Phi)\) if \(\Phi\) is non-trivial. Therefore, \(N\) is a direct product of it's Sylow-subgroups. This reduces questions about circularity to \(p\)-groups. Secondly, the authors study the sets \({\mathcal P}_\Phi\) for various groups. If \(\Phi\) contains the quaternion group of order 8, then \({\mathcal P}_\Phi\) is the set of all primes, i.e., \((N,\Phi)\) is never circular. (The proof of theorem (3.1) shows just this, although the statement seems to be weaker.) As a consequence, if \(…
Mathematics Subject Classification ID: 16Y30
Mathematics Subject Classification ID: 51E05
Mathematics Subject Classification ID: 20D15
Mathematics Subject Classification ID: 05B05
zbMATH DE Number: 954779
zbMATH Keywords: planar nearrings
zbMATH Keywords: groups of automorphisms
zbMATH Keywords: additive groups
zbMATH Keywords: finite fields
zbMATH Keywords: multiplicative groups
zbMATH Keywords: circularity
zbMATH Keywords: elementary Abelian \(p\)-groups
zbMATH Keywords: finite \(p\)-groups
zbMATH Keywords: finite Ferrero pairs
zbMATH Keywords: Sylow subgroups
zbMATH Keywords: generators
zbMATH Keywords: relations
zbMATH Keywords: metacyclic groups
zbMATH Keywords: fixed point free actions
author: K. I. Beidar
author: Y. Fong
author: Wen-Fong Ke
reviewed by: Hubert Kiechle
MaRDI profile type: Publication
full work available at URL: jabr.1996.0347
OpenAlex ID: W2087936520
DOI: 10.1006/JABR.1996.0347
Recommended article: Combinatorial properties of ring generated circular planar nearrings
Recommended article: Q3819616
Recommended article: Planar nearrings on the Euclidean plane.
Recommended article: Q4539103
Recommended article: Q3688523
Recommended article: Q4668285
Recommended article: Q3318922
Recommended article: Q3754775
Recommended article: Applications of planar near-rings to geometry and combinatorics
Recommended article: On structure of certain periodic rings and near-rings
description: scientific article; zbMATH DE number 954779