[Paper Review] Distribution and Generalized Center in Planar Nearrings

Tim Boykett|arXiv (Cornell University)|Jul 5, 2016

Rings, Modules, and Algebras10 references3 citations

TL;DR

This paper investigates distributive elements in planar nearrings, showing that when nontrivial distributive elements exist, the additive group is an extension of the zero multiplier subgroup by an abelian group, and if distributive elements include non-zero multipliers, the extension splits, yielding a clear structural description. This generalizes planar ring theory and enables a complete classification of the generalized center of planar nearrings, with applications to combinatorial designs and nearring structure theory.

ABSTRACT

Planar nearrings play an important role in nearring theory, both from the structural side as being close to generalised nearfields, as well as from an applications perspective, in geometry and designs. We investigate the distributive elements of planar nearrings. If a planar nearring has nonzero distributive elements, then it is an extension of its zero multiplier part by an abelian group. In the case that there are distributive elements that are not zero multipliers, then this extension splits, giving an explicit description of the nearring. This generalises the structure of planar rings. We provide a family of examples where this does not occur, the distributive elements being precisely the zero multipliers. We apply this knowledge to the question of determining the generalized center of planar nearrings as well as finding new proofs of other older results.

Motivation & Objective

• To understand the structure of planar nearrings through their distributive elements, extending Aichinger’s work on planar rings.
• To determine the generalized center of planar nearrings using the distribution of distributive elements.
• To classify planar nearrings based on whether distributive elements lie within zero multiplier orbits or not.
• To provide new structural insights and proofs for existing results in nearring theory, particularly regarding BIBDs and additively closed blocks.

Proposed method

• The paper uses the standard construction of planar nearrings via fixed-point-free automorphism groups acting on an abelian group, with multiplication defined via orbit representatives and a set M of zero multipliers.
• It defines distributive elements as those satisfying n(a+b) = na + nb for all a,b ∈ N, and studies their distribution across orbits of the automorphism group Φ.
• The additive group structure is analyzed as an extension of the zero multiplier subgroup by an abelian group, with conditions for the extension to split when non-zero multiplier distributive elements exist.
• The generalized center GC(N) is analyzed by examining commutativity of elements with all distributive elements, using orbit structure and the center of the automorphism group Z(Φ).
• The paper applies known results on planar rings and nearfields, particularly Aichinger’s theorem, to derive structural consequences in the planar nearring setting.
• It uses group-theoretic and nearring-theoretic tools, including orbit decomposition, nearfield substructures, and ideal theory, to classify cases of the generalized center.

Experimental results

Research questions

• RQ1 Under what conditions does a planar nearring have nontrivial distributive elements, and how does this affect its additive group structure?
• RQ2 When do distributive elements include non-zero multipliers, and what structural consequences follow from this?
• RQ3 How can the generalized center of a planar nearring be fully characterized in terms of orbit structure and automorphism group properties?
• RQ4 What are the possible configurations of distributive elements relative to zero multiplier orbits, and how do they affect the generalized center?
• RQ5 Can the results on planar rings be generalized to planar nearrings, and what new structural insights emerge?

Key findings

• If a planar nearring has nontrivial distributive elements, its additive group is an extension of the zero multiplier subgroup by an abelian group.
• When distributive elements include non-zero multipliers, the extension splits, yielding a semidirect product structure that generalizes planar rings.
• The generalized center GC(N) is trivial if the distributive elements intersect more than one non-zero multiplier orbit and at least one is not a zero multiplier.
• If distributive elements lie entirely within a single non-zero multiplier orbit, then GC(N) equals that orbit together with zero, and this case is achieved when the automorphism group Φ is cyclic.
• In the finite case with abelian additive group, the distributive elements form a planar ring, and their multiplicative structure corresponds to the center of the automorphism group Φ.
• The generalized center is either the set of zero multipliers (an ideal), trivial, the entire nearring, or a single orbit with zero, depending on the intersection of D(N) with Φ-orbits.