PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
[parent] medial quasigroup (Definition)

A medial quasigroup is a quasigroup such that, for any choice of four elements $a,b,c,d$ one has $$ (a \cdot b) \cdot (c \cdot d) = (a \cdot c) \cdot (b\cdot d) .$$

Any commutative quasigroup is trivially a medial quasigroup. A nontrivial class of examples may be constructed as follows. Take a commutative group $(G,+)$ and two automorphisms $f, g \colon G \to G$ which commute with each other, and an element $c$ of $G$ Then, if we define an operation $\cdot \colon G \times G \to G$ as $$ x \cdot y = f(a) + g(b) + c ,$$ $(G,\cdot)$ is a medial quasigroup.

Reference:

V. D. Belousov, Fundamentals of the theory of quasigroups and loops (in Russian)




Anyone with an account can edit this entry. Please help improve it!

"medial quasigroup" is owned by rspuzio.
(view preamble | get metadata)

View style:


This object's parent.

Attachments:
proof of example of medial quasigroup (Proof) by rspuzio
Log in to rate this entry.
(view current ratings)

Cross-references: loops, theory, reference, operation, automorphisms, commutative group, class, commutative, quasigroup
There is 1 reference to this entry.

This is version 2 of medial quasigroup, born on 2006-12-11, modified 2006-12-11.
Object id is 8617, canonical name is MedialQuasigroup.
Accessed 908 times total.

Classification:
AMS MSC20N05 (Group theory and generalizations :: Other generalizations of groups :: Loops, quasigroups)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)