Algebraic Structures

By Susam Pal on 21 Oct 2024 [draft]

An algebraic structure consists of a nonempty set, a collection of operations on the set, and a finite set of axioms that the operations must satisfy. This page describes some commonly used algebraic structures.

Contents

Magma

Magma Definition

A magma is an ordered pair (M,) where M is a set and is a binary operation on M.

Magma Closure Property

Some texts explicitly specify the closure property, i.e., for all a,bM, we must have abM. However, stating this propery explicity is redundant because a binary operation is closed by definition. A binary operation on a set M is defined to be a function :M×MM;(x,y)xy. This definition automatically implies the closure property. In practice, we should always verify that the binary operation defined does indeed have the codomain M to confirm that the closure property holds.

Magma Terminology

A magma is also known as binar. The term groupoid was used to refer to magma in early texts but this term is also used in category theory to refer to a category in which all morphisms are invertible. This term has also been used in early texts to refer to a set with a partial binary operation. Due to the ambiguity associated with this term, it is better to use the term magma to refer to a set along with its binary operation.

Magma Variations

A magma may satisfy the following additional properties:

A magma satisfying the commutativity property is known as a commutative magma. A magma satisfying the identity property is known as a unital magma. A magma satisfying both properties is known as commutative unital magma.

Semigroup

Semigroup Definition

A semigroup is an ordered pair (S,) where S is a set and is a binary operation on M satisfying the following property:

Associativity: For all a,b,cS, we have (ab)c=a(bc).

Semigroup Closure Property

Some texts explicitly specify the closure property, i.e., for all a,bS, we must have abS. However, stating this propery explicity is redundant because a binary operation is closed by definition.

Semigroup Variations

A semigroup may satisfy the following additional properties:

A semigroup satisfying the commutativity property is known as a commutative semigroup or abelian semigroup. A semigroup satisfying the identity property is known as a monoid. A semigroup satisfying both properties is known as a commutative monoid. Monoid is discussed in detail in the next section.

Monoid

Monoid Definition

A monoid is an ordered pair (S,) where S is a set and is a binary operation on S satisfying the following properties:

  1. Associativity: For all a,b,cS, we have (ab)c=a(bc).

  2. Identity: There exists an element eS such that for all aS, we have ae=a=ea.

Monoid Closure Property

Some texts explicitly specify the closure property, i.e., for all a,bS, we must have abS. However, stating this propery explicity is redundant because a binary operation is closed by definition.

Monoid Variations

A monoid may satisfy the following additional property:

Commutativity: For all a,bS, we have ab=ba.

A monoid satisfying the commutative property is known as commutative monoid or, less commonly, abelian monoid.

Group

Group Axioms

A group is an ordered pair (G,) where G is a set and is a binary operation on G satisfying the following properties:

  1. Associativity: For all a,b,cG, we have (ab)c=a(bc).

  2. Identity: There exists an element eG such that for all aG, we have ae=a=ea.

  3. Inverse: For each aG, there exists a1G such that aa1=e=a1a.

Group Closure Property

Some texts explicitly specify the closure property, i.e., for all a,bG, we must have abG. However, stating this propery explicity is redundant because a binary operation is closed by definition.

Group Variations

If a group satisfies the following additional axiom, then it is called an abelian group:

Group Terminology

The binary operation is called the group operation or group law. The set G is called the underlying set of the group. The set G is also called a group under the binary operation.

Group Examples

The ordered pair (Z,+) forms a group, i.e., the set of integers form a group under addition. In fact, it is an abelian group. However it does not form a group under multiplication, i.e., (Z,) does not form a group since there is no multiplicative inverse of 2 in the set of integers.

Ring

Ring Axioms

A ring is a triple (R,+,), where R is a set, and + and are binary operations on R, called addition and multiplication respectively, that satisfies the following properties:

  1. Associativity of addition: For all a,b,cR, we have a+(b+c)=(a+b)+c.

  2. Commutativity of addition: For all a,bR, we have a+b=b+a.

  3. Additive identity: There exists an element 0R such that for all aR, we have a+0=a.

  4. Additive inverse: For each aR, there exists an element aR such that a+(a)=0.

  5. Associativity of multiplication: For all a,b,cR, we have a(bc)=(ab)c.

  6. Left distributivity of multiplication over addition: For all a,b,cR, we have a(b+c)=(ab)+(ac).

  7. Right distributivity of multiplication over addition:> For all a,b,cR, we have (b+c)a=(ba)+(ca).

The ring defined in this section is also called noncommutative, non-unital ring or noncommutative pseudo-ring or rng (i.e., "ring" without "i", signifying the missing requirement for multiplicative identity).

Ring Closure Properties

Some texts include the following additional axioms for the closure properties:

  1. Closure under additon: For all a,bR, we have a+bR.

  2. Closure under multiplication: For all a,bR, we have abR.

However many texts omit these two axioms because these axioms are already implied by the fact that + and are binary operations on R.

Ring Variations

In addition to the ring axioms defined earlier, a ring may be defined to have one or more of the following optional properties:

  1. Multiplicative identity: There exists an element 1R such that for all aR, we have a1=a=1a.

  2. Commutativity of multiplication: For all a,bR, we have ab=ba.

A ring satisfying the first property mentioned here is called unit ring or unital ring or ring with unity or ring with identity or ring with 1. A ring satisfying the second property mentioned here is called commutative ring.

Many texts define ring to have the multiplicative identity property, so such texts mean unit ring when they refer to ring. Some texts define ring to have both the multiplicative identity property and the commutative property, so such texts mean commutative unit ring when they refer to ring.

Note that when a ring is defined to be commutative, the right distributivity property does not need to be explicitly spelled out since that is automatically implied by commutativity of multiplication.

Ring Examples

The triple (Z,+,) is an obvious example of a ring. In fact, this is a commutative unit ring.

The triple (2Z,+,) where 2Z represents the set of all even integers, is a commutative non-unital ring.

Field

Field Axioms

A field is a triple (F,+,), where F is a set, and + and are binary operations on F, called addition and multiplication respectively, that satisfies the following properties:

  1. Associativity of addition: For all a,b,cF, we have a+(b+c)=(a+b)+c.

  2. Commutativity of addition: For all a,bF, we have a+b=b+a.

  3. Additive identity: There exists an element 0F such that for all aF, we have a+0=a.

  4. Additive inverse: For each aF, there exists an element aF such that a+(a)=0.

  5. Associativity of multiplication: For all a,b,cF, we have a(bc)=(ab)c.

  6. Commutativity of multiplication: For all a,bF, we have ab=ba.

  7. Multiplicative identity: There exists an element 1F such that for all aF, we have a1=a.

  8. Multiplicative inverse: For each a0F, there exists an element a1F such that aa1=1.

  9. Distributivity of multiplication over addition: For all a,b,cF, we have a(b+c)=(ab)+(ac).

Field Closure Properties

Some texts include the following additional axioms for the closure properties:

  1. Closure under additon: For all a,bF we have a+bF.

  2. Closure under multiplication: For all a,bF, we have abF.

However many texts omit these two axioms because these axioms are already implied by the fact that + and are binary operations on F.

Field Definition Alternatives

A field is a triple consisting of a set and two binary operations, called addition and multiplication, such that the set is an abelian group under addition and the nonzero elements (elements that are unequal to the additive identity) of the set form an abelian group under multplication, and multiplication distributes over addition.

Field Examples

The triple (Q,+,) is a field where Q denotes the set of all rational numbers. However Z,+, is not a field because there is no multiplicative inverse of 2 in the set of integers.

In fact, a field is informally described as a set along with two binary operations satisfying properties analogous to those of addition and multiplication of rational numbers or real numbers.

Comments | #mathematics | #definition