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

A quasigroup is a groupoid $ G$ with the property that for every $ x, y \in G$, there are unique elements $ w, z \in G$ such that $ xw = y$ and $ zx = y$.

A loop is a quasigroup which has an identity element.

What distinguishes a loop from a group is that the former need not satisfy the associative law.



"loop and quasigroup" is owned by mclase.
(view preamble)

View style:

See Also: groupoid, loop, alternative definition of group

Also defines:  loop, quasigroup

Attachments:
Moufang loop (Definition) by yark
medial quasigroup (Definition) by rspuzio
Log in to rate this entry.
(view current ratings)

Cross-references: associative, group, identity element, property, groupoid
There are 6 references to this entry.

This is version 1 of loop and quasigroup, born on 2002-09-06.
Object id is 3436, canonical name is LoopAndQuasigroup.
Accessed 7438 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)