Discrete Mathematic LEC-04:: Fundamental Algebra Groups, Rings, Fields
Discrete Mathematic LEC-04:: Fundamental Algebra Groups, Rings, Fields
DISCRETE MATHEMATIC
LEC-04:
Fundamental Algebra
Groups, Rings, Fields
Sets, Operations
Functions
2
Sets
A collection of elements.
Examples:
A set with all elements
A set with description of property
The empty set, a set has no elements:
Set of integers:
Closed intervals:
Open intervals:
3
Subsets
4
Set operations
Examples:
Union:
Intersection:
5
Set operations (cont’d)
Examples:
Complement:
Difference:
6
Set Operations (cont’d)
Laws that hold for sets:
Commutative:
Associative:
Distributive:
Idempotent:
Absorption:
Domination:
Identity:
7
Example 1
Let A be the set of students who live within one mile of school and let B be
the set of students who walk to classes. Describe the students in each of
these sets.
1) A ∩ B
the set of students who live within one mile of school and walk to class
(only students who do both of these things are in the intersection)
2) A ∪ B
the set of students who either live within one mile of school or walk to class
(or, it goes without saying, both)
3) A − B
the set of students who live within one mile of school but do not walk to class
4) B − A
the set of students who live more than a mile from school but nevertheless
walk to class 8
Functions
Let E and F be sets. Each element , let there be
associated a unique element , then is called
a function from E into F.
: is called an image of .
Terms: mapping, operator, transformation are
synonyms for the term function.
9
Injection, Surjection, Bijection
Let , where are sets.
Injection Surjection
one-to-one-maping onto-maping
Bijection
11
Example 2
3) The "rule" for f is ambiguous. We must have f(x) defined uniquely, but here
there are two values associated with every x, the positive square root and the
negative square root of x2 + 1.
12
Groups
Definition: Let (G, ) be a nonempty set with a operation
defined on it: . Let the following axioms are
satisfied:
Closure: , the element is uniquely defined element of .
Associative:
Identity element: There exits an identity elements such that
16
Rings - Example
A example ring, R = ( S, O1, O2, I )
• S is set of real numbers.
• O1 is the operation of addition, the inverse operation is subtraction.
17
Fields
Definition: A ring R is called a field, if the multiplication is invertible for
all . In other word, , such that .
Any fileld is ring.
18
Fields - Example
An example of field, F = ( S, O1, O2, I1, I2 )
• S is set of real number.
• O1 is the operation of addition, the inverse operation is subtraction.
19
More Examples
1. Does the following set A3x4 (set of all 3x4 matrices) and the
operation • (matrix multiplication) form a group?
2. Prove that the set A3x3 (set of all 3x3 matrices) and the operation •
(matrix addition) form a commutative (or Abelian) group.
20
Finite/Galois Fields
An example of field, F = ( S, O1, O2, I1, I2 )
• S is set of real number.
• O1 is the operation of addition, the inverse operation is subtraction.
21
Groups
Abelian Groups
Rings
Commutative Rings
Integral Domains
Fields
REVIEW Finite
fields
22
Groups
• A set of elements with a binary operation denoted by that
associates to each ordered pair (a,b) of elements in G an element (a
b ) in G , such that the following axioms are obeyed:
• (A1) Closure:
• If a and b belong to G, then a b is also in G
• (A2) Associative:
• a (b c) = (a b) c for all a, b, c in G
24
Rings
•A ring R , sometimes denoted by {R , + , * }, is a set of elements with two binary operations,
called addition and multiplication, such that for all a , b , c in R the following axioms are
obeyed:
(A1–A5)
R is an abelian group with respect to addition; that is, R satisfies axioms A1 through A5. For the case
of an additive group, we denote the identity element as 0 and the inverse of a as –a
(M1) Closure under multiplication:
If a and b belong to R , then ab is also in R
(M2) Associativity of multiplication:
a (bc ) = (ab)c for all a , b , c in R
(M3) Distributive laws:
a (b + c ) = ab + ac for all a , b , c in R
(a + b )c = ac + bc for all a , b , c in R
•In essence, a ring is a set in which we can do addition, subtraction [a - b = a + (-b )], and
multiplication without leaving the set 25
Rings contd.
• A ring is said to be commutative if it satisfies the following additional
condition:
(M4) Commutativity of multiplication:
ab = ba for all a, b in R
• An integral domain is a commutative ring that obeys the following
axioms.
(M5) Multiplicative identity:
There is an element 1 in R such that a1 = 1a = a
for all a in R
(M6) No zero divisors:
If a , b in R and ab = 0, then either a = 0 or b = 0
26
Fields
•A field F , sometimes denoted by {F, +,* }, is a set of elements with two
binary operations, called addition and multiplication, such that for all a, b, c
in F the following axioms are obeyed:
(A1–M6)
F is an integral domain; that is, F satisfies axioms A1 through A5 and M1
through M6
(M7) Multiplicative inverse:
For each a in F, except 0, there is an element a-1 in F such that aa-1 = (a-1 )a = 1
•In essence, a field is a set in which we can do addition, subtraction,
multiplication, and division without leaving the set. Division is defined with
the following rule: a /b = a (b-1 )
Familiar examples of fields are the rational numbers, the real numbers, and the
complex numbers. Note that the set of all integers is not a field, because not
every element of the set has a multiplicative inverse.
27
(A1) Closure under addition: If a and b belong to S, then a + b is also in S
(A2) Associativity of addition: a + (b + c) = (a + b) + c for all a, b, c in S
Abelian group
Group
(A3) Additive identity: There is an element 0 in R such that
a + 0 = 0 + a = a for all a in S
Commutative ring
28
29
Finite Fields of the Form GF(p)
•Finite fields play a crucial role in many cryptographic algorithms
•It can be shown that the order of a finite field must be a power of
a prime pn, where n is a positive integer
• The finite field of order pn is generally written GF(pn )
• GF stands for Galois field, in honor of the mathematician who first studied
finite fields
30
Table 5.1(a)
+ 0 1 2 3 4 5 6 7
0 0 1 2 3 4 5 6 7
1 1 2 3 4 5 6 7 0
2 2 3 4 5 6 7 0 1
3 3 4 5 6 7 0 1 2
4 4 5 6 7 0 1 2 3
5 5 6 7 0 1 2 3 4
6 6 7 0 1 2 3 4 5
7 7 0 1 2 3 4 5 6