Documente Academic
Documente Profesional
Documente Cultură
July 1, 2018
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 1 / 30
Contents: Symmetric and asymmetric ciphers
1 Algebra
2 Models algebraic
Operations n-arias
Semigroups
Monoid
3 Algebraic structures
Groups
4 Exercises
5 References bibliographic
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 2 / 30
What is algebra ?
The algebra is part of the mathematics which study the structures, relations
and quantity.
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 3 / 30
What is algebra ?
The algebra is part of the mathematics which study the structures, relations
and quantity.
Classification:
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 3 / 30
What is algebra ?
The algebra is part of the mathematics which study the structures, relations
and quantity.
Classification:
I Algebra elemental: For school.
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 3 / 30
What is algebra ?
The algebra is part of the mathematics which study the structures, relations
and quantity.
Classification:
I Algebra elemental: For school.
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 3 / 30
What is algebra ?
The algebra is part of the mathematics which study the structures, relations
and quantity.
Classification:
I Algebra elemental: For school.
In the context of algebra a system consisting of a set and one or more n-ary
operations on the set is called an algebraic system. Singh (2005)
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 3 / 30
Let X be a finite and nonempty set then algebraic system is denoted by
(X , , ~, . . .), where , ~, . . . are the operations on X . Singh (2005)
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 4 / 30
Let X be a finite and nonempty set then algebraic system is denoted by
(X , , ~, . . .), where , ~, . . . are the operations on X . Singh (2005)
Since, the operations over the set represent a structure between the elements;
therefore an algebraic system is also known as algebraic structure. Singh
(2005)
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 4 / 30
Let X be a finite and nonempty set then algebraic system is denoted by
(X , , ~, . . .), where , ~, . . . are the operations on X . Singh (2005)
Since, the operations over the set represent a structure between the elements;
therefore an algebraic system is also known as algebraic structure. Singh
(2005)
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 4 / 30
Let X be a finite and nonempty set then algebraic system is denoted by
(X , , ~, . . .), where , ~, . . . are the operations on X . Singh (2005)
Since, the operations over the set represent a structure between the elements;
therefore an algebraic system is also known as algebraic structure. Singh
(2005)
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 4 / 30
Let X be a finite and nonempty set then algebraic system is denoted by
(X , , ~, . . .), where , ~, . . . are the operations on X . Singh (2005)
Since, the operations over the set represent a structure between the elements;
therefore an algebraic system is also known as algebraic structure. Singh
(2005)
Our study restrict of algebraic systems to those operations that are only
unary or binary in nature.
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 4 / 30
Let X be a finite and nonempty set then algebraic system is denoted by
(X , , ~, . . .), where , ~, . . . are the operations on X . Singh (2005)
Since, the operations over the set represent a structure between the elements;
therefore an algebraic system is also known as algebraic structure. Singh
(2005)
Our study restrict of algebraic systems to those operations that are only
unary or binary in nature.
I (N, +); (N, +, ∗)
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 4 / 30
Contents: Symmetric and asymmetric ciphers
1 Algebra
2 Models algebraic
Operations n-arias
Semigroups
Monoid
3 Algebraic structures
Groups
4 Exercises
5 References bibliographic
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 5 / 30
Models algebraic
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 6 / 30
Models algebraic
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 6 / 30
Models algebraic
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 6 / 30
Models algebraic
I Semigroups
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 6 / 30
Models algebraic
I Semigroups
I Monoids.
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 6 / 30
Operations n-arias
a) Monadic operation:
Let S 6= φ be set. The operation monadic (unaria) ∗ on S, is a mapping
∗:S →S
a 7→ ∗(a) = c
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 7 / 30
b) Binary operation:
Let S 6= φ be set. A binary operation ∗ on a set S is a mapping from S × S to S
(Menezes et al., 1996)
∗:S ×S →S
(a, b) 7→ ∗(a, b) = c
Example:
+:N×N →N
(6, 9) 7→ +(6, 9) = 15
Properties:
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 8 / 30
b) Binary operation:
Let S 6= φ be set. A binary operation ∗ on a set S is a mapping from S × S to S
(Menezes et al., 1996)
∗:S ×S →S
(a, b) 7→ ∗(a, b) = c
Example:
+:N×N →N
(6, 9) 7→ +(6, 9) = 15
Properties:
Associative: a ∗ (b ∗ c) = (a ∗ b) ∗ c, ∀a, b, c ∈ S.
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 8 / 30
b) Binary operation:
Let S 6= φ be set. A binary operation ∗ on a set S is a mapping from S × S to S
(Menezes et al., 1996)
∗:S ×S →S
(a, b) 7→ ∗(a, b) = c
Example:
+:N×N →N
(6, 9) 7→ +(6, 9) = 15
Properties:
Associative: a ∗ (b ∗ c) = (a ∗ b) ∗ c, ∀a, b, c ∈ S.
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 8 / 30
b) Binary operation:
Let S 6= φ be set. A binary operation ∗ on a set S is a mapping from S × S to S
(Menezes et al., 1996)
∗:S ×S →S
(a, b) 7→ ∗(a, b) = c
Example:
+:N×N →N
(6, 9) 7→ +(6, 9) = 15
Properties:
Associative: a ∗ (b ∗ c) = (a ∗ b) ∗ c, ∀a, b, c ∈ S.
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 8 / 30
b) Binary operation:
Let S 6= φ be set. A binary operation ∗ on a set S is a mapping from S × S to S
(Menezes et al., 1996)
∗:S ×S →S
(a, b) 7→ ∗(a, b) = c
Example:
+:N×N →N
(6, 9) 7→ +(6, 9) = 15
Properties:
Associative: a ∗ (b ∗ c) = (a ∗ b) ∗ c, ∀a, b, c ∈ S.
Commutative: a ∗ b = b ∗ a, ∀a, b ∈ S.
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 8 / 30
c) n-aria operations:
The n-aria operations ∗ on S is a following mapping :
∗ : S × S × ... × S → S
(a, b, ...) 7→ ∗(a, b, ...) = c
Note:
From of n-arias operations is possible establish the structure algebraic.
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 9 / 30
Semigroups
The semigroups (S, ∗), are the set S 6= φ and a binary operation associative ∗ on
the set S.
Examples:
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 10 / 30
Semigroups
The semigroups (S, ∗), are the set S 6= φ and a binary operation associative ∗ on
the set S.
Examples:
I The set natural numbers include 0 : (N, +), (N, ×).
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 10 / 30
Semigroups
The semigroups (S, ∗), are the set S 6= φ and a binary operation associative ∗ on
the set S.
Examples:
I The set natural numbers include 0 : (N, +), (N, ×).
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 10 / 30
Semigroups
The semigroups (S, ∗), are the set S 6= φ and a binary operation associative ∗ on
the set S.
Examples:
I The set natural numbers include 0 : (N, +), (N, ×).
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 10 / 30
Semigroups
The semigroups (S, ∗), are the set S 6= φ and a binary operation associative ∗ on
the set S.
Examples:
I The set natural numbers include 0 : (N, +), (N, ×).
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 10 / 30
Semigroups
The semigroups (S, ∗), are the set S 6= φ and a binary operation associative ∗ on
the set S.
Examples:
I The set natural numbers include 0 : (N, +), (N, ×).
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 10 / 30
Example:
Let X = {p, q, r } and binary operation ⊗ defines in the operation table
shown then algebraic system (X , ⊗) is a semi group because ⊗ are closed
and associative .
⊗ p q r
p p p p
q q q q
r r r r
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 11 / 30
Monoid
The monoid (S, ∗) consists of the set S 6= φ and the binary operation associative
∗ on the set S, such that S have identity.
Examples:
The set natural numbers include 0 : (N, +), (N, ×).
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 12 / 30
Monoid
The monoid (S, ∗) consists of the set S 6= φ and the binary operation associative
∗ on the set S, such that S have identity.
Examples:
The set natural numbers include 0 : (N, +), (N, ×).
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 12 / 30
Monoid
The monoid (S, ∗) consists of the set S 6= φ and the binary operation associative
∗ on the set S, such that S have identity.
Examples:
The set natural numbers include 0 : (N, +), (N, ×).
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 12 / 30
Monoid
The monoid (S, ∗) consists of the set S 6= φ and the binary operation associative
∗ on the set S, such that S have identity.
Examples:
The set natural numbers include 0 : (N, +), (N, ×).
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 12 / 30
Monoid
The monoid (S, ∗) consists of the set S 6= φ and the binary operation associative
∗ on the set S, such that S have identity.
Examples:
The set natural numbers include 0 : (N, +), (N, ×).
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 12 / 30
Example:
Let X = {0, 1, 2, 3, 4} and binary operation ⊕ defines in the operation table
shown where a ⊕ b = a + b, if a + b ≤ 3, otherwise a + b − 4. (X , ⊕) is a
monoid because ⊕ are closed, associative and have identity (0).
⊕ 0 1 2 3
0 0 1 2 3
1 1 2 3 0
2 2 3 0 1
3 3 0 1 2
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 13 / 30
Contents: Symmetric and asymmetric ciphers
1 Algebra
2 Models algebraic
Operations n-arias
Semigroups
Monoid
3 Algebraic structures
Groups
4 Exercises
5 References bibliographic
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 14 / 30
Algebraic structures
Groups;
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 15 / 30
Algebraic structures
Groups;
Rings;
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 15 / 30
Algebraic structures
Groups;
Rings;
Field.
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 15 / 30
Groups
Definition(Group):
Let G be set. An group (G , ∗), where ∗ is binary operation satisfying the following
three axioms: Menezes et al. (1996)
Associative: ∀a, b, c ∈ G , a ∗ (b ∗ c) = (a ∗ b) ∗ c.
Observation:
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 16 / 30
Groups
Definition(Group):
Let G be set. An group (G , ∗), where ∗ is binary operation satisfying the following
three axioms: Menezes et al. (1996)
Associative: ∀a, b, c ∈ G , a ∗ (b ∗ c) = (a ∗ b) ∗ c.
Identity: ∀a ∈ G , ∃e ∈ G , such that e ∗ a = a ∗ e = a.
Observation:
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 16 / 30
Groups
Definition(Group):
Let G be set. An group (G , ∗), where ∗ is binary operation satisfying the following
three axioms: Menezes et al. (1996)
Associative: ∀a, b, c ∈ G , a ∗ (b ∗ c) = (a ∗ b) ∗ c.
Identity: ∀a ∈ G , ∃e ∈ G , such that e ∗ a = a ∗ e = a.
Inverse: ∀a ∈ G , ∃a−1 ∈ G , such that a−1 ∗ a = a ∗ a−1 = e.
Observation:
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 16 / 30
Groups
Definition(Group):
Let G be set. An group (G , ∗), where ∗ is binary operation satisfying the following
three axioms: Menezes et al. (1996)
Associative: ∀a, b, c ∈ G , a ∗ (b ∗ c) = (a ∗ b) ∗ c.
Identity: ∀a ∈ G , ∃e ∈ G , such that e ∗ a = a ∗ e = a.
Inverse: ∀a ∈ G , ∃a−1 ∈ G , such that a−1 ∗ a = a ∗ a−1 = e.
Observation:
If a ∗ b = b ∗ a, ∀a, b ∈ G , G is called group abelian o commutative.
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 16 / 30
Groups
Definition(Group):
Let G be set. An group (G , ∗), where ∗ is binary operation satisfying the following
three axioms: Menezes et al. (1996)
Associative: ∀a, b, c ∈ G , a ∗ (b ∗ c) = (a ∗ b) ∗ c.
Identity: ∀a ∈ G , ∃e ∈ G , such that e ∗ a = a ∗ e = a.
Inverse: ∀a ∈ G , ∃a−1 ∈ G , such that a−1 ∗ a = a ∗ a−1 = e.
Observation:
If a ∗ b = b ∗ a, ∀a, b ∈ G , G is called group abelian o commutative.
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 16 / 30
Groups
Definition(Group):
Let G be set. An group (G , ∗), where ∗ is binary operation satisfying the following
three axioms: Menezes et al. (1996)
Associative: ∀a, b, c ∈ G , a ∗ (b ∗ c) = (a ∗ b) ∗ c.
Identity: ∀a ∈ G , ∃e ∈ G , such that e ∗ a = a ∗ e = a.
Inverse: ∀a ∈ G , ∃a−1 ∈ G , such that a−1 ∗ a = a ∗ a−1 = e.
Observation:
If a ∗ b = b ∗ a, ∀a, b ∈ G , G is called group abelian o commutative.
If |G | is finite, (G , ∗) is finite.
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 16 / 30
Examples:
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 17 / 30
Examples:
I The sets (Z, +), (Q, +), (R, +) y (C, +), are groups with identity the number
0, and inverse additive −a.
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 17 / 30
Examples:
I The sets (Z, +), (Q, +), (R, +) y (C, +), are groups with identity the number
0, and inverse additive −a.
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 17 / 30
Examples:
I The sets (Z, +), (Q, +), (R, +) y (C, +), are groups with identity the number
0, and inverse additive −a.
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 17 / 30
Examples:
I The sets (Z, +), (Q, +), (R, +) y (C, +), are groups with identity the number
0, and inverse additive −a.
I For every positive integer n, the set of n-bit strings under the ”exclusive OR”
operation forms an abelian group, where the ”all zero” bit string is the
identity, and every bit string is its own inverse.
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 17 / 30
Examples:
I The sets (Z, +), (Q, +), (R, +) y (C, +), are groups with identity the number
0, and inverse additive −a.
I For every positive integer n, the set of n-bit strings under the ”exclusive OR”
operation forms an abelian group, where the ”all zero” bit string is the
identity, and every bit string is its own inverse.
I The set of all finite bit strings under concatenation does not form an abelian
group. Although concatenation is associative and the empty string acts as an
identity element, inverses do not exist (except for the empty string), nor is
concatenation commutative
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 17 / 30
Definition(Direct product):
Let (G1 , ∗1 ) and (G2 , ∗2 ) be two groups, the direct product of two groups are:
G1 ⊗ G2 = {(a1 ,a2 ) / a1 ∈ G1 and a2 ∈ G2 },
where ∗ defined (a1 , a2 )*(b1 , b2 ) = (a1 ∗1 b1 , a2 ∗2 b2 ).
Note:
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 18 / 30
Definition(Direct product):
Let (G1 , ∗1 ) and (G2 , ∗2 ) be two groups, the direct product of two groups are:
G1 ⊗ G2 = {(a1 ,a2 ) / a1 ∈ G1 and a2 ∈ G2 },
where ∗ defined (a1 , a2 )*(b1 , b2 ) = (a1 ∗1 b1 , a2 ∗2 b2 ).
Note:
The direct sum can be extended to n groups:
G1 ⊕ G2 . . . ⊕ Gn
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 18 / 30
Definition(Direct product):
Let (G1 , ∗1 ) and (G2 , ∗2 ) be two groups, the direct product of two groups are:
G1 ⊗ G2 = {(a1 ,a2 ) / a1 ∈ G1 and a2 ∈ G2 },
where ∗ defined (a1 , a2 )*(b1 , b2 ) = (a1 ∗1 b1 , a2 ∗2 b2 ).
Note:
The direct sum can be extended to n groups:
G1 ⊕ G2 . . . ⊕ Gn
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 18 / 30
Example:
Let (Z2 = {0, 1}, +1 ) and (Z3 = {0, 1, 2}, +2 ) be the groups. The direct product:
Z2 ⊗ Z3 = {(0, 0), (0, 1), (0, 2), (1, 0), (1, 1), (1, 2)}
where (a1 , a2 ) + (b1 , b2 ) = (a1 +1 b1 , a2 +2 b2 )
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 19 / 30
Example:
Let (Z2 = {0, 1}, +1 ) and (Z3 = {0, 1, 2}, +2 ) be the groups. The direct product:
Z2 ⊗ Z3 = {(0, 0), (0, 1), (0, 2), (1, 0), (1, 1), (1, 2)}
where (a1 , a2 ) + (b1 , b2 ) = (a1 +1 b1 , a2 +2 b2 )
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 19 / 30
Example:
Let (Z2 = {0, 1}, +1 ) and (Z3 = {0, 1, 2}, +2 ) be the groups. The direct product:
Z2 ⊗ Z3 = {(0, 0), (0, 1), (0, 2), (1, 0), (1, 1), (1, 2)}
where (a1 , a2 ) + (b1 , b2 ) = (a1 +1 b1 , a2 +2 b2 )
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 19 / 30
Example:
Let (Z2 = {0, 1}, +1 ) and (Z3 = {0, 1, 2}, +2 ) be the groups. The direct product:
Z2 ⊗ Z3 = {(0, 0), (0, 1), (0, 2), (1, 0), (1, 1), (1, 2)}
where (a1 , a2 ) + (b1 , b2 ) = (a1 +1 b1 , a2 +2 b2 )
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 19 / 30
Results:
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 20 / 30
Results:
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 20 / 30
Results:
Cancellation laws
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 20 / 30
Results:
Cancellation laws
I If ab = ac ⇒ b = c.
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 20 / 30
Results:
Cancellation laws
I If ab = ac ⇒ b = c.
I If ba = ca ⇒ b = c.
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 20 / 30
Results:
Cancellation laws
I If ab = ac ⇒ b = c.
I If ba = ca ⇒ b = c.
(a−1 )−1 = a.
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 20 / 30
Results:
Cancellation laws
I If ab = ac ⇒ b = c.
I If ba = ca ⇒ b = c.
(a−1 )−1 = a.
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 20 / 30
Results:
Cancellation laws
I If ab = ac ⇒ b = c.
I If ba = ca ⇒ b = c.
(a−1 )−1 = a.
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 20 / 30
If each group Gi is abelian, then the direct product G1 ⊗ G2 . . . ⊗ Gn is
abelian.
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 21 / 30
If each group Gi is abelian, then the direct product G1 ⊗ G2 . . . ⊗ Gn is
abelian.
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 21 / 30
If each group Gi is abelian, then the direct product G1 ⊗ G2 . . . ⊗ Gn is
abelian.
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 21 / 30
Definition(Class of equivalence):
To find the inverse a−1 of a ∈ Z∗n , use the Extended Euclidean algorithm such that
d = gcd(a, n) = aa−1 + kn = 1.
+ 0 1 2
0 0 1 2
1 1 2 0
2 2 0 1
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 22 / 30
In the following examples, the elements of these groups are seen as equivalence
classes.
Example
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 23 / 30
In the following examples, the elements of these groups are seen as equivalence
classes.
Example
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 23 / 30
Example
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 24 / 30
Example
I The multiplicative group Z∗n with the operation a × b (mod n) is group, where
the identity is 1.
(Z∗n , a × b mod n)
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 24 / 30
Example
I The multiplicative group Z∗n with the operation a × b (mod n) is group, where
the identity is 1.
(Z∗n , a × b mod n)
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 24 / 30
Example
I The multiplicative group Z∗n with the operation a × b (mod n) is group, where
the identity is 1.
(Z∗n , a × b mod n)
×mod 9 1 2 4 5 7 8
1 1 2 4 5 7 8
2 2 4 8 1 5 7
4 4 8 7 2 1 5
5 5 1 2 7 8 4
7 7 5 1 8 4 2
8 8 7 5 4 2 1
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 24 / 30
Example
I The multiplicative group Z∗n with the operation a × b (mod n) is group, where
the identity is 1.
(Z∗n , a × b mod n)
×mod 9 1 2 4 5 7 8
1 1 2 4 5 7 8
2 2 4 8 1 5 7
4 4 8 7 2 1 5
5 5 1 2 7 8 4
7 7 5 1 8 4 2
8 8 7 5 4 2 1
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 24 / 30
Homomorphism of groups
0
Let (G, ∗) and (H, ∗ ) be two groups. The function
0 0
ϕ : (G , ∗) → (H, ∗ ), defined by ϕ(a ∗ b) = ϕ(a) ∗ ϕ(b), ∀a, b ∈ G ,
is homomorphism of groups.
Example:
Let (R2×2 , +) and (R, +) be two groups, then f : (R2×2 , +) → (R, +) defined by
a b
f =b+c
c d
is homomorphism.
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 25 / 30
Example:
Let (Z, +) and (Zn , +) be groups, then f : Z → Zn defined by
f (x) = x mod n = [x]n is homomorphism, since
Example:
Let (R, +) and (R+ , ×) be groups, then f : (R, +) → (R+ , ×) defined by
f (x) = e x is homomorphism, since
f (x + y ) = e x+y = e x e y = f (x) × f (y )
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 26 / 30
Contents: Symmetric and asymmetric ciphers
1 Algebra
2 Models algebraic
Operations n-arias
Semigroups
Monoid
3 Algebraic structures
Groups
4 Exercises
5 References bibliographic
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 27 / 30
Exercises
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 28 / 30
Contents: Symmetric and asymmetric ciphers
1 Algebra
2 Models algebraic
Operations n-arias
Semigroups
Monoid
3 Algebraic structures
Groups
4 Exercises
5 References bibliographic
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 29 / 30
References bibliographic
Menezes, A., Van Orschot, P., and Vanstone, S. (1996). Handbook of applied
cryptography. CRC Press, USA.
Paar, C. and Pelzl, J. (2010). Understanding cryptography. Springer-Verlag,
Berlin Heidelberg.
Singh, Y. (2005). Mathematical foundation of computer science. New age
international limited publishers., Publishing for one world.
José Antonio Rodrı́guez Melquiades Álgebra universal para Ciencia de la Computación July 1, 2018 30 / 30