SlideShare a Scribd company logo
Abstract Algebra
Abstract Algebra
Gemma P. Salasalan,Ph.D
Institute of Arts and Sciences
Davao del Sur State College
Matti, Digos City
January 2022
Gemma P. Salasalan,Ph.D Abstract Algebra
Abstract Algebra
Textbook: Algebra by Hungerford
References:
1. Fundamental Abstract Algebra by Malik
2. Abstract Algebra by Fraleigh
Gemma P. Salasalan,Ph.D Abstract Algebra
Abstract Algebra
Sets
The composition of Real Numbers
Gemma P. Salasalan,Ph.D Abstract Algebra
Abstract Algebra
Sets
Definition 1.1.
A set is a collection of objects. A set S with only a finite number of
elements is called a finite set; otherwise S is called an infinite set. We
let |S| denote the number of elements of S. We denote a finite set by a
listing of its elements within braces {}.
Given a set S, we use the notation x ∈ S and x < S to mean x is a member
{element} of S and x is not a member {element} of S, respectively.
Definition 1.2.
A set A is said to be a subset of a set S if every element of A is an
element of S. In this case, we write A βŠ† S and say that A is contained in
S. If A βŠ† S, but A , S, then we write A βŠ‚ S and say that A is a proper
subset of S.
Gemma P. Salasalan,Ph.D Abstract Algebra
Abstract Algebra
Sets
Theorem 1.3.
Let A and B be sets. Then A = B if and only if A βŠ† B and B βŠ† A.
Gemma P. Salasalan,Ph.D Abstract Algebra
Abstract Algebra
Sets
Definition 1.4.
The null set or empty set is the set with no elements. We usually
denote the empty set by βˆ…. For any set A, we have βˆ… βŠ† A.
Given a set S, the notation
A = {x ∈ S|P(x)}
Definition 1.5.
Definition 1.6.
Gemma P. Salasalan,Ph.D Abstract Algebra
Abstract Algebra
Sets
Definition 1.7.
Gemma P. Salasalan,Ph.D Abstract Algebra
Abstract Algebra
Sets
Example 1.8.
Gemma P. Salasalan,Ph.D Abstract Algebra
Abstract Algebra
Sets
Gemma P. Salasalan,Ph.D Abstract Algebra
Abstract Algebra
Sets
Definition 1.9.
Gemma P. Salasalan,Ph.D Abstract Algebra
Abstract Algebra
Sets
Example 1.10.
Let A = {1, 2, 3, 4} and B = {3, 4, 5, 6}. Then AB = {1, 2}.
Definition 1.11.
Gemma P. Salasalan,Ph.D Abstract Algebra
Abstract Algebra
Sets
Example 1.12.
Let (x, y), (z, w) ∈ A Γ— B. Show that (x, y) = (z, w) if and only if x = z
and y = w.
Gemma P. Salasalan,Ph.D Abstract Algebra
Abstract Algebra
Sets
Definition 1.13.
For a subset A of a set S, let Aβ€²
denote the subset SA. Aβ€²
is called the
complement of A in S.
Gemma P. Salasalan,Ph.D Abstract Algebra
Abstract Algebra
Arithmetic in Z
Definition 2.1 (Well-ordering Principle).
Every nonempty subset of the set of nonnegative integers contains a
smallest element.
Example 2.2.
1. The set of Natural Numbers N is a well-ordered set.
2. The open interval (0, 2) is a non-empty subset of R but it has no
smallest element.
Consider the following grade-school division problem:
Gemma P. Salasalan,Ph.D Abstract Algebra
Abstract Algebra
Arithmetic in Z
Denote aβˆ’ dividend, bβˆ’ divisor, qβˆ’ quotient and rβˆ’ remainder
Theorem 2.3 (The Division Algorithm).
Let a, b be integers with b > 0. Then there exist unique integers q and r
such that
a = bq + r and 0 ≀ r < b.
Example 2.4.
Gemma P. Salasalan,Ph.D Abstract Algebra
Abstract Algebra
Arithmetic in Z
Proof :
Suppose a, b ∈ Z and b > 0. Consider
S = {a βˆ’ bq|q ∈ Z and a βˆ’ d β‰₯ 0}.
We need to show that:
1. S , βˆ….
2. By WOP, we can find a least element r βˆ‹ r < b.
2. Uniqueness, that is, r and q are unique.
1. Consider the following cases:
Case 1. a β‰₯ 0.
We take q = 0, then a βˆ’ bq = a βˆ’ b(0) = a . This implies that a ∈ S.
Case 2. a < 0 .
We take q = a, then a βˆ’ b(a) = a(1 βˆ’ b). Note that a < 0 , b > 0 (from
assumption), and a(1 βˆ’ b) β‰₯ 0 . This implies that a βˆ’ b(a) ∈ S.
Thus, S , βˆ…. By WOP, S has a least element r = a βˆ’ bq for some integer
q. Hence, a = bq + r and r β‰₯ 0.
Gemma P. Salasalan,Ph.D Abstract Algebra
Abstract Algebra
Arithmetic in Z
Proof : cont...
2. Suppose r β‰₯ b. Then r = b + r’ , where 0 ≀ rβ€²
< r. So,
a = bq + r = bq + b + rβ€²
= (q + 1)b + rβ€²
, so that rβ€²
= a βˆ’ (q + 1)b is an element of S smaller than r. This
contradicts the fact that r is the least element of S. Thus, r < d.
3. Suppose that there are integers q1 and r1 such that a = bq1 + r1 and
0 ≀ r1 < b. We need to show that, q1 = q and r1 = r.
Since a = bq + r and a = bq1 + r1, we have
bq + r = bq1 + r1
so,
b(q βˆ’ q1) = r1 βˆ’ r (1)
Note that,
0 ≀ r < b (2)
0 ≀ r1 < b (3)
Gemma P. Salasalan,Ph.D Abstract Algebra
Abstract Algebra
Arithmetic in Z
Multiplying βˆ’1 to inequality (2), we obtain
βˆ’b ≀ βˆ’r < 0 (4)
0 ≀ r1 < b (2)
Adding these two inequalities
βˆ’b < r1 βˆ’ r ≀ b
βˆ’b < b(q βˆ’ q1) < b from Equation (1)
βˆ’1 < q βˆ’ q1 < 1 Divide each term by b
But q βˆ’ q1 is an integer (because q and q1 are integers) and the only
integer strictly between -1 and 1 is 0. Therefore q βˆ’ q1 = 0 and q = q1.
Substituting q βˆ’ q1 = 0 in Equation (1),
b(q βˆ’ q1) = r1 βˆ’ r (1)
b(0) = r1 βˆ’ r
0 = r1 βˆ’ r
r1 = r.
Thus the quotient and remainder are unique. 
Gemma P. Salasalan,Ph.D Abstract Algebra
Abstract Algebra
Arithmetic in Z
Definition 2.5 (Divisibility).
Let a and b be integers with b , 0. We say that b divides a (or that b is a
divisor of a, or that b is a factor of a) if a = bc for some integer c. In
symbols,”b divides a” is written b|a and ”b does not divide a” is written
b ∀ a.
Example 2.6.
3|24 because 24 = 3 β€’ 8, but 3 ∀ 17. Negative divisors are allowed: βˆ’6|54
because 54 = (βˆ’6)(βˆ’9), but βˆ’6 ∀ βˆ’13.
Gemma P. Salasalan,Ph.D Abstract Algebra
Abstract Algebra
Arithmetic in Z
Remark 2.7.
1. If b divides a, then a = bc for some c. Hence βˆ’a = b(βˆ’c), so that
b|(βˆ’a). An analogous argument shows that every divisor of βˆ’a is also
a divisor of a. Therefore, a and βˆ’a have the same divisors.
2. Suppose a , 0 and b|a. Then a = bc, so that |a| = |b||c|.
Consequently, 0 ≀ |b| ≀ |a|. This last inequality is equivalent to
βˆ’|a| ≀ |b| ≀ |a| . Therefore
i. every divisor of the nonzero integer a is less than or equal to |a|;
ii. nonzero integer has only finitely many divisors.
Gemma P. Salasalan,Ph.D Abstract Algebra
Abstract Algebra
Arithmetic in Z
Definition 2.8.
Let a and b be integers, not both 0. The greatest common divisor
(gcd) of a and b is the largest integer d that divides both a and b. In other
words, d is the gcd of a and b provided that
1. d|a and d|b;
2. if c|a and c|b, then c ≀ d.
The greatest common divisor of a and b is usually denoted GCD(a, b).
Definition 2.9.
If p is an integer greater than 1, then p is a prime number if the only
divisors of p are 1 and p. A positive integer greater than 1 that is not a
prime number is called composite.
Example 2.10.
The greatest common divisor of 12 and 30 is 6, that is, GCD(12, 30) = 6.
The only common divisors of 10 and 21 are 1 and βˆ’1. Hence
GCD(10, 21) = 1. Two integers whose greatest common divisor is 1, such
as 10 and 21, are said to be relatively prime.
Gemma P. Salasalan,Ph.D Abstract Algebra
Abstract Algebra
Arithmetic in Z
Example 2.11.
Here are some examples to illustrate the definitions above.
1. GCD(45, 60) = 15, since 45 = 15 β€’ 3 and 60 = 15 β€’ 4 and 15 is the
largest number that divides both 45 and 60.
2. 45 and 60 are not relatively prime.
3. 45 and 16 are relatively prime since GCD(45, 16) = 1.
Gemma P. Salasalan,Ph.D Abstract Algebra
Abstract Algebra
Arithmetic in Z
Theorem 2.12.
Let a and b be integers, not both 0, and let d be their greatest common
divisor. Then there exist (not necessarily unique) integers u and v such
that d = au + bv.
Proof :
Let S be the set of all linear combinations of a and b, that is
S = {am + bn|m, n ∈ Z}.
Step 1. Find the smallest positive element of S.
Note that a2
+ b2
= aa + bb is in S and a2
+ b2
β‰₯ 0. Since a and b are not
both 0, a2
+ b2
must be positive. By WOP, S contains positive integer
and hence, contains a least element. Let t be the smallest positive integer
in S. Hence, we can write t = au + bv for some integers u and v.
Gemma P. Salasalan,Ph.D Abstract Algebra
Abstract Algebra
Arithmetic in Z
Proof : cont... Step 2. Prove that t is the gcd of a and b, that is, t = d
We must prove that t satisfies the two conditions in the definition of the
gcd:
1. t|a and t|b;
2. if c|a and c|b, then c ≀ t.
Proof of (1): By the Division Algorithm, there are integers q and r such
that
a = tq + r , with 0 ≀ r  t.
Consequently,
r = a βˆ’ tq, (1)
r = a βˆ’ (au + bv)q = a βˆ’ aqu βˆ’ bvq, (2)
r = a(1 βˆ’ qu) + b(βˆ’vq) (3)
Thus r is a linear combination of a and b, and hence r ∈ S.
Gemma P. Salasalan,Ph.D Abstract Algebra
Abstract Algebra
Arithmetic in Z
Since r  t (the smallest positive element of S), we know that r is not
positive. Since r β‰₯ 0, the only possibility is that r = 0. Therefore,
a = tq + r = tq + 0 = tq so that t|a.
Similarly, t|b. Hence, t is a common divisor of a and b.
Proof of (2): Let c be any other common divisor of a and b, so that c|a
and c|b. Then a = ck and b = cs for some integers k and s. Consequently,
t = au + bv = (ck)u + (cs)v (4)
= c(ku + sv). (5)
This implies that c|t. Hence, c ≀ |t| by Remark 2.7 . But t is positive, so
|t| = t. Thus, c ≀ t. This implies that t is the greatest common divisor d.

Gemma P. Salasalan,Ph.D Abstract Algebra
Abstract Algebra
Arithmetic in Z
Corollary 2.13.
Let a and b be integers, not both 0, and let d be a positive integer. Then d
is the greatest common divisor of a and b if and only if d satisfies these
conditions:
i. d|a and d|b;
i. if c|a and c|b, then c|d.
Gemma P. Salasalan,Ph.D Abstract Algebra
Abstract Algebra
Arithmetic in Z
Theorem 2.14.
If a|bc and (a, b) = 1, then a|c.
Proof :
Since (a, b) = 1, Theorem 2.12 shows that au + bv = 1 for some integers u
and v. Multiplying this equation by c shows that acu + bcv = c. But a|bc,
so that bc = ar for some r. Therefore,
c = acu + bcv = acu + (ar)v = a(cu + ro).
This shows that a|c. 
Gemma P. Salasalan,Ph.D Abstract Algebra
Abstract Algebra
Arithmetic in Z
Congruence and Congruence Classes
Congruence and Congruence
Classes
Gemma P. Salasalan,Ph.D Abstract Algebra
Abstract Algebra
Arithmetic in Z
Congruence and Congruence Classes
Definition 2.15.
Let a,b, n be integers with n  0. Then a is congruent to b modulo n
[written ”a = b(modn)”], provided that n divides a βˆ’ b.
Example 2.16.
1. 17 = 5(mod6) because 6 divides 17 βˆ’ 5 = 12.
2. 4 = 25(mod7) because 7 divides 4 βˆ’ 25 = βˆ’21.
Gemma P. Salasalan,Ph.D Abstract Algebra
Abstract Algebra
Arithmetic in Z
Relation and Operations
Relation and Operations
Gemma P. Salasalan,Ph.D Abstract Algebra
Abstract Algebra
Arithmetic in Z
Relation and Operations
Definition 2.17.
A relation R on a set S (more precisely, a binary relation on S, since it
will be a relation between pairs of elements of S) is a subset of S x S.
Example 2.18.
Let S = {2, 3, 5, 6} and let R mean ”divides.” Since
2R2, 2R6, 3R3, 3R6, 5R5, 6R6, we have
R = {(2, 2), (6, 2), (3, 3), (6, 3), (5, 5), (6, 6)}.
PROPERTIES OF BINARY RELATIONS
Let R be a relation on a set S and a, b, c ∈ S. Then
1. R is called reflexive if aRa for every a ∈ S.
2. R is called symmetric if whenever aRb then bRa.
2. R is called transitive if whenever aRb and bRc then aRc.
Gemma P. Salasalan,Ph.D Abstract Algebra
Abstract Algebra
Arithmetic in Z
Relation and Operations
Example 2.19.
1. Let R be the set of real numbers and R mean β€œis less than or equal
to.” Thus, any number is less than or equal to itself so R is reflexive.
2. Let R be the set of real numbers and R mean β€œis less than or equal
to.” Now 3 is less than or equal to 5 but 5 is not less than or equal to
3. Hence R is not symmetric.
β€’ Let R be the set of real numbers and R mean β€œis less than or equal
to.” If x ≀ y and y ≀ z, then x ≀ z. Hence, R is transitive.
Definition 2.20.
A relation R on a set S is called an equivalence relation on S when R is
reflexive, symmetric and transitive.
Gemma P. Salasalan,Ph.D Abstract Algebra
Abstract Algebra
Arithmetic in Z
Relation and Operations
EQUIVALENCE SETS
Gemma P. Salasalan,Ph.D Abstract Algebra
Abstract Algebra
Arithmetic in Z
Relation and Operations
Definition 2.21 (Equivalence set or Equivalence class).
Let S be a set and R be an equivalence relation on S. If a ∈ S, the
elements y ∈ S satisfying yRa constitute a subset, [a], of S, called an
equivalence set or equivalence class.
Thus, formally,
[a] = {y : y ∈ S, yRa}
Gemma P. Salasalan,Ph.D Abstract Algebra
Abstract Algebra
Arithmetic in Z
Relation and Operations
Theorem 2.22.
Gemma P. Salasalan,Ph.D Abstract Algebra
Abstract Algebra
Arithmetic in Z
Relation and Operations
Definition 2.23 (Partition).
A set {A, B, C, ...} of non empty subsets of a set S will be called a
partition of S provided
1. A βˆͺ B βˆͺ Cβˆͺ, ... = S
2. The intersection of every pair of distinct subsets is the empty set.
Theorem 2.24.
Gemma P. Salasalan,Ph.D Abstract Algebra
Abstract Algebra
Arithmetic in Z
Relation and Operations
Example 2.25.
Let a relation ∼ be defined on the set R of real numbers by xRy if and
only if |x| = |y|. Show that ∼ is an equivalence relation.
Solution:
1. Let a ∈ R. Then |a| = |a|. So a ∼ a and R is reflexive.
2. Let a, b ∈ R and suppose that a ∼ b. Then |a| = |b|. So |b| = |a|.
Thus, b ∼ a and R is symmetric.
3. Let a, b, c ∈ R and suppose that a ∼ b and b ∼ c. Then |a| = |b| and
|b| = |c|. So |a| = |c|. Thus, a ∼ c and R is transitive.
Therefore, R is an equivalence relation on R.
Gemma P. Salasalan,Ph.D Abstract Algebra
Abstract Algebra
Arithmetic in Z
Relation and Operations
Example 2.26.
Consider the set S = R where x ∼ y if and only if x2
= y2
. Prove that ∼
is an equivalence relation on S.
Proof :
Let x, y, z ∈ S.
i. Since x2
= x2
βˆ€ x ∈ S. So, x ∼ x and ∼ is reflexive.
ii. Suppose x ∼ y. Then x2
= y2
.
Note that y2
= x2
. So, y ∼ x and ∼ is symmetric.
iii. Suppose x ∼ y and y ∼ z. Then x2
= y2
and y2
= z2
.
x2
= y2
β‡’ = z2
Thus, x ∼ z and ∼ is an equivalence relation on S.
Gemma P. Salasalan,Ph.D Abstract Algebra
Abstract Algebra
Problem Set I
Submit your output @google classroom and handwritten @ DSSC
guardhouse addressed to Dr. Gemma P. Salasalan .
1. Prove or disprove. Let a, b, c, d ∈ Z.
a. If a|b and a|c, then a|(b + c).
b. If ab|cd, then a|c and a|d.
2. Given a set S and a relation ∼ on S. Check if ∼ is an equivalence
relation on S. If ∼ is not an equivalence relation on S, provide
counterexample.
a. S = R where a ∼ b iff a ≀ b.
b. S = Z where a ∼ b iff a|b.
c. S is a set of subsets of N where A ∼ B iff A βŠ† B.
3. Prove for sets A and B that A βŠ† B if and only if A βˆͺ B = B.
4. Prove that (A ∩ B)β€²
= Aβ€²
βˆͺ Bβ€²
.
Gemma P. Salasalan,Ph.D Abstract Algebra
Abstract Algebra
Lesson 2
Operations
Definition 4.1.
A binary operation β€œ * ” on a non-empty set S is a mapping which
associates with each ordered pair (a, b) of elements of S a uniquely defined
element a βˆ— b of S.
A binary operation on a set S is a mapping of S Γ— S into S.
βˆ— : S Γ— S β†’ S such that a βˆ— b ∈ S, βˆ€ a, b ∈ S
Example 4.2.
Let S = 0, 1, 2, 3, 4. Neither addition or multiplication are binary operation
on set S. Since 2 + 3 = 5  S and 2 Β· 3 = 6  S.
Gemma P. Salasalan,Ph.D Abstract Algebra
Abstract Algebra
Lesson 2
Operations
Properties of Binary Operation
i. Closure
A binary operation βˆ— on a non-empty set S has closure property, if
a ∈ S, b ∈ S β‡’ a βˆ— b ∈ S.
ii. Associative
The associative property of binary operations holds if, for a
non-empty set S, we can write (a βˆ— b) βˆ— c = a βˆ— (b βˆ— c), where a, b, c ∈ S.
iii. Commutative
A binary operation * on a non-empty set S is commutative, if
a βˆ— b = b βˆ— a, for all (a, b) ∈ S.
iv. Identity
A set S is said to have an identity element with respect to a binary
operation * on S if there exists an element e ∈ S with the property
e βˆ— x = x βˆ— e = x for every x ∈ S:
Gemma P. Salasalan,Ph.D Abstract Algebra
Abstract Algebra
Lesson 2
Operations
iv. Inverse
Consider a set S having the identity element e with respect to a
binary operation *. An element y ∈ S is called an inverse of x ∈ S
provided that, x βˆ— y = y βˆ— x = e. We can write, y = aβˆ’1
.
Definition 4.3.
Gemma P. Salasalan,Ph.D Abstract Algebra
Abstract Algebra
Lesson 2
Operations
Example 4.4.
Gemma P. Salasalan,Ph.D Abstract Algebra

More Related Content

Similar to Abstract Algebra Beamer Lesson1

Set and Set operations, UITM KPPIM DUNGUN
Set and Set operations, UITM KPPIM DUNGUNSet and Set operations, UITM KPPIM DUNGUN
Set and Set operations, UITM KPPIM DUNGUN
baberexha
Β 
Ch1 sets and_logic(1)
Ch1 sets and_logic(1)Ch1 sets and_logic(1)
Ch1 sets and_logic(1)Kwonpyo Ko
Β 
Set theory self study material
Set theory  self study materialSet theory  self study material
Set theory self study material
DrATAMILARASIMCA
Β 
Toc chapter 1 srg
Toc chapter 1 srgToc chapter 1 srg
Toc chapter 1 srg
Shayak Giri
Β 
Sets functions-sequences-exercises
Sets functions-sequences-exercisesSets functions-sequences-exercises
Sets functions-sequences-exercises
Roshayu Mohamad
Β 
Inmo 2010 problems and solutions
Inmo 2010 problems and solutionsInmo 2010 problems and solutions
Inmo 2010 problems and solutionsaskiitians
Β 
SETS - Vedantu.pdf
SETS - Vedantu.pdfSETS - Vedantu.pdf
SETS - Vedantu.pdf
AneeshRenu
Β 
Well-Ordering Principle
Well-Ordering Principle Well-Ordering Principle
Well-Ordering Principle
Yassirdino
Β 
Chap2_SETS_PDF.pdf
Chap2_SETS_PDF.pdfChap2_SETS_PDF.pdf
Chap2_SETS_PDF.pdf
RatipornChomrit
Β 
Solution Manual for First Course in Abstract Algebra A, 8th Edition by John B...
Solution Manual for First Course in Abstract Algebra A, 8th Edition by John B...Solution Manual for First Course in Abstract Algebra A, 8th Edition by John B...
Solution Manual for First Course in Abstract Algebra A, 8th Edition by John B...
ssifa0344
Β 
Pigeonhole Principle,Cardinality,Countability
Pigeonhole Principle,Cardinality,CountabilityPigeonhole Principle,Cardinality,Countability
Pigeonhole Principle,Cardinality,Countability
Kiran Munir
Β 
01_Sets.pdf
01_Sets.pdf01_Sets.pdf
01_Sets.pdf
RAMESH Mojjada
Β 
22nd inmo 07
22nd inmo 0722nd inmo 07
22nd inmo 07askiitians
Β 
Daryl
DarylDaryl
Daryl
daryl_khulitz
Β 
Relation function
Relation functionRelation function
Relation functionBiswa Nayak
Β 
Relation function
Relation functionRelation function
Relation functionmentorsnet
Β 

Similar to Abstract Algebra Beamer Lesson1 (20)

2 homework
2 homework2 homework
2 homework
Β 
Set and Set operations, UITM KPPIM DUNGUN
Set and Set operations, UITM KPPIM DUNGUNSet and Set operations, UITM KPPIM DUNGUN
Set and Set operations, UITM KPPIM DUNGUN
Β 
Ch1 sets and_logic(1)
Ch1 sets and_logic(1)Ch1 sets and_logic(1)
Ch1 sets and_logic(1)
Β 
Set theory self study material
Set theory  self study materialSet theory  self study material
Set theory self study material
Β 
Toc chapter 1 srg
Toc chapter 1 srgToc chapter 1 srg
Toc chapter 1 srg
Β 
Sets functions-sequences-exercises
Sets functions-sequences-exercisesSets functions-sequences-exercises
Sets functions-sequences-exercises
Β 
Inmo 2010 problems and solutions
Inmo 2010 problems and solutionsInmo 2010 problems and solutions
Inmo 2010 problems and solutions
Β 
Aed.pptx
Aed.pptxAed.pptx
Aed.pptx
Β 
SETS - Vedantu.pdf
SETS - Vedantu.pdfSETS - Vedantu.pdf
SETS - Vedantu.pdf
Β 
Well-Ordering Principle
Well-Ordering Principle Well-Ordering Principle
Well-Ordering Principle
Β 
4898850.ppt
4898850.ppt4898850.ppt
4898850.ppt
Β 
Chap2_SETS_PDF.pdf
Chap2_SETS_PDF.pdfChap2_SETS_PDF.pdf
Chap2_SETS_PDF.pdf
Β 
Solution Manual for First Course in Abstract Algebra A, 8th Edition by John B...
Solution Manual for First Course in Abstract Algebra A, 8th Edition by John B...Solution Manual for First Course in Abstract Algebra A, 8th Edition by John B...
Solution Manual for First Course in Abstract Algebra A, 8th Edition by John B...
Β 
Pigeonhole Principle,Cardinality,Countability
Pigeonhole Principle,Cardinality,CountabilityPigeonhole Principle,Cardinality,Countability
Pigeonhole Principle,Cardinality,Countability
Β 
01_Sets.pdf
01_Sets.pdf01_Sets.pdf
01_Sets.pdf
Β 
Probability theory
Probability theoryProbability theory
Probability theory
Β 
22nd inmo 07
22nd inmo 0722nd inmo 07
22nd inmo 07
Β 
Daryl
DarylDaryl
Daryl
Β 
Relation function
Relation functionRelation function
Relation function
Β 
Relation function
Relation functionRelation function
Relation function
Β 

More from Monica Waters

020 Buy Custom Essay Sample Office Absent Lett
020 Buy Custom Essay Sample Office Absent Lett020 Buy Custom Essay Sample Office Absent Lett
020 Buy Custom Essay Sample Office Absent Lett
Monica Waters
Β 
How To Write An Opinion Essay Essay Tigers
How To Write An Opinion Essay Essay TigersHow To Write An Opinion Essay Essay Tigers
How To Write An Opinion Essay Essay Tigers
Monica Waters
Β 
Essay Contest Opens For High School Students NIH Record
Essay Contest Opens For High School Students  NIH RecordEssay Contest Opens For High School Students  NIH Record
Essay Contest Opens For High School Students NIH Record
Monica Waters
Β 
Edit My College Essay. 10 Most Common College Es
Edit My College Essay. 10 Most Common College EsEdit My College Essay. 10 Most Common College Es
Edit My College Essay. 10 Most Common College Es
Monica Waters
Β 
Crown Mill Luxury Letter Writing Pa
Crown Mill Luxury Letter Writing PaCrown Mill Luxury Letter Writing Pa
Crown Mill Luxury Letter Writing Pa
Monica Waters
Β 
Persuasive Writing Paragraph. How To Write A
Persuasive Writing Paragraph. How To Write APersuasive Writing Paragraph. How To Write A
Persuasive Writing Paragraph. How To Write A
Monica Waters
Β 
How Does Nurture Influence Development. How Does N
How Does Nurture Influence Development. How Does NHow Does Nurture Influence Development. How Does N
How Does Nurture Influence Development. How Does N
Monica Waters
Β 
View Formal Essay Examples For High Schoo
View Formal Essay Examples For High SchooView Formal Essay Examples For High Schoo
View Formal Essay Examples For High Schoo
Monica Waters
Β 
Evaluation Argument Essay Telegraph
Evaluation Argument Essay  TelegraphEvaluation Argument Essay  Telegraph
Evaluation Argument Essay Telegraph
Monica Waters
Β 
Introduction In An Essay. What Shoul
Introduction In An Essay. What ShoulIntroduction In An Essay. What Shoul
Introduction In An Essay. What Shoul
Monica Waters
Β 
Argumentative Essay Best A
Argumentative Essay  Best AArgumentative Essay  Best A
Argumentative Essay Best A
Monica Waters
Β 
Writing Cause And Effect Essay Examples - Definitiv
Writing Cause And Effect Essay Examples - DefinitivWriting Cause And Effect Essay Examples - Definitiv
Writing Cause And Effect Essay Examples - Definitiv
Monica Waters
Β 
How To Write A Compare And Contrast Essay Example. C
How To Write A Compare And Contrast Essay Example. CHow To Write A Compare And Contrast Essay Example. C
How To Write A Compare And Contrast Essay Example. C
Monica Waters
Β 
Custom Writing Pros Cheap Custom Ess
Custom Writing Pros Cheap Custom EssCustom Writing Pros Cheap Custom Ess
Custom Writing Pros Cheap Custom Ess
Monica Waters
Β 
How Serious Is Essay Plagiarism Students The Guardian
How Serious Is Essay Plagiarism  Students  The GuardianHow Serious Is Essay Plagiarism  Students  The Guardian
How Serious Is Essay Plagiarism Students The Guardian
Monica Waters
Β 
Website That Writes An Essay For You
Website That Writes An Essay For YouWebsite That Writes An Essay For You
Website That Writes An Essay For You
Monica Waters
Β 
Essay Websites Examples Of Satire Essays
Essay Websites Examples Of Satire EssaysEssay Websites Examples Of Satire Essays
Essay Websites Examples Of Satire Essays
Monica Waters
Β 
Essay Essaytips Essay University Ex
Essay Essaytips Essay University ExEssay Essaytips Essay University Ex
Essay Essaytips Essay University Ex
Monica Waters
Β 
Writing An Abstract For Your Research Paper The Writing Center UW ...
Writing An Abstract For Your Research Paper  The Writing Center  UW ...Writing An Abstract For Your Research Paper  The Writing Center  UW ...
Writing An Abstract For Your Research Paper The Writing Center UW ...
Monica Waters
Β 
Analytical Essay My First Day At School Short Essay
Analytical Essay My First Day At School Short EssayAnalytical Essay My First Day At School Short Essay
Analytical Essay My First Day At School Short Essay
Monica Waters
Β 

More from Monica Waters (20)

020 Buy Custom Essay Sample Office Absent Lett
020 Buy Custom Essay Sample Office Absent Lett020 Buy Custom Essay Sample Office Absent Lett
020 Buy Custom Essay Sample Office Absent Lett
Β 
How To Write An Opinion Essay Essay Tigers
How To Write An Opinion Essay Essay TigersHow To Write An Opinion Essay Essay Tigers
How To Write An Opinion Essay Essay Tigers
Β 
Essay Contest Opens For High School Students NIH Record
Essay Contest Opens For High School Students  NIH RecordEssay Contest Opens For High School Students  NIH Record
Essay Contest Opens For High School Students NIH Record
Β 
Edit My College Essay. 10 Most Common College Es
Edit My College Essay. 10 Most Common College EsEdit My College Essay. 10 Most Common College Es
Edit My College Essay. 10 Most Common College Es
Β 
Crown Mill Luxury Letter Writing Pa
Crown Mill Luxury Letter Writing PaCrown Mill Luxury Letter Writing Pa
Crown Mill Luxury Letter Writing Pa
Β 
Persuasive Writing Paragraph. How To Write A
Persuasive Writing Paragraph. How To Write APersuasive Writing Paragraph. How To Write A
Persuasive Writing Paragraph. How To Write A
Β 
How Does Nurture Influence Development. How Does N
How Does Nurture Influence Development. How Does NHow Does Nurture Influence Development. How Does N
How Does Nurture Influence Development. How Does N
Β 
View Formal Essay Examples For High Schoo
View Formal Essay Examples For High SchooView Formal Essay Examples For High Schoo
View Formal Essay Examples For High Schoo
Β 
Evaluation Argument Essay Telegraph
Evaluation Argument Essay  TelegraphEvaluation Argument Essay  Telegraph
Evaluation Argument Essay Telegraph
Β 
Introduction In An Essay. What Shoul
Introduction In An Essay. What ShoulIntroduction In An Essay. What Shoul
Introduction In An Essay. What Shoul
Β 
Argumentative Essay Best A
Argumentative Essay  Best AArgumentative Essay  Best A
Argumentative Essay Best A
Β 
Writing Cause And Effect Essay Examples - Definitiv
Writing Cause And Effect Essay Examples - DefinitivWriting Cause And Effect Essay Examples - Definitiv
Writing Cause And Effect Essay Examples - Definitiv
Β 
How To Write A Compare And Contrast Essay Example. C
How To Write A Compare And Contrast Essay Example. CHow To Write A Compare And Contrast Essay Example. C
How To Write A Compare And Contrast Essay Example. C
Β 
Custom Writing Pros Cheap Custom Ess
Custom Writing Pros Cheap Custom EssCustom Writing Pros Cheap Custom Ess
Custom Writing Pros Cheap Custom Ess
Β 
How Serious Is Essay Plagiarism Students The Guardian
How Serious Is Essay Plagiarism  Students  The GuardianHow Serious Is Essay Plagiarism  Students  The Guardian
How Serious Is Essay Plagiarism Students The Guardian
Β 
Website That Writes An Essay For You
Website That Writes An Essay For YouWebsite That Writes An Essay For You
Website That Writes An Essay For You
Β 
Essay Websites Examples Of Satire Essays
Essay Websites Examples Of Satire EssaysEssay Websites Examples Of Satire Essays
Essay Websites Examples Of Satire Essays
Β 
Essay Essaytips Essay University Ex
Essay Essaytips Essay University ExEssay Essaytips Essay University Ex
Essay Essaytips Essay University Ex
Β 
Writing An Abstract For Your Research Paper The Writing Center UW ...
Writing An Abstract For Your Research Paper  The Writing Center  UW ...Writing An Abstract For Your Research Paper  The Writing Center  UW ...
Writing An Abstract For Your Research Paper The Writing Center UW ...
Β 
Analytical Essay My First Day At School Short Essay
Analytical Essay My First Day At School Short EssayAnalytical Essay My First Day At School Short Essay
Analytical Essay My First Day At School Short Essay
Β 

Recently uploaded

How to Split Bills in the Odoo 17 POS Module
How to Split Bills in the Odoo 17 POS ModuleHow to Split Bills in the Odoo 17 POS Module
How to Split Bills in the Odoo 17 POS Module
Celine George
Β 
Mule 4.6 & Java 17 Upgrade | MuleSoft Mysore Meetup #46
Mule 4.6 & Java 17 Upgrade | MuleSoft Mysore Meetup #46Mule 4.6 & Java 17 Upgrade | MuleSoft Mysore Meetup #46
Mule 4.6 & Java 17 Upgrade | MuleSoft Mysore Meetup #46
MysoreMuleSoftMeetup
Β 
Supporting (UKRI) OA monographs at Salford.pptx
Supporting (UKRI) OA monographs at Salford.pptxSupporting (UKRI) OA monographs at Salford.pptx
Supporting (UKRI) OA monographs at Salford.pptx
Jisc
Β 
The Challenger.pdf DNHS Official Publication
The Challenger.pdf DNHS Official PublicationThe Challenger.pdf DNHS Official Publication
The Challenger.pdf DNHS Official Publication
Delapenabediema
Β 
Overview on Edible Vaccine: Pros & Cons with Mechanism
Overview on Edible Vaccine: Pros & Cons with MechanismOverview on Edible Vaccine: Pros & Cons with Mechanism
Overview on Edible Vaccine: Pros & Cons with Mechanism
DeeptiGupta154
Β 
Digital Tools and AI for Teaching Learning and Research
Digital Tools and AI for Teaching Learning and ResearchDigital Tools and AI for Teaching Learning and Research
Digital Tools and AI for Teaching Learning and Research
Vikramjit Singh
Β 
Synthetic Fiber Construction in lab .pptx
Synthetic Fiber Construction in lab .pptxSynthetic Fiber Construction in lab .pptx
Synthetic Fiber Construction in lab .pptx
Pavel ( NSTU)
Β 
Template Jadual Bertugas Kelas (Boleh Edit)
Template Jadual Bertugas Kelas (Boleh Edit)Template Jadual Bertugas Kelas (Boleh Edit)
Template Jadual Bertugas Kelas (Boleh Edit)
rosedainty
Β 
Thesis Statement for students diagnonsed withADHD.ppt
Thesis Statement for students diagnonsed withADHD.pptThesis Statement for students diagnonsed withADHD.ppt
Thesis Statement for students diagnonsed withADHD.ppt
EverAndrsGuerraGuerr
Β 
Model Attribute Check Company Auto Property
Model Attribute  Check Company Auto PropertyModel Attribute  Check Company Auto Property
Model Attribute Check Company Auto Property
Celine George
Β 
TESDA TM1 REVIEWER FOR NATIONAL ASSESSMENT WRITTEN AND ORAL QUESTIONS WITH A...
TESDA TM1 REVIEWER  FOR NATIONAL ASSESSMENT WRITTEN AND ORAL QUESTIONS WITH A...TESDA TM1 REVIEWER  FOR NATIONAL ASSESSMENT WRITTEN AND ORAL QUESTIONS WITH A...
TESDA TM1 REVIEWER FOR NATIONAL ASSESSMENT WRITTEN AND ORAL QUESTIONS WITH A...
EugeneSaldivar
Β 
Introduction to Quality Improvement Essentials
Introduction to Quality Improvement EssentialsIntroduction to Quality Improvement Essentials
Introduction to Quality Improvement Essentials
Excellence Foundation for South Sudan
Β 
GIÁO ÁN DαΊ Y THÊM (KαΊΎ HOαΊ CH BΓ€I BUα»”I 2) - TIαΊΎNG ANH 8 GLOBAL SUCCESS (2 CỘT) N...
GIÁO ÁN DαΊ Y THÊM (KαΊΎ HOαΊ CH BΓ€I BUα»”I 2) - TIαΊΎNG ANH 8 GLOBAL SUCCESS (2 CỘT) N...GIÁO ÁN DαΊ Y THÊM (KαΊΎ HOαΊ CH BΓ€I BUα»”I 2) - TIαΊΎNG ANH 8 GLOBAL SUCCESS (2 CỘT) N...
GIÁO ÁN DαΊ Y THÊM (KαΊΎ HOαΊ CH BΓ€I BUα»”I 2) - TIαΊΎNG ANH 8 GLOBAL SUCCESS (2 CỘT) N...
Nguyen Thanh Tu Collection
Β 
Chapter 3 - Islamic Banking Products and Services.pptx
Chapter 3 - Islamic Banking Products and Services.pptxChapter 3 - Islamic Banking Products and Services.pptx
Chapter 3 - Islamic Banking Products and Services.pptx
Mohd Adib Abd Muin, Senior Lecturer at Universiti Utara Malaysia
Β 
Palestine last event orientationfvgnh .pptx
Palestine last event orientationfvgnh .pptxPalestine last event orientationfvgnh .pptx
Palestine last event orientationfvgnh .pptx
RaedMohamed3
Β 
special B.ed 2nd year old paper_20240531.pdf
special B.ed 2nd year old paper_20240531.pdfspecial B.ed 2nd year old paper_20240531.pdf
special B.ed 2nd year old paper_20240531.pdf
Special education needs
Β 
Fish and Chips - have they had their chips
Fish and Chips - have they had their chipsFish and Chips - have they had their chips
Fish and Chips - have they had their chips
GeoBlogs
Β 
How to Make a Field invisible in Odoo 17
How to Make a Field invisible in Odoo 17How to Make a Field invisible in Odoo 17
How to Make a Field invisible in Odoo 17
Celine George
Β 
Operation Blue Star - Saka Neela Tara
Operation Blue Star   -  Saka Neela TaraOperation Blue Star   -  Saka Neela Tara
Operation Blue Star - Saka Neela Tara
Balvir Singh
Β 
aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
siemaillard
Β 

Recently uploaded (20)

How to Split Bills in the Odoo 17 POS Module
How to Split Bills in the Odoo 17 POS ModuleHow to Split Bills in the Odoo 17 POS Module
How to Split Bills in the Odoo 17 POS Module
Β 
Mule 4.6 & Java 17 Upgrade | MuleSoft Mysore Meetup #46
Mule 4.6 & Java 17 Upgrade | MuleSoft Mysore Meetup #46Mule 4.6 & Java 17 Upgrade | MuleSoft Mysore Meetup #46
Mule 4.6 & Java 17 Upgrade | MuleSoft Mysore Meetup #46
Β 
Supporting (UKRI) OA monographs at Salford.pptx
Supporting (UKRI) OA monographs at Salford.pptxSupporting (UKRI) OA monographs at Salford.pptx
Supporting (UKRI) OA monographs at Salford.pptx
Β 
The Challenger.pdf DNHS Official Publication
The Challenger.pdf DNHS Official PublicationThe Challenger.pdf DNHS Official Publication
The Challenger.pdf DNHS Official Publication
Β 
Overview on Edible Vaccine: Pros & Cons with Mechanism
Overview on Edible Vaccine: Pros & Cons with MechanismOverview on Edible Vaccine: Pros & Cons with Mechanism
Overview on Edible Vaccine: Pros & Cons with Mechanism
Β 
Digital Tools and AI for Teaching Learning and Research
Digital Tools and AI for Teaching Learning and ResearchDigital Tools and AI for Teaching Learning and Research
Digital Tools and AI for Teaching Learning and Research
Β 
Synthetic Fiber Construction in lab .pptx
Synthetic Fiber Construction in lab .pptxSynthetic Fiber Construction in lab .pptx
Synthetic Fiber Construction in lab .pptx
Β 
Template Jadual Bertugas Kelas (Boleh Edit)
Template Jadual Bertugas Kelas (Boleh Edit)Template Jadual Bertugas Kelas (Boleh Edit)
Template Jadual Bertugas Kelas (Boleh Edit)
Β 
Thesis Statement for students diagnonsed withADHD.ppt
Thesis Statement for students diagnonsed withADHD.pptThesis Statement for students diagnonsed withADHD.ppt
Thesis Statement for students diagnonsed withADHD.ppt
Β 
Model Attribute Check Company Auto Property
Model Attribute  Check Company Auto PropertyModel Attribute  Check Company Auto Property
Model Attribute Check Company Auto Property
Β 
TESDA TM1 REVIEWER FOR NATIONAL ASSESSMENT WRITTEN AND ORAL QUESTIONS WITH A...
TESDA TM1 REVIEWER  FOR NATIONAL ASSESSMENT WRITTEN AND ORAL QUESTIONS WITH A...TESDA TM1 REVIEWER  FOR NATIONAL ASSESSMENT WRITTEN AND ORAL QUESTIONS WITH A...
TESDA TM1 REVIEWER FOR NATIONAL ASSESSMENT WRITTEN AND ORAL QUESTIONS WITH A...
Β 
Introduction to Quality Improvement Essentials
Introduction to Quality Improvement EssentialsIntroduction to Quality Improvement Essentials
Introduction to Quality Improvement Essentials
Β 
GIÁO ÁN DαΊ Y THÊM (KαΊΎ HOαΊ CH BΓ€I BUα»”I 2) - TIαΊΎNG ANH 8 GLOBAL SUCCESS (2 CỘT) N...
GIÁO ÁN DαΊ Y THÊM (KαΊΎ HOαΊ CH BΓ€I BUα»”I 2) - TIαΊΎNG ANH 8 GLOBAL SUCCESS (2 CỘT) N...GIÁO ÁN DαΊ Y THÊM (KαΊΎ HOαΊ CH BΓ€I BUα»”I 2) - TIαΊΎNG ANH 8 GLOBAL SUCCESS (2 CỘT) N...
GIÁO ÁN DαΊ Y THÊM (KαΊΎ HOαΊ CH BΓ€I BUα»”I 2) - TIαΊΎNG ANH 8 GLOBAL SUCCESS (2 CỘT) N...
Β 
Chapter 3 - Islamic Banking Products and Services.pptx
Chapter 3 - Islamic Banking Products and Services.pptxChapter 3 - Islamic Banking Products and Services.pptx
Chapter 3 - Islamic Banking Products and Services.pptx
Β 
Palestine last event orientationfvgnh .pptx
Palestine last event orientationfvgnh .pptxPalestine last event orientationfvgnh .pptx
Palestine last event orientationfvgnh .pptx
Β 
special B.ed 2nd year old paper_20240531.pdf
special B.ed 2nd year old paper_20240531.pdfspecial B.ed 2nd year old paper_20240531.pdf
special B.ed 2nd year old paper_20240531.pdf
Β 
Fish and Chips - have they had their chips
Fish and Chips - have they had their chipsFish and Chips - have they had their chips
Fish and Chips - have they had their chips
Β 
How to Make a Field invisible in Odoo 17
How to Make a Field invisible in Odoo 17How to Make a Field invisible in Odoo 17
How to Make a Field invisible in Odoo 17
Β 
Operation Blue Star - Saka Neela Tara
Operation Blue Star   -  Saka Neela TaraOperation Blue Star   -  Saka Neela Tara
Operation Blue Star - Saka Neela Tara
Β 
aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
Β 

Abstract Algebra Beamer Lesson1

  • 1. Abstract Algebra Abstract Algebra Gemma P. Salasalan,Ph.D Institute of Arts and Sciences Davao del Sur State College Matti, Digos City January 2022 Gemma P. Salasalan,Ph.D Abstract Algebra
  • 2. Abstract Algebra Textbook: Algebra by Hungerford References: 1. Fundamental Abstract Algebra by Malik 2. Abstract Algebra by Fraleigh Gemma P. Salasalan,Ph.D Abstract Algebra
  • 3. Abstract Algebra Sets The composition of Real Numbers Gemma P. Salasalan,Ph.D Abstract Algebra
  • 4. Abstract Algebra Sets Definition 1.1. A set is a collection of objects. A set S with only a finite number of elements is called a finite set; otherwise S is called an infinite set. We let |S| denote the number of elements of S. We denote a finite set by a listing of its elements within braces {}. Given a set S, we use the notation x ∈ S and x < S to mean x is a member {element} of S and x is not a member {element} of S, respectively. Definition 1.2. A set A is said to be a subset of a set S if every element of A is an element of S. In this case, we write A βŠ† S and say that A is contained in S. If A βŠ† S, but A , S, then we write A βŠ‚ S and say that A is a proper subset of S. Gemma P. Salasalan,Ph.D Abstract Algebra
  • 5. Abstract Algebra Sets Theorem 1.3. Let A and B be sets. Then A = B if and only if A βŠ† B and B βŠ† A. Gemma P. Salasalan,Ph.D Abstract Algebra
  • 6. Abstract Algebra Sets Definition 1.4. The null set or empty set is the set with no elements. We usually denote the empty set by βˆ…. For any set A, we have βˆ… βŠ† A. Given a set S, the notation A = {x ∈ S|P(x)} Definition 1.5. Definition 1.6. Gemma P. Salasalan,Ph.D Abstract Algebra
  • 7. Abstract Algebra Sets Definition 1.7. Gemma P. Salasalan,Ph.D Abstract Algebra
  • 8. Abstract Algebra Sets Example 1.8. Gemma P. Salasalan,Ph.D Abstract Algebra
  • 9. Abstract Algebra Sets Gemma P. Salasalan,Ph.D Abstract Algebra
  • 10. Abstract Algebra Sets Definition 1.9. Gemma P. Salasalan,Ph.D Abstract Algebra
  • 11. Abstract Algebra Sets Example 1.10. Let A = {1, 2, 3, 4} and B = {3, 4, 5, 6}. Then AB = {1, 2}. Definition 1.11. Gemma P. Salasalan,Ph.D Abstract Algebra
  • 12. Abstract Algebra Sets Example 1.12. Let (x, y), (z, w) ∈ A Γ— B. Show that (x, y) = (z, w) if and only if x = z and y = w. Gemma P. Salasalan,Ph.D Abstract Algebra
  • 13. Abstract Algebra Sets Definition 1.13. For a subset A of a set S, let Aβ€² denote the subset SA. Aβ€² is called the complement of A in S. Gemma P. Salasalan,Ph.D Abstract Algebra
  • 14. Abstract Algebra Arithmetic in Z Definition 2.1 (Well-ordering Principle). Every nonempty subset of the set of nonnegative integers contains a smallest element. Example 2.2. 1. The set of Natural Numbers N is a well-ordered set. 2. The open interval (0, 2) is a non-empty subset of R but it has no smallest element. Consider the following grade-school division problem: Gemma P. Salasalan,Ph.D Abstract Algebra
  • 15. Abstract Algebra Arithmetic in Z Denote aβˆ’ dividend, bβˆ’ divisor, qβˆ’ quotient and rβˆ’ remainder Theorem 2.3 (The Division Algorithm). Let a, b be integers with b > 0. Then there exist unique integers q and r such that a = bq + r and 0 ≀ r < b. Example 2.4. Gemma P. Salasalan,Ph.D Abstract Algebra
  • 16. Abstract Algebra Arithmetic in Z Proof : Suppose a, b ∈ Z and b > 0. Consider S = {a βˆ’ bq|q ∈ Z and a βˆ’ d β‰₯ 0}. We need to show that: 1. S , βˆ…. 2. By WOP, we can find a least element r βˆ‹ r < b. 2. Uniqueness, that is, r and q are unique. 1. Consider the following cases: Case 1. a β‰₯ 0. We take q = 0, then a βˆ’ bq = a βˆ’ b(0) = a . This implies that a ∈ S. Case 2. a < 0 . We take q = a, then a βˆ’ b(a) = a(1 βˆ’ b). Note that a < 0 , b > 0 (from assumption), and a(1 βˆ’ b) β‰₯ 0 . This implies that a βˆ’ b(a) ∈ S. Thus, S , βˆ…. By WOP, S has a least element r = a βˆ’ bq for some integer q. Hence, a = bq + r and r β‰₯ 0. Gemma P. Salasalan,Ph.D Abstract Algebra
  • 17. Abstract Algebra Arithmetic in Z Proof : cont... 2. Suppose r β‰₯ b. Then r = b + r’ , where 0 ≀ rβ€² < r. So, a = bq + r = bq + b + rβ€² = (q + 1)b + rβ€² , so that rβ€² = a βˆ’ (q + 1)b is an element of S smaller than r. This contradicts the fact that r is the least element of S. Thus, r < d. 3. Suppose that there are integers q1 and r1 such that a = bq1 + r1 and 0 ≀ r1 < b. We need to show that, q1 = q and r1 = r. Since a = bq + r and a = bq1 + r1, we have bq + r = bq1 + r1 so, b(q βˆ’ q1) = r1 βˆ’ r (1) Note that, 0 ≀ r < b (2) 0 ≀ r1 < b (3) Gemma P. Salasalan,Ph.D Abstract Algebra
  • 18. Abstract Algebra Arithmetic in Z Multiplying βˆ’1 to inequality (2), we obtain βˆ’b ≀ βˆ’r < 0 (4) 0 ≀ r1 < b (2) Adding these two inequalities βˆ’b < r1 βˆ’ r ≀ b βˆ’b < b(q βˆ’ q1) < b from Equation (1) βˆ’1 < q βˆ’ q1 < 1 Divide each term by b But q βˆ’ q1 is an integer (because q and q1 are integers) and the only integer strictly between -1 and 1 is 0. Therefore q βˆ’ q1 = 0 and q = q1. Substituting q βˆ’ q1 = 0 in Equation (1), b(q βˆ’ q1) = r1 βˆ’ r (1) b(0) = r1 βˆ’ r 0 = r1 βˆ’ r r1 = r. Thus the quotient and remainder are unique. Gemma P. Salasalan,Ph.D Abstract Algebra
  • 19. Abstract Algebra Arithmetic in Z Definition 2.5 (Divisibility). Let a and b be integers with b , 0. We say that b divides a (or that b is a divisor of a, or that b is a factor of a) if a = bc for some integer c. In symbols,”b divides a” is written b|a and ”b does not divide a” is written b ∀ a. Example 2.6. 3|24 because 24 = 3 β€’ 8, but 3 ∀ 17. Negative divisors are allowed: βˆ’6|54 because 54 = (βˆ’6)(βˆ’9), but βˆ’6 ∀ βˆ’13. Gemma P. Salasalan,Ph.D Abstract Algebra
  • 20. Abstract Algebra Arithmetic in Z Remark 2.7. 1. If b divides a, then a = bc for some c. Hence βˆ’a = b(βˆ’c), so that b|(βˆ’a). An analogous argument shows that every divisor of βˆ’a is also a divisor of a. Therefore, a and βˆ’a have the same divisors. 2. Suppose a , 0 and b|a. Then a = bc, so that |a| = |b||c|. Consequently, 0 ≀ |b| ≀ |a|. This last inequality is equivalent to βˆ’|a| ≀ |b| ≀ |a| . Therefore i. every divisor of the nonzero integer a is less than or equal to |a|; ii. nonzero integer has only finitely many divisors. Gemma P. Salasalan,Ph.D Abstract Algebra
  • 21. Abstract Algebra Arithmetic in Z Definition 2.8. Let a and b be integers, not both 0. The greatest common divisor (gcd) of a and b is the largest integer d that divides both a and b. In other words, d is the gcd of a and b provided that 1. d|a and d|b; 2. if c|a and c|b, then c ≀ d. The greatest common divisor of a and b is usually denoted GCD(a, b). Definition 2.9. If p is an integer greater than 1, then p is a prime number if the only divisors of p are 1 and p. A positive integer greater than 1 that is not a prime number is called composite. Example 2.10. The greatest common divisor of 12 and 30 is 6, that is, GCD(12, 30) = 6. The only common divisors of 10 and 21 are 1 and βˆ’1. Hence GCD(10, 21) = 1. Two integers whose greatest common divisor is 1, such as 10 and 21, are said to be relatively prime. Gemma P. Salasalan,Ph.D Abstract Algebra
  • 22. Abstract Algebra Arithmetic in Z Example 2.11. Here are some examples to illustrate the definitions above. 1. GCD(45, 60) = 15, since 45 = 15 β€’ 3 and 60 = 15 β€’ 4 and 15 is the largest number that divides both 45 and 60. 2. 45 and 60 are not relatively prime. 3. 45 and 16 are relatively prime since GCD(45, 16) = 1. Gemma P. Salasalan,Ph.D Abstract Algebra
  • 23. Abstract Algebra Arithmetic in Z Theorem 2.12. Let a and b be integers, not both 0, and let d be their greatest common divisor. Then there exist (not necessarily unique) integers u and v such that d = au + bv. Proof : Let S be the set of all linear combinations of a and b, that is S = {am + bn|m, n ∈ Z}. Step 1. Find the smallest positive element of S. Note that a2 + b2 = aa + bb is in S and a2 + b2 β‰₯ 0. Since a and b are not both 0, a2 + b2 must be positive. By WOP, S contains positive integer and hence, contains a least element. Let t be the smallest positive integer in S. Hence, we can write t = au + bv for some integers u and v. Gemma P. Salasalan,Ph.D Abstract Algebra
  • 24. Abstract Algebra Arithmetic in Z Proof : cont... Step 2. Prove that t is the gcd of a and b, that is, t = d We must prove that t satisfies the two conditions in the definition of the gcd: 1. t|a and t|b; 2. if c|a and c|b, then c ≀ t. Proof of (1): By the Division Algorithm, there are integers q and r such that a = tq + r , with 0 ≀ r t. Consequently, r = a βˆ’ tq, (1) r = a βˆ’ (au + bv)q = a βˆ’ aqu βˆ’ bvq, (2) r = a(1 βˆ’ qu) + b(βˆ’vq) (3) Thus r is a linear combination of a and b, and hence r ∈ S. Gemma P. Salasalan,Ph.D Abstract Algebra
  • 25. Abstract Algebra Arithmetic in Z Since r t (the smallest positive element of S), we know that r is not positive. Since r β‰₯ 0, the only possibility is that r = 0. Therefore, a = tq + r = tq + 0 = tq so that t|a. Similarly, t|b. Hence, t is a common divisor of a and b. Proof of (2): Let c be any other common divisor of a and b, so that c|a and c|b. Then a = ck and b = cs for some integers k and s. Consequently, t = au + bv = (ck)u + (cs)v (4) = c(ku + sv). (5) This implies that c|t. Hence, c ≀ |t| by Remark 2.7 . But t is positive, so |t| = t. Thus, c ≀ t. This implies that t is the greatest common divisor d. Gemma P. Salasalan,Ph.D Abstract Algebra
  • 26. Abstract Algebra Arithmetic in Z Corollary 2.13. Let a and b be integers, not both 0, and let d be a positive integer. Then d is the greatest common divisor of a and b if and only if d satisfies these conditions: i. d|a and d|b; i. if c|a and c|b, then c|d. Gemma P. Salasalan,Ph.D Abstract Algebra
  • 27. Abstract Algebra Arithmetic in Z Theorem 2.14. If a|bc and (a, b) = 1, then a|c. Proof : Since (a, b) = 1, Theorem 2.12 shows that au + bv = 1 for some integers u and v. Multiplying this equation by c shows that acu + bcv = c. But a|bc, so that bc = ar for some r. Therefore, c = acu + bcv = acu + (ar)v = a(cu + ro). This shows that a|c. Gemma P. Salasalan,Ph.D Abstract Algebra
  • 28. Abstract Algebra Arithmetic in Z Congruence and Congruence Classes Congruence and Congruence Classes Gemma P. Salasalan,Ph.D Abstract Algebra
  • 29. Abstract Algebra Arithmetic in Z Congruence and Congruence Classes Definition 2.15. Let a,b, n be integers with n 0. Then a is congruent to b modulo n [written ”a = b(modn)”], provided that n divides a βˆ’ b. Example 2.16. 1. 17 = 5(mod6) because 6 divides 17 βˆ’ 5 = 12. 2. 4 = 25(mod7) because 7 divides 4 βˆ’ 25 = βˆ’21. Gemma P. Salasalan,Ph.D Abstract Algebra
  • 30. Abstract Algebra Arithmetic in Z Relation and Operations Relation and Operations Gemma P. Salasalan,Ph.D Abstract Algebra
  • 31. Abstract Algebra Arithmetic in Z Relation and Operations Definition 2.17. A relation R on a set S (more precisely, a binary relation on S, since it will be a relation between pairs of elements of S) is a subset of S x S. Example 2.18. Let S = {2, 3, 5, 6} and let R mean ”divides.” Since 2R2, 2R6, 3R3, 3R6, 5R5, 6R6, we have R = {(2, 2), (6, 2), (3, 3), (6, 3), (5, 5), (6, 6)}. PROPERTIES OF BINARY RELATIONS Let R be a relation on a set S and a, b, c ∈ S. Then 1. R is called reflexive if aRa for every a ∈ S. 2. R is called symmetric if whenever aRb then bRa. 2. R is called transitive if whenever aRb and bRc then aRc. Gemma P. Salasalan,Ph.D Abstract Algebra
  • 32. Abstract Algebra Arithmetic in Z Relation and Operations Example 2.19. 1. Let R be the set of real numbers and R mean β€œis less than or equal to.” Thus, any number is less than or equal to itself so R is reflexive. 2. Let R be the set of real numbers and R mean β€œis less than or equal to.” Now 3 is less than or equal to 5 but 5 is not less than or equal to 3. Hence R is not symmetric. β€’ Let R be the set of real numbers and R mean β€œis less than or equal to.” If x ≀ y and y ≀ z, then x ≀ z. Hence, R is transitive. Definition 2.20. A relation R on a set S is called an equivalence relation on S when R is reflexive, symmetric and transitive. Gemma P. Salasalan,Ph.D Abstract Algebra
  • 33. Abstract Algebra Arithmetic in Z Relation and Operations EQUIVALENCE SETS Gemma P. Salasalan,Ph.D Abstract Algebra
  • 34. Abstract Algebra Arithmetic in Z Relation and Operations Definition 2.21 (Equivalence set or Equivalence class). Let S be a set and R be an equivalence relation on S. If a ∈ S, the elements y ∈ S satisfying yRa constitute a subset, [a], of S, called an equivalence set or equivalence class. Thus, formally, [a] = {y : y ∈ S, yRa} Gemma P. Salasalan,Ph.D Abstract Algebra
  • 35. Abstract Algebra Arithmetic in Z Relation and Operations Theorem 2.22. Gemma P. Salasalan,Ph.D Abstract Algebra
  • 36. Abstract Algebra Arithmetic in Z Relation and Operations Definition 2.23 (Partition). A set {A, B, C, ...} of non empty subsets of a set S will be called a partition of S provided 1. A βˆͺ B βˆͺ Cβˆͺ, ... = S 2. The intersection of every pair of distinct subsets is the empty set. Theorem 2.24. Gemma P. Salasalan,Ph.D Abstract Algebra
  • 37. Abstract Algebra Arithmetic in Z Relation and Operations Example 2.25. Let a relation ∼ be defined on the set R of real numbers by xRy if and only if |x| = |y|. Show that ∼ is an equivalence relation. Solution: 1. Let a ∈ R. Then |a| = |a|. So a ∼ a and R is reflexive. 2. Let a, b ∈ R and suppose that a ∼ b. Then |a| = |b|. So |b| = |a|. Thus, b ∼ a and R is symmetric. 3. Let a, b, c ∈ R and suppose that a ∼ b and b ∼ c. Then |a| = |b| and |b| = |c|. So |a| = |c|. Thus, a ∼ c and R is transitive. Therefore, R is an equivalence relation on R. Gemma P. Salasalan,Ph.D Abstract Algebra
  • 38. Abstract Algebra Arithmetic in Z Relation and Operations Example 2.26. Consider the set S = R where x ∼ y if and only if x2 = y2 . Prove that ∼ is an equivalence relation on S. Proof : Let x, y, z ∈ S. i. Since x2 = x2 βˆ€ x ∈ S. So, x ∼ x and ∼ is reflexive. ii. Suppose x ∼ y. Then x2 = y2 . Note that y2 = x2 . So, y ∼ x and ∼ is symmetric. iii. Suppose x ∼ y and y ∼ z. Then x2 = y2 and y2 = z2 . x2 = y2 β‡’ = z2 Thus, x ∼ z and ∼ is an equivalence relation on S. Gemma P. Salasalan,Ph.D Abstract Algebra
  • 39. Abstract Algebra Problem Set I Submit your output @google classroom and handwritten @ DSSC guardhouse addressed to Dr. Gemma P. Salasalan . 1. Prove or disprove. Let a, b, c, d ∈ Z. a. If a|b and a|c, then a|(b + c). b. If ab|cd, then a|c and a|d. 2. Given a set S and a relation ∼ on S. Check if ∼ is an equivalence relation on S. If ∼ is not an equivalence relation on S, provide counterexample. a. S = R where a ∼ b iff a ≀ b. b. S = Z where a ∼ b iff a|b. c. S is a set of subsets of N where A ∼ B iff A βŠ† B. 3. Prove for sets A and B that A βŠ† B if and only if A βˆͺ B = B. 4. Prove that (A ∩ B)β€² = Aβ€² βˆͺ Bβ€² . Gemma P. Salasalan,Ph.D Abstract Algebra
  • 40. Abstract Algebra Lesson 2 Operations Definition 4.1. A binary operation β€œ * ” on a non-empty set S is a mapping which associates with each ordered pair (a, b) of elements of S a uniquely defined element a βˆ— b of S. A binary operation on a set S is a mapping of S Γ— S into S. βˆ— : S Γ— S β†’ S such that a βˆ— b ∈ S, βˆ€ a, b ∈ S Example 4.2. Let S = 0, 1, 2, 3, 4. Neither addition or multiplication are binary operation on set S. Since 2 + 3 = 5 S and 2 Β· 3 = 6 S. Gemma P. Salasalan,Ph.D Abstract Algebra
  • 41. Abstract Algebra Lesson 2 Operations Properties of Binary Operation i. Closure A binary operation βˆ— on a non-empty set S has closure property, if a ∈ S, b ∈ S β‡’ a βˆ— b ∈ S. ii. Associative The associative property of binary operations holds if, for a non-empty set S, we can write (a βˆ— b) βˆ— c = a βˆ— (b βˆ— c), where a, b, c ∈ S. iii. Commutative A binary operation * on a non-empty set S is commutative, if a βˆ— b = b βˆ— a, for all (a, b) ∈ S. iv. Identity A set S is said to have an identity element with respect to a binary operation * on S if there exists an element e ∈ S with the property e βˆ— x = x βˆ— e = x for every x ∈ S: Gemma P. Salasalan,Ph.D Abstract Algebra
  • 42. Abstract Algebra Lesson 2 Operations iv. Inverse Consider a set S having the identity element e with respect to a binary operation *. An element y ∈ S is called an inverse of x ∈ S provided that, x βˆ— y = y βˆ— x = e. We can write, y = aβˆ’1 . Definition 4.3. Gemma P. Salasalan,Ph.D Abstract Algebra
  • 43. Abstract Algebra Lesson 2 Operations Example 4.4. Gemma P. Salasalan,Ph.D Abstract Algebra