Abstract Algebra
Abstract Algebra
Section titled βAbstract AlgebraβMeaning
- Abstract Algebra studies algebraic structures
- Focus: sets + operations and their properties (rules)
Algebraic Structure
- An algebraic structure is:
(S, operations) - Example:
- integers under addition
- naturals under addition and multiplication
Binary Operation
- A binary operation on set :
- Properties often checked:
- Closure:
- Associativity:
- Commutativity:
- Identity:
- Inverse:
- Distributive:
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 :
- Closure
- Associativity
Examples:
- ,
1.1 Monoid
A monoid :
- Semigroup
- Identity element exists
Examples:
- , identity
- , identity
- , identity
- , identity
- , identity
- , identity
1.1.1 Group
A group :
- Monoid
- Inverse exists for every element
Examples:
1.2 Abelian Monoid (Commutative)
An Abelian Monoid:
- Monoid
- Commutative
Examples:
1.2.1 Abelian Group (Commutative)
An Abelian Group:
- Group
- Commutative
Examples:
2. Ring
A ring satisfies:
- is an abelian group
- is a semigroup
- Distributive laws:
Important correction:
- Ring being an abelian group refers only to addition
- Multiplication is independent of addition
Examples:
- (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:
Non-example:
- is a ring but not commutative
2.2 Ring with Identity (Unity)
A ring with identity:
- Ring
- Multiplicative identity exists
Clarification (important):
- Ring axioms do not require multiplicative identity
- Semigroup under multiplication does not guarantee identity
- Hence defined separately
Examples:
- Polynomial ring
2.1.1 Integral Domain
A commutative ring with unity such that:
- No zero divisors
Meaning: If then or
Example:
- integral domain
2.1.1.1 Field
A field satisfies:
- is abelian group
- is abelian group
- Distributive laws
Example:
- field
- field
3. Vector Space
A vector space is built over a field:
is abelian group
Scalar multiplication:
Example:
- over field
Lattice (Important in Discrete Math)
A structure satisfying:
- Idempotent, commutative, associative
- Absorption laws
Example:
- power set forms lattice
Homomorphism (Structure Preserving Map)
A function that preserves operation:
For groups:
For rings:
Isomorphism
A bijective homomorphism
- Means two structures are βsameβ algebraically
17) Quick Summary Table
| Structure | Operations | Key Condition | |
|---|---|---|---|
| 1 | Semigroup | closure + associative | |
| 2 | Monoid | semigroup + identity | |
| 3 | Group | monoid + inverse | |
| 4 | Abelian Group | group + commutative | |
| 5 | Ring | () abelian group + distributive | |
| 6 | Field | ring + every nonzero has inverse |
Abelian Group & Abelian Monoid
Section titled βAbelian Group & Abelian MonoidβBasic Idea
- These are algebraic structures: a set + an operation
- Operation is usually written as:
*or+
Binary Operation
- Let be a set. A binary operation on is a function:
- Meaning: for any , result
1. Semigroup
A semigroup is such that:
- Closure:
- Associative: for all
2. Monoid
A monoid is a semigroup + identity. A monoid satisfies:
- Closure
- Associativity
- Identity element exists
- There exists such that:
- for all
Example:
- is a monoid
- identity =
3. Abelian Monoid (Commutative Monoid)
An abelian monoid is a monoid + commutativity.
So satisfies:
- Closure
- Associativity
- Identity exists
- Commutative: for all
Example:
- is abelian monoid (identity = 0)
- is also abelian monoid (identity = 1)
4. Group
A group is a monoid + inverse for every element.
It satisfies:
- Closure
- Associativity
- Identity exists
- Inverse exists
- For every , there exists such that:
Example:
- is a group
- identity =
- inverse of is
5. Abelian Group (Commutative Group)
An abelian group is a group + commutativity.
So satisfies:
- Closure
- Associativity
- Identity exists
- Inverse exists
- Commutative:
Example:
- abelian group
- abelian group
- abelian group
Key Difference (Monoid vs Group)
- Monoid: identity exists, but inverse may not exist
- Group: identity exists + every element has inverse
Example:
- is monoid but not group (no inverse for 5 in β)
- is group (inverse for 5 is -5 in )
| Structure | Closure | Associative | Identity | Inverse | Commutative | β Operations | Operations |
|---|---|---|---|---|---|---|---|
| Semigroup | Yes | Yes | No | No | Not necessary | + , Γ, max, min | + , Γ, max, min |
| Monoid | Yes | Yes | Yes | No | Not necessary | +(0), Γ(1), max(0), min((β) | +(0), Γ(1) |
| Abelian Monoid | Yes | Yes | Yes | No | Yes | + , Γ, max, min | + , Γ, max, min |
| Group | Yes | Yes | Yes | Yes | Not necessary | β | + |
| Abelian Group | Yes | Yes | Yes | Yes | Yes | β | + |
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