Quasigroup

From Academic Kids

(Redirected from Loop (algebra))

In abstract algebra, a quasigroup is a algebraic structure resembling a group in the sense that "division" is always possible. Quasigroups differ from groups mainly in that they need not be associative.

Contents

Definitions

Formally, a quasigroup is a magma (Q, *), i.e. a set Q with a binary operation * : Q × QQ, such that for all a and b in Q there are unique elements x and y in Q such that

  • a * x = b
  • y * a = b

The unique solutions to these equations are often written x = a \ b and y = b / a. The operations \ and / are called left and right division. In this encyclopedia, it will be assumed that a quasigroup is nonempty.

A loop is a quasigroup with an identity element. It follows that each element of a loop has both a unique left inverse and a unique right inverse.

A Moufang loop (named after Ruth Moufang) is a quasigroup (L, *) satisfying

  • (a*b)*(c*a) = (a*(b*c))*a

for all a, b and c in L. As the name suggests, Moufang loops are actually loops (a proof is given below).

Examples

Properties

Note that quasigroups have the cancellation property: if a * b = a * c, then b = c. This is because x = b is certainly a solution of the equation a * b = a * x, and the solution is required to be unique. Similarly, if a * b = c * b, then a = c.

The multiplication table of a finite quasigroup is a Latin square: an n × n table filled with n different symbols in such a way that each symbol occurs exactly once in each row and exactly once in each column. Conversely, every Latin square can be taken as the multiplication table of a quasigroup.

We stated earlier that Moufang loops are loops, which is to say that they have a unique identity element.

Proof. Let a be any element of M, and let e be the element such that a * e = a. Then for any x in Q, (x * a) * x = (x * (a * e)) * x = (x * a) * (e * x), and cancelling gives x = e * x. So e is a left identity element. Now let b be the element such that b * e = e. Then y * b = e * (y * b), as e is a left identity, so (y * b) * e = (e * (y * b)) * e = (e * y) * (b * e) = (e * y) * e = y * e. Cancelling gives y * b = y, so b is a right identity element. Lastly, e = e * b = b, so e is a two-sided identity element. □

Any associative quasigroup must be a Moufang loop, and an associative loop must clearly be a group. This shows that groups are precisely the associative quasigroups. The structure theory of loops is quite analogous to that of groups.

Although Moufang loops are not generally associative, they do satisfy weaker forms of associativity. One can show that the defining Moufang identity (multiplication denoted by juxtaposition)

  • (ab)(ca) = (a(bc))a

is equivalent to each of:

  • a(b(ac)) = ((ab)a)c
  • a(b(cb)) = ((ab)c)b

All three of these are called Moufang identities. Any one of them can serve to define a Moufang loop. By setting various elements to the identity one can show that these laws imply

  • a(ab) = (aa)b
  • (ab)b = a(bb)
  • a(ba) = (ab)a

Thus all Moufang loops are alternative. Moufang showed moreover that the subloop generated by any two elements of a Moufang loop is associative (and therefore a group). In particular, Moufang loops are power associative. When working with Moufang loops, it is common to drop the parenthesis in expressions with only two distinct elements.

See also

it:Quasigruppo fr:Quasigroupe

Navigation

Academic Kids Menu

  • Art and Cultures
    • Art (http://www.academickids.com/encyclopedia/index.php/Art)
    • Architecture (http://www.academickids.com/encyclopedia/index.php/Architecture)
    • Cultures (http://www.academickids.com/encyclopedia/index.php/Cultures)
    • Music (http://www.academickids.com/encyclopedia/index.php/Music)
    • Musical Instruments (http://academickids.com/encyclopedia/index.php/List_of_musical_instruments)
  • Biographies (http://www.academickids.com/encyclopedia/index.php/Biographies)
  • Clipart (http://www.academickids.com/encyclopedia/index.php/Clipart)
  • Geography (http://www.academickids.com/encyclopedia/index.php/Geography)
    • Countries of the World (http://www.academickids.com/encyclopedia/index.php/Countries)
    • Maps (http://www.academickids.com/encyclopedia/index.php/Maps)
    • Flags (http://www.academickids.com/encyclopedia/index.php/Flags)
    • Continents (http://www.academickids.com/encyclopedia/index.php/Continents)
  • History (http://www.academickids.com/encyclopedia/index.php/History)
    • Ancient Civilizations (http://www.academickids.com/encyclopedia/index.php/Ancient_Civilizations)
    • Industrial Revolution (http://www.academickids.com/encyclopedia/index.php/Industrial_Revolution)
    • Middle Ages (http://www.academickids.com/encyclopedia/index.php/Middle_Ages)
    • Prehistory (http://www.academickids.com/encyclopedia/index.php/Prehistory)
    • Renaissance (http://www.academickids.com/encyclopedia/index.php/Renaissance)
    • Timelines (http://www.academickids.com/encyclopedia/index.php/Timelines)
    • United States (http://www.academickids.com/encyclopedia/index.php/United_States)
    • Wars (http://www.academickids.com/encyclopedia/index.php/Wars)
    • World History (http://www.academickids.com/encyclopedia/index.php/History_of_the_world)
  • Human Body (http://www.academickids.com/encyclopedia/index.php/Human_Body)
  • Mathematics (http://www.academickids.com/encyclopedia/index.php/Mathematics)
  • Reference (http://www.academickids.com/encyclopedia/index.php/Reference)
  • Science (http://www.academickids.com/encyclopedia/index.php/Science)
    • Animals (http://www.academickids.com/encyclopedia/index.php/Animals)
    • Aviation (http://www.academickids.com/encyclopedia/index.php/Aviation)
    • Dinosaurs (http://www.academickids.com/encyclopedia/index.php/Dinosaurs)
    • Earth (http://www.academickids.com/encyclopedia/index.php/Earth)
    • Inventions (http://www.academickids.com/encyclopedia/index.php/Inventions)
    • Physical Science (http://www.academickids.com/encyclopedia/index.php/Physical_Science)
    • Plants (http://www.academickids.com/encyclopedia/index.php/Plants)
    • Scientists (http://www.academickids.com/encyclopedia/index.php/Scientists)
  • Social Studies (http://www.academickids.com/encyclopedia/index.php/Social_Studies)
    • Anthropology (http://www.academickids.com/encyclopedia/index.php/Anthropology)
    • Economics (http://www.academickids.com/encyclopedia/index.php/Economics)
    • Government (http://www.academickids.com/encyclopedia/index.php/Government)
    • Religion (http://www.academickids.com/encyclopedia/index.php/Religion)
    • Holidays (http://www.academickids.com/encyclopedia/index.php/Holidays)
  • Space and Astronomy
    • Solar System (http://www.academickids.com/encyclopedia/index.php/Solar_System)
    • Planets (http://www.academickids.com/encyclopedia/index.php/Planets)
  • Sports (http://www.academickids.com/encyclopedia/index.php/Sports)
  • Timelines (http://www.academickids.com/encyclopedia/index.php/Timelines)
  • Weather (http://www.academickids.com/encyclopedia/index.php/Weather)
  • US States (http://www.academickids.com/encyclopedia/index.php/US_States)

Information

  • Home Page (http://academickids.com/encyclopedia/index.php)
  • Contact Us (http://www.academickids.com/encyclopedia/index.php/Contactus)

  • Clip Art (http://classroomclipart.com)
Toolbox
Personal tools