Skip to content

Abstract Algebra

Meaning

  • Abstract Algebra studies algebraic structures
  • Focus: sets + operations and their properties (rules)

Algebraic Structure

  • An algebraic structure is: (S, operations)
  • Example:
    • (Z,+)(β„€, +) integers under addition
    • (N,+,Γ—)(β„•, +, Γ—) naturals under addition and multiplication

Binary Operation

  • A binary operation on set SS: \*:SΓ—Sβ†’S\*: S Γ— S β†’ S
  • Properties often checked:
    1. Closure: a\*b∈Sa\*b ∈ S
    2. Associativity: (a_b)c=a(b_c)(a\_b)_c = a_(b\_c)
    3. Commutativity: a_b=b_aa\_b = b\_a
    4. Identity: e_a=a_e=ae\_a = a\_e = a
    5. Inverse: a_aβˆ’1=aβˆ’1_a=ea\_a⁻¹ = a⁻¹\_a = e
    6. Distributive: a\*(b+c)=a_b+a_ca\*(b+c) = a\_b + a\_c
Algebraic Structures
β”‚
β”œβ”€ Magma (set + binary operation)
β”‚ β”‚
β”‚ └─ Semigroup (associative)
β”‚ β”‚
β”‚ └─ Monoid (has identity)
β”‚ β”‚
β”‚ └─ Group (has inverses)
β”‚ β”‚
β”‚ β”œβ”€ Abelian Group (commutative)
β”‚ β”‚
β”‚ └─ Non-Abelian Group
β”‚
β”‚
β”œβ”€ Ring (two operations: +, Γ—)
β”‚ β”‚
β”‚ β”œβ”€ Commutative Ring
β”‚ β”‚ β”‚
β”‚ β”‚ β”œβ”€ Integral Domain (no zero divisors)
β”‚ β”‚ β”‚ β”‚
β”‚ β”‚ β”‚ └─ Field (division possible)
β”‚ β”‚ β”‚
β”‚ β”‚ └─ Ring with Zero Divisors
β”‚ β”‚
β”‚ └─ Non-Commutative Ring
β”‚ β”‚
β”‚ β”œβ”€ Division Ring (non-commutative field)
β”‚ β”‚
β”‚ └─ Matrix Ring
β”‚
β”‚
└─ Vector Space (over a field)
β”‚
└─ Algebra (vector space + multiplication)

1. Semigroup

A semigroup (S,\*)(S, \*):

  • Closure
  • Associativity

Examples:

  • (N,+)(β„•, +)
  • (N,Γ—)(β„•, Γ—)
  • (Z,+)(β„€, +)
  • (Z,Γ—)(β„€, Γ—)
  • (S,max)(S, \text{max}), (S,min)(S, \text{min})

1.1 Monoid

A monoid (M,\*)(M, \*):

  • Semigroup
  • Identity element exists

Examples:

  • (N,+)(β„•, +), identity 00
  • (N,Γ—)(β„•, Γ—), identity 11
  • (Z,+)(β„€, +), identity 00
  • (Z,Γ—)(β„€, Γ—), identity 11
  • (P(S),βˆͺ)(P(S), βˆͺ), identity βˆ…βˆ…
  • (P(S),∩)(P(S), ∩), identity SS

1.1.1 Group

A group (G,\*)(G, \*):

  • Monoid
  • Inverse exists for every element

Examples:

  • (Z,+)(β„€, +)
  • (Q,+)(β„š, +)
  • (R,+)(ℝ, +)
  • (Qβˆ–0,Γ—)(β„š\setminus{0}, Γ—)
  • (Rβˆ–0,Γ—)(ℝ\setminus{0}, Γ—)

1.2 Abelian Monoid (Commutative)

An Abelian Monoid:

  • Monoid
  • Commutative

Examples:

  • (N,+)(β„•, +)
  • (N,Γ—)(β„•, Γ—)
  • (Z,+)(β„€, +)
  • (P(S),βˆͺ)(P(S), βˆͺ)
  • (P(S),∩)(P(S), ∩)

1.2.1 Abelian Group (Commutative)

An Abelian Group:

  • Group
  • Commutative

Examples:

  • (Z,+)(β„€, +)
  • (Q,+)(β„š, +)
  • (R,+)(ℝ, +)
  • (Qβˆ–0,Γ—)(β„š\setminus{0}, Γ—)
  • (Rβˆ–0,Γ—)(ℝ\setminus{0}, Γ—)

2. Ring

A ring (R,+,Γ—)(R, +, Γ—) satisfies:

  1. (R,+)(R, +) is an abelian group
  2. (R,Γ—)(R, Γ—) is a semigroup
  3. Distributive laws:
    • aΓ—(b+c)=aΓ—b+aΓ—caΓ—(b+c) = aΓ—b + aΓ—c
    • (a+b)Γ—c=aΓ—c+bΓ—c(a+b)Γ—c = aΓ—c + bΓ—c

Important correction:

  • Ring being an abelian group refers only to addition
  • Multiplication is independent of addition

Examples:

  • (Z,+,Γ—)(β„€, +, Γ—)
  • (Q,+,Γ—)(β„š, +, Γ—)
  • (R,+,Γ—)(ℝ, +, Γ—)
  • (M_n(R),+,Γ—)(M\_n(ℝ), +, Γ—) (non-commutative ring)

2.1 Commutative Ring

A commutative ring:

  • Ring
  • Multiplication is commutative

Clarification (important):

  • Ring is abelian only under addition
  • Multiplication need not be commutative
  • Hence commutative ring is defined separately

Examples:

  • (Z,+,Γ—)(β„€, +, Γ—)
  • (Q,+,Γ—)(β„š, +, Γ—)
  • (R,+,Γ—)(ℝ, +, Γ—)

Non-example:

  • (M_n(R),+,Γ—)(M\_n(ℝ), +, Γ—) is a ring but not commutative

2.2 Ring with Identity (Unity)

A ring with identity:

  • Ring
  • Multiplicative identity 11 exists
  • 1Γ—a=aΓ—1=a1Γ—a = aΓ—1 = a

Clarification (important):

  • Ring axioms do not require multiplicative identity
  • Semigroup under multiplication does not guarantee identity
  • Hence defined separately

Examples:

  • (Z,+,Γ—)(β„€, +, Γ—)
  • (Q,+,Γ—)(β„š, +, Γ—)
  • (R,+,Γ—)(ℝ, +, Γ—)
  • Polynomial ring (R\[x],+,Γ—)(ℝ\[x], +, Γ—)

2.1.1 Integral Domain

A commutative ring with unity such that:

  • No zero divisors

Meaning: If aΓ—b=0aΓ—b = 0 then a=0a=0 or b=0b=0

Example:

  • (Z,+,Γ—)(β„€, +, Γ—) integral domain

2.1.1.1 Field

A field (F,+,Γ—)(F, +, Γ—) satisfies:

  1. (F,+)(F, +) is abelian group
  2. (Fβˆ’0,Γ—)(F βˆ’ {0}, Γ—) is abelian group
  3. Distributive laws

Example:

  • (Q,+,Γ—)(β„š, +, Γ—) field
  • (R,+,Γ—)(ℝ, +, Γ—) field

3. Vector Space

A vector space is built over a field:

(V,+)(V, +) is abelian group

Scalar multiplication: F×V→VF × V → V

Example:

  • Rnℝ^n over field Rℝ

Lattice (Important in Discrete Math)

A structure (L,∨,∧)(L, ∨, ∧) satisfying:

  • Idempotent, commutative, associative
  • Absorption laws

Example:

  • (P(S),βˆͺ,∩)(P(S), βˆͺ, ∩) power set forms lattice

Homomorphism (Structure Preserving Map)

A function f:A→Bf: A → B that preserves operation:

For groups: f(a\*b)=f(a)\*f(b)f(a\*b) = f(a) \* f(b)

For rings:

  • f(a+b)=f(a)+f(b)f(a+b)=f(a)+f(b)
  • f(aΓ—b)=f(a)Γ—f(b)f(aΓ—b)=f(a)Γ—f(b)

Isomorphism

A bijective homomorphism

  • Means two structures are β€œsame” algebraically

17) Quick Summary Table

StructureOperationsKey Condition
1Semigroup\*\*closure + associative
2Monoid\*\*semigroup + identity
3Group\*\*monoid + inverse
4Abelian Group\*\*group + commutative
5Ring+,Γ—+,Γ—(++) abelian group + distributive
6Field+,Γ—+,Γ—ring + every nonzero has inverse

Basic Idea

  • These are algebraic structures: a set + an operation
  • Operation is usually written as: * or +

Binary Operation

  • Let SS be a set. A binary operation on SS is a function: \*:SΓ—Sβ†’S\*: S Γ— S β†’ S
  • Meaning: for any a,b∈Sa, b ∈ S, result a\*b∈Sa \* b ∈ S

1. Semigroup

A semigroup is (S,\*)(S, \*) such that:

  1. Closure: a\*b∈Sa\*b ∈ S
  2. Associative: (a_b)c=a(b_c)(a\_b)_c = a_(b\_c) for all a,b,c∈Sa,b,c ∈ S

2. Monoid

A monoid is a semigroup + identity. A monoid (M,\*)(M, \*) satisfies:

  1. Closure
  2. Associativity
  3. Identity element exists
    • There exists e∈Me ∈ M such that:
    • e_a=a_e=ae\_a = a\_e = a for all a∈Ma ∈ M

Example:

  • (N,+)(β„•, +) is a monoid
    • identity = 00

3. Abelian Monoid (Commutative Monoid)

An abelian monoid is a monoid + commutativity.

So (M,\*)(M, \*) satisfies:

  1. Closure
  2. Associativity
  3. Identity exists
  4. Commutative: a_b=b_aa\_b = b\_a for all a,b∈Ma,b ∈ M

Example:

  • (N,+)(β„•, +) is abelian monoid (identity = 0)
  • (N,Γ—)(β„•, Γ—) is also abelian monoid (identity = 1)

4. Group

A group (G,\*)(G, \*) is a monoid + inverse for every element.

It satisfies:

  1. Closure
  2. Associativity
  3. Identity exists
  4. Inverse exists
    • For every a∈Ga ∈ G, there exists aβˆ’1∈Ga⁻¹ ∈ G such that:
    • a_aβˆ’1=aβˆ’1_a=ea\_a⁻¹ = a⁻¹\_a = e

Example:

  • (Z,+)(β„€, +) is a group
    • identity = 00
    • inverse of aa is βˆ’a-a

5. Abelian Group (Commutative Group)

An abelian group is a group + commutativity.

So (G,\*)(G, \*) satisfies:

  1. Closure
  2. Associativity
  3. Identity exists
  4. Inverse exists
  5. Commutative: a_b=b_aa\_b = b\_a

Example:

  • (Z,+)(β„€, +) abelian group
  • (Q,+)(β„š, +) abelian group
  • (R,+)(ℝ, +) abelian group

Key Difference (Monoid vs Group)

  • Monoid: identity exists, but inverse may not exist
  • Group: identity exists + every element has inverse

Example:

  • (N,+)(β„•, +) is monoid but not group (no inverse for 5 in β„•)
  • (Z,+)(β„€, +) is group (inverse for 5 is -5 in Zβ„€)
StructureClosureAssociativeIdentityInverseCommutativeβ„• OperationsZβ„€ Operations
SemigroupYesYesNoNoNot necessary+ , Γ—, max, min+ , Γ—, max, min
MonoidYesYesYesNoNot necessary+(0), Γ—(1), max(0), min((∞)+(0), Γ—(1)
Abelian MonoidYesYesYesNoYes+ , Γ—, max, min+ , Γ—, max, min
GroupYesYesYesYesNot necessary❌+
Abelian GroupYesYesYesYesYes❌+

Key Points

  • β„• is not a group (no inverse)
  • (β„€, +) is Abelian group
  • (β„€, Γ—) is not a group (no inverse for 2)
  • βˆ’ and / are not binary operations on β„€ or β„•

To Memorize ⭐⭐

  • Closure + Associativity β†’ present in all algebraic structures
  • Semigroup β†’ Closure + Associativity
  • Monoid β†’ Semigroup + Identity
  • Group β†’ Monoid + Inverse
  • Abelian β†’ Commutative