Abstract algebra 1_compressed
Page 1: Sets and Equivalence Relations
Definition of a Set
A set S consists of elements; if a is an element of S, it's denoted by a ∈ S.
Empty Set
There exists one set with no elements, the empty set, denoted by ∅ or {}.
Well-Defined Sets
A set S is well-defined if for any object a, it is clear if a is in S (a ∈ S) or not (a ∉ S).
Subsets
A set B is a subset of set A (B ⊆ A) if every element of B is also in A.
Notations: B ⊆ A or A ⊇ B.
Note: For any set A, A itself and ∅ are subsets of A.
Page 2: Definitions and Sets
Improper Subset
A set A is an improper subset of itself; all other subsets are proper.
Well-Defined Collection of Sets
Examples of sets include:
Complex numbers (ℂ)
Real numbers (ℝ)
Rational numbers (ℚ)
Integer numbers (ℤ)
Natural numbers (ℕ)
Irrational numbers (ℝ \ ℚ)
The sets of all positive integers and non-zero real numbers.
Page 5: Binary Operations
Definition
A binary operation on a set S is a function from S × S to S.
Notation
Denote binary operation as (a, b)
Examples include addition (+) and multiplication (×).
Checking Binary Operations
For ℝ:
(a, b) → a + b, which is binary.
For ℝ:
(a, b) → a × b, which is binary.
For ℤ:
(a, b) → a − b is not binary since it can yield elements outside of ℤ.
Page 7: Properties of Binary Operations
Commutativity
A binary operation is commutative if a × b = b × a for all a, b.
Associativity
An operation is associative if (a × b) × c = a × (b × c) for all a, b, c.
Page 10: Concepts of Groups
Definition of a Group
A group (G, x) consists of a set G and a binary operation x that meets certain axioms:
Binary operation is associative.
There is an identity element in G.
Each element in G has an inverse under the operation.
Example
Let * defined under Q+ as a*b = ab.
Check properties:
Closed: If a, b ∈ Q+, ab ∈ Q+.
Associative: Demonstrated by a, b, c ∈ Q+.
Page 12: Identity and Inverse Elements
Identity Element
If S is a set with a binary operation, e is an identity if for all x ∈ S, ex = x and xe = x.
Inverse Element
An element a' is an inverse of a if a * a' = e.
Page 18: Order of Groups
Definition
The order of a group G is defined as the number of elements in G, denoted |G|.
For finite groups, the possible orders of subgroups relate to factors of |G|.
Page 22: Isomorphic Groups
Definition
Two groups G and H are isomorphic if there is a bijective homomorphism between them.
Page 64: Lagrange's Theorem
Theorem
If H is a subgroup of finite group G, then the order of H divides the order of G.
Page 84: Kernel of a Homomorphism
Definition
The kernel of a homomorphism d: G → H consists of elements x ∈ G such that d(x) = e_H (the identity in H).
Significance
Indicates a normal subgroup if the kernel is a subgroup of G.