Quelle CHAP007.htm Sprache: HTML

products/Sources/formale Sprachen/GAP/pkg/sonata/doc/htm/tut/CHAP007.htm

<html><head><title>[SONATA-tutorial] 7 Planar nearrings</title></head>
<body text="#000000" bgcolor="#ffffff">
[<a href = "chapters.htm">Up</a>] [<a href ="CHAP006.htm">Previous</a>] [<a href ="CHAP008.htm">Next</a>] [<a href = "theindex.htm">Index</a>]
<h1>7 Planar nearrings</h1>

We recall the definition of planar nearrings and basic results
(see <a href="biblio.htm#Clay:Nearrings"><[>Clay:Nearrings</cite></a>)].
Let (N,+,·) be a left nearring. For a,b ∈ N we define a ≡ b
iff a·n = b·n for all n ∈ N. If a ≡ b, then a and b
are called equivalent multipliers.
A nearring N is called planar if | N/ ≡ | ≥ 3 and if
for any two non-equivalent multipliers a and b in N, for any c ∈ N,
the equation a·x = b·x + c has a unique solution.

A Ferrero pair is a pair of finite groups (N,Φ) such that Φ
is a fixed-point-free automorphism group of (N,+).

Starting with a Ferrero pair (N,Φ) we can construct a planar nearring
in the following way:
Select representatives, say e1,…,et, for some or all of the
non-trivial orbits of N under Φ.
Let C = Φ(e1)∪…∪Φ(et).
For each x ∈ N we define a·x = 0 for a ∈ N\C, and
a·x=ϕa(x) for a ∈ Φ(ei) ⊂ C and ϕa(ei)=a.
Then (N,+,·) is a (left) planar nearring with |N/ ≡ | = |Φ|+1.

Every finite planar nearring can be constructed from some Ferrero pair
together with a set of orbit representatives in this way.

The problem: Find a planar nearring with 25 elements and 9 pairwise
non-equivalent multipliers.

The solution: We follow the Ferrero method described above for defining a
nearring multiplication on an additive group.
First we have to find a fixed-point-free (fpf) automorphism group of
order 8 on a group of order 25.

We start with the cyclic group of order 25:
First of all we ask for the existence of an fpf automorphism group
on <code>CyclicGroup(25)</code> by computing an upper bound for its order.

<pre>
 gap> FpfAutomorphismGroupsMaxSize( CyclicGroup(25) );
 [ 4, 1 ]
</pre>

This function returns a list with two integers, 4 and 1.
The first number is an upper bound for the size of an fpf automorphism group;
if there is a metacyclic fpf automorphism group, then it has a cyclic normal
subgroup of index dividing the second number. These bounds are not sharp.
If the upper bound for the size of an fpf automorphism group on some group
is 1, we know that there is no nontrivial fpf automorphism group, no
Ferrero pair, and no planar nearring on this group at all.

Here, SONATA does not exclude the possibility that the cyclic group of
order 25 has an fpf automorphism group of order 4.
However, we can be sure that all fpf automorphism groups are cyclic and that
none of them has size 8.

Thus we have to consider the elementary abelian group of order 25 instead.

<pre>
 gap> FpfAutomorphismGroupsMaxSize( ElementaryAbelianGroup(25) );
 [ 24, 2 ]
</pre>

There might even exist an fpf automorphism group of order 24. (In fact
there is more than one. The reference manual explains how to obtain all
nearfields of size 25.)
For our example, we could compute either a cyclic automorphism group or one
isomorphic to the quaternion group with 8 elements. Let's try the latter.

<pre>
 gap> aux := FpfAutomorphismGroupsMetacyclic( [5,5], 4, -1 );
 [ [ [ [ f1, f2 ] -> [ f1^2, f2^3 ], [ f1, f2 ] -> [ f2^4, f1 ] ] ],
 <pc group of size 25 with 2 generators> ]
</pre>

Here, the function <code>FpfAutomorphismGroupsMetacyclic</code> determines the metacyclic
fpf automorphism groups on <code>AbelianGroup([5,5])</code> with generators p,q
satisfying p4 = 1, pq = p−1, and q2 = p2. For each conjugacy class
of such groups one representative is given. Conjugacy is determined within the
whole automorphism group of <code>AbelianGroup([5,5])</code>.
The actual output of the function is a list with 2 elements.
The first is not the list of fpf groups up to conjugacy but the list of
automorphisms p,q generating those groups.
The second element is simply the group <code>AbelianGroup([5,5])</code>, on which the
automorphisms act.

Since there is only one pair of generators p,q, all fpf automorphism groups
isomorphic to the quaternion group are conjugate. Now, we have our Ferrero
pair (G, Φ).

<pre>
 gap> phi := Group( aux[1][1] );
 <group with 2 generators>
 gap> G := aux[2];
 <pc group of size 25 with 2 generators>
</pre>

Next we have to pick some orbit representatives.
We note that for a fixed Ferrero pair distinct choices of representatives
may yield isomorphic nearrings. The function
<code>OrbitRepresentativesForPlanarNearRing</code> returns exactly one set of
representatives of given cardinality for each isomorphism class of planar
nearrings which can be generated from (G, Φ).

<pre>
 gap> OrbitRepresentativesForPlanarNearRing( G, phi, 1 );
 [ [ f1 ] ]
</pre>

This tells us that all planar nearrings obtained from (G,Φ) with one
orbit representative are in fact isomorphic.
What happens if we choose 2 representatives?

<pre>
 gap> reps := OrbitRepresentativesForPlanarNearRing( G, phi, 2 );
 [ [ f1, f1*f2 ], [ f1, f1^2*f2^2 ] ]
</pre>

We obtain 2 non-isomorphic planar near-rings. Let's just construct one of
them. The result will be an <code>ExplicitMultiplicationNearRing</code>.

<pre>
 gap> n := PlanarNearRing( G, phi, reps[1] );
 ExplicitMultiplicationNearRing ( <pc group of size 25 with
 2 generators> , multiplication )
</pre>

How many non-isomorphic planar nearrings can be defined from our Ferrero pair
(G,Φ) in total? Since there are 3 non-trivial orbits of Φ on G,
we may choose up to 3 representatives.

<pre>
 gap> Length(OrbitRepresentativesForPlanarNearRing( G, phi, 3 ));
 6
</pre>

Summing all up, we get exactly 9 non-isomorphic planar nearrings with
elementary abelian additive group of order 25 whose multiplication is
defined using a quaternion group of fpf automorphisms.


[<a href = "chapters.htm">Up</a>] [<a href ="CHAP006.htm">Previous</a>] [<a href ="CHAP008.htm">Next</a>] [<a href = "theindex.htm">Index</a>]

<address>SONATA-tutorial manual September 2025
</address></body></html>

Messung V0.5

¤ Dauer der Verarbeitung: 0.4 Sekunden ¤

Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.