In abstract algebra, an algebraic structure consists of one or more sets, called underlying sets or carriers or sortsclosed under one or more operations, satisfying some axioms. Abstract algebra is primarily the study of algebraic structures and their properties. The notion of algebraic structure has been formalized in universal algebra.

Types of magmas

Magmas are not often studied as such; instead there are several different kinds of magmas, depending on what axioms one might require of the operation. Commonly studied types of magmas include
Magma to Group.svg

From magma to group, via two alternative paths. Key:
M = magma, d = divisibility, a = associativity,
Q = quasigroup, S = semigroup, e = identity.
L = loop, i = invertibility, N = monoid, G = group
Note that both divisibility and invertibility imply
the existence of the cancellation property.

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )


Connecting to %s