SlideShare a Scribd company logo
1 of 5
Download to read offline
1 Operations JOSEPH MUSCAT 2013 1
Universal Algebras
1 Operations
A universal algebra is a set X with some operations ∗ : Xn
→ X and
relations1
∼⊆ Xm
.
For example, there may be specific constants (n = 0), functions (n = 1), and
operations (n = 2), etc. An n-ary operation is usually written as x∗y∗. . . instead
of ∗(x, y, . . .), and an m-ary relation as x ∼ y ∼ . . . instead of ∼ (x, y, . . .).
Elements are indistinguishable when
∗(. . . , x, . . .) = ∗(. . . , y, . . .), ∼ (. . . , x, . . .) ⇔ ∼ (. . . , y, . . .).
A subalgebra is a subset closed under all the operations
x, y, . . . ∈ Y ⇒ x ∗ y ∗ . . . ∈ Y
(The relations are obviously inherited.)
If Ai are subalgebras, then i Ai is a subalgebra.
[[A]], the subalgebra generated by A, is the smallest subalgebra containing
A,
[[A]] := { Y ⊆ X : A ⊆ Y, Y is a subalgebra }
Hence A ⊆ Y ⇔ [[A]] ⊆ Y (for any subalgebra Y ).
A ∩ B is the largest subalgebra contained in the algebras A and B; [[A ∪ B]]
is the smallest containing them. The collection of subalgebras form a complete
lattice.
For any subsets,
A ⊆ [[A]], [[[[A]]]] = [[A]]
A ⊆ B ⇒ [[A]] ⊆ [[B]].
The map A → [[A]] is thus a ‘closure’ map on the lattice of subsets of X, with
the ‘closed sets’ being the subalgebras.
Proof. Let x, y, . . . ∈ [[A]], then for any Y ⊇ A, x ∗ y ∗ · · · ∈ Y , so x ∗
y ∗ · · · ∈ [[A]]. Hence A ⊆ B ⊆ [[B]] gives [[A]] ⊆ [[B]]. Also [[A]] ⊆ [[A]], so
[[[[A]]]] ⊆ [[A]] ⊆ [[[[A]]]].
When the number of operations is finite, the generated subalgebra can be
constructed recursively as [[A]] = n∈N Bn where
B0 := A, Bn+ := Bn ∪
∗
∗(Bn).
1Relations are not usually included in the definition of universal algebras.
2 Morphisms JOSEPH MUSCAT 2013 2
Proof: that Bn ⊆ [[A]] and A = B0 ⊆ Bn are obvious (by induction);
if x, . . . , y ∈ n Bn then x ∈ Bn1 , . . . , y ∈ Bnk
, so ∃r, x, . . . , y ∈ Br and
∗(x, . . . , y) ∈ Br+ ⊆ n Bn; so [[A]] = n Bn.
Hence if A is countable, so is [[A]].
The free algebra generated by A is that algebra in which x∗y∗. . . are distinct
from each other, for any x, y, . . . ∈ A, and there are no relations.
2 Morphisms
The morphisms (also called homomorphisms) between compatible universal
algebras (i.e., with the same type of operations and relations) are those functions
φ : X → Y which preserve all the operations and relations
φ(x ∗ y ∗ . . .) = φ(x) ∗ φ(y) ∗ . . .
x ∼ y ∼ . . . ⇒ φ(x) ∼ φ(y) ∼ . . .
For the constants, functions, and binary operations, this means
φ(cX) = cY , φ(fX(x)) = fY (φ(x)), φ(x ∗ y) = φ(x) ∗ φ(y).
An algebra with its morphisms forms a category. Without relations, a mor-
phism is an isomorphism when it is bijective (since φ(φ−1
(x) ∗ φ−1
(y) ∗ . . .) =
x ∗ y ∗ . . ., so φ−1
is a morphism). The monomorphisms are the 1-1 morphisms;
the epimorphisms are the onto morphisms.
Proposition 1
For a morphism φ : X → Y ,
if A is a subalgebra of X, then so is φA;
for any subset S ⊆ X, φ[[S]] = [[φS]];
if B is a subalgebra of Y , then so is φ−1
B.
Proof. If φ(x), φ(y), . . . ∈ φA, then
φ(x) ∗ φ(y) ∗ · · · = φ(x ∗ y ∗ · · · ) ∈ φA
since A is a subalgebra. Let x, y, . . . ∈ φ−1
B, i.e., φ(x), φ(y), . . . ∈ B, then
φ(x∗y ∗· · · ) = φ(x)∗φ(y)∗· · · ∈ B, hence x∗y ∗· · · ∈ φ−1
B. Finally, if φA ⊆ C
(a subalgebra of Y ), then A ⊆ [[A]] ⊆ φ−1
C, so [[φA]] = φ[[A]].
Products: X × Y can be given an algebra structure by defining the opera-
tions
(x1, y1) ∗ (x2, y2) ∗ . . . := (x1 ∗ x2 ∗ . . . , y1 ∗ y2 ∗ . . .)
2 Morphisms JOSEPH MUSCAT 2013 3
(x1, y1) ∼ (x2, y2) ∼ . . . : ⇔ (x1 ∼ x2 ∼ . . .) and (y1 ∼ y2 ∼ . . .)
More generally, XA
is an algebra with
(f ∗ g ∗ . . .)(a) := f(a) ∗ g(a) ∗ . . . ,
f ∼ g ∼ . . . : ⇔ f(a) ∼ g(a) ∼ . . . ∀a ∈ A.
There is also a coproduct (or free product).
Quotients: An equivalence relation on X which is invariant under the op-
erations and relations is called a congruence (or stable relation), i.e.,
x1 ≈ x2, y1 ≈ y2, . . . ⇒ (x1 ∗ y1 ∗ . . .) ≈ (x2 ∗ y2 ∗ . . .)
and x1 ∼ y1 ∼ . . . ⇒ x2 ∼ y2 ∼ . . .
The operations and relations can then be extended to act on the set X/ ≈ of
equivalence classes
[x] ∗ [y] ∗ . . . := [x ∗ y ∗ . . .]
[x] ∼ [y] ∼ . . . : ⇔ x ∼ y ∼ . . .
i.e., the mapping φ : x → [x] is a morphism X → X/ ≈.
For example, indistinguishable elements form a congruent relation, that can
be factored away. An algebra that has only trivial congruent relations (x ∼
y ⇔ x = y or x ∼ y ⇔ True) is called simple: it has only trivial quotients.
The following three theorems apply when the relations satisfy x ∼ y ∼ . . . ⇔
φ(x) ∼ φ(y) ∼ . . .:
First isomorphism theorem: For any morphism φ : X → Y , the relation
φ(x) = φ(y) is a congruence (called the kernel of φ), such that the associated
quotient space
(X/≈) ∼= φX.
Second isomorphism theorem: If Y is a subalgebra of X, and ≈ is a con-
gruence on X, then ≈ is a congruence on Y , and Y/ ≈ is isomorphic to the
subalgebra Y ′
⊆ X/≈, consisting of all the equivalence classes that contain an
element of Y .
Third isomorphism theorem: If a congruence ≈1 is finer than another ≈2,
then ≈1 induces a congruence on X/ ≈2, and
X/≈1
∼= (X/≈2)/≈1 .
There are two senses in which a space X is ‘contained’ in a larger space Y :
1. externally, by embedding X in Y , i.e., there is an isomorphism X → B ⊆
Y , denoted X ⊂∼ Y because X is, effectively, a subspace of Y ;
2. internally, by covering X by Y , i.e., there is an onto morphism Y → X,
so X ∼= Y/ ker φ; each element of X is refined into several in Y .
3 Compatibility JOSEPH MUSCAT 2013 4
Theorem 2
Every finitely-generated algebra is a quotient of the
finitely-generated free algebra.
(the same is true if the operations have intrinsic properties, i.e., subalgebras,
quotients and products have the same properties)
3 Compatibility
An operation is associative when ∗(x, y, . . .) exists for every finite number of
terms, such that
∗(. . . , ∗(x, y, . . .), u, . . .) = ∗(. . . , x, y, . . . , u, . . .)
For example, x ∗ y ∗ z = (x ∗ y) ∗ z; so the operation reduces to three basic ones
0 := ∗(), ∗(x), ∗(x, y)
such that
0 ∗ x = ∗(x), (x ∗ y) ∗ z = x ∗ (y ∗ z).
Note that ∗(x) = ∗(y) is a stable equivalence relation (with respect to ∗), with
related elements being indistinguishable algebraically; but can assume ∗(x) = x
by taking the quotient space and renaming; in this case, 0 ∗ x = x.
An operation is distributive over another when
∗(. . . , ◦(x, y, . . .), z, . . .) = ◦(∗(. . . , x, z, . . .), ∗(. . . , y, z, . . .), . . .)
For 0-,1-,2-operations, this means
(0) 1 2
(0) (0 = 1) (0 = 0∗
) (0 ∗ x = 0 = x ∗ 0)
1 (1◦
= 1) x∗◦
= x◦∗
(x ∗ y)◦
= x◦
∗ y = x ∗ y◦
2 (x + y)∗
= x∗
+ y∗
x ∗ z + y ∗ z = (x + y) ∗ z
z ∗ x + z ∗ y = z ∗ (x + y)
Two operations commute when
∗(◦(x1, y1, . . .), ◦(x2, y2, . . .), . . .) = ◦(∗(x1, x2, . . .), ∗(y1, y2, . . .))
For 1-,2-operations, this means
0 1 2
0 0 = 1
1 x∗◦
= x◦∗
(x + y)∗
= x∗
+ y∗
2 (x1 + y1) ∗ (x2 + y2) = x1 ∗ x2 + y1 ∗ y2
3.1 Examples JOSEPH MUSCAT 2013 5
Commuting 2-operations with identities must actually be the same, and must
be commutative x ∗ y = y ∗ x and associative.
Proof: The identities are the same: 1 = 11 = (1 + 0)(0 + 1) = 10 + 01 =
0 + 0 = 0. ab = (a + 0)(0 + b) = a0 + 0b = a + b so the operations are the
same, and (ab)(cd) = (ac)(bd). Hence ab = (1a)(b1) = (1b)(a1) = ba and
a(bc) = (a1)(bc) = (ab)c.
In particular if an operation with identity commutes with itself, it must be
associative and commutative x ∗ y = y ∗ x.
3.1 Examples
1. The simplest example is a set with a single constant 0, sometimes called
the field with one element.
2. A set with a constant and a 1-operation; properties may be 0∗
= 0, x∗∗
=
x.
3. A set with a constant, a 1-operation, and a 2-operation: e.g. 0 ∗ x = x,
(x ∗ y)∗
= y∗
∗ x∗
.

More Related Content

What's hot

Optimization Approach to Nash Euilibria with Applications to Interchangeability
Optimization Approach to Nash Euilibria with Applications to InterchangeabilityOptimization Approach to Nash Euilibria with Applications to Interchangeability
Optimization Approach to Nash Euilibria with Applications to InterchangeabilityYosuke YASUDA
 
Chapter 5(partial differentiation)
Chapter 5(partial differentiation)Chapter 5(partial differentiation)
Chapter 5(partial differentiation)Eko Wijayanto
 
Interpolation with unequal interval
Interpolation with unequal intervalInterpolation with unequal interval
Interpolation with unequal intervalDr. Nirav Vyas
 
Numarical values
Numarical valuesNumarical values
Numarical valuesAmanSaeed11
 
Partial derivative1
Partial derivative1Partial derivative1
Partial derivative1Nidhu Sharma
 
Numarical values highlighted
Numarical values highlightedNumarical values highlighted
Numarical values highlightedAmanSaeed11
 
The Exponential and natural log functions
The Exponential and natural log functionsThe Exponential and natural log functions
The Exponential and natural log functionsJJkedst
 
Partial differentiation
Partial differentiationPartial differentiation
Partial differentiationTanuj Parikh
 
Transformation of random variables
Transformation of random variablesTransformation of random variables
Transformation of random variablesTarun Gehlot
 
Partial Derivatives
Partial DerivativesPartial Derivatives
Partial DerivativesAman Singh
 
Reformulation of Nash Equilibrium with an Application to Interchangeability
Reformulation of Nash Equilibrium with an Application to InterchangeabilityReformulation of Nash Equilibrium with an Application to Interchangeability
Reformulation of Nash Equilibrium with an Application to InterchangeabilityYosuke YASUDA
 
Interpolation with Finite differences
Interpolation with Finite differencesInterpolation with Finite differences
Interpolation with Finite differencesDr. Nirav Vyas
 
Andrei rusu-2013-amaa-workshop
Andrei rusu-2013-amaa-workshopAndrei rusu-2013-amaa-workshop
Andrei rusu-2013-amaa-workshopAndries Rusu
 
Lesson 19: Partial Derivatives
Lesson 19: Partial DerivativesLesson 19: Partial Derivatives
Lesson 19: Partial DerivativesMatthew Leingang
 
Eigenvalue eigenvector slides
Eigenvalue eigenvector slidesEigenvalue eigenvector slides
Eigenvalue eigenvector slidesAmanSaeed11
 
Newton divided difference interpolation
Newton divided difference interpolationNewton divided difference interpolation
Newton divided difference interpolationVISHAL DONGA
 
Partial derivatives love coffee.key
Partial derivatives love coffee.keyPartial derivatives love coffee.key
Partial derivatives love coffee.keyguest1a1479
 

What's hot (20)

Optimization Approach to Nash Euilibria with Applications to Interchangeability
Optimization Approach to Nash Euilibria with Applications to InterchangeabilityOptimization Approach to Nash Euilibria with Applications to Interchangeability
Optimization Approach to Nash Euilibria with Applications to Interchangeability
 
Chapter 5(partial differentiation)
Chapter 5(partial differentiation)Chapter 5(partial differentiation)
Chapter 5(partial differentiation)
 
Interpolation with unequal interval
Interpolation with unequal intervalInterpolation with unequal interval
Interpolation with unequal interval
 
Numarical values
Numarical valuesNumarical values
Numarical values
 
Partial derivative1
Partial derivative1Partial derivative1
Partial derivative1
 
Numarical values highlighted
Numarical values highlightedNumarical values highlighted
Numarical values highlighted
 
The Exponential and natural log functions
The Exponential and natural log functionsThe Exponential and natural log functions
The Exponential and natural log functions
 
Partial differentiation
Partial differentiationPartial differentiation
Partial differentiation
 
Transformation of random variables
Transformation of random variablesTransformation of random variables
Transformation of random variables
 
Partial Derivatives
Partial DerivativesPartial Derivatives
Partial Derivatives
 
Reformulation of Nash Equilibrium with an Application to Interchangeability
Reformulation of Nash Equilibrium with an Application to InterchangeabilityReformulation of Nash Equilibrium with an Application to Interchangeability
Reformulation of Nash Equilibrium with an Application to Interchangeability
 
Interpolation with Finite differences
Interpolation with Finite differencesInterpolation with Finite differences
Interpolation with Finite differences
 
Andrei rusu-2013-amaa-workshop
Andrei rusu-2013-amaa-workshopAndrei rusu-2013-amaa-workshop
Andrei rusu-2013-amaa-workshop
 
Lesson 19: Partial Derivatives
Lesson 19: Partial DerivativesLesson 19: Partial Derivatives
Lesson 19: Partial Derivatives
 
Eigenvalue eigenvector slides
Eigenvalue eigenvector slidesEigenvalue eigenvector slides
Eigenvalue eigenvector slides
 
Unit iv
Unit ivUnit iv
Unit iv
 
Newton divided difference interpolation
Newton divided difference interpolationNewton divided difference interpolation
Newton divided difference interpolation
 
Partial derivatives love coffee.key
Partial derivatives love coffee.keyPartial derivatives love coffee.key
Partial derivatives love coffee.key
 
Dag in mmhc
Dag in mmhcDag in mmhc
Dag in mmhc
 
Analytic function
Analytic functionAnalytic function
Analytic function
 

Similar to Universal algebra (1)

GATE Engineering Maths : Limit, Continuity and Differentiability
GATE Engineering Maths : Limit, Continuity and DifferentiabilityGATE Engineering Maths : Limit, Continuity and Differentiability
GATE Engineering Maths : Limit, Continuity and DifferentiabilityParthDave57
 
Some Other Properties of Fuzzy Filters on Lattice Implication Algebras
Some Other Properties of Fuzzy Filters on Lattice Implication AlgebrasSome Other Properties of Fuzzy Filters on Lattice Implication Algebras
Some Other Properties of Fuzzy Filters on Lattice Implication Algebrasijceronline
 
Advanced Microeconomics
Advanced MicroeconomicsAdvanced Microeconomics
Advanced MicroeconomicsJim Webb
 
MA500-2 Topological Structures 2016Aisling McCluskey, Dar.docx
MA500-2 Topological Structures 2016Aisling McCluskey, Dar.docxMA500-2 Topological Structures 2016Aisling McCluskey, Dar.docx
MA500-2 Topological Structures 2016Aisling McCluskey, Dar.docxsmile790243
 
Existence Theory for Second Order Nonlinear Functional Random Differential Eq...
Existence Theory for Second Order Nonlinear Functional Random Differential Eq...Existence Theory for Second Order Nonlinear Functional Random Differential Eq...
Existence Theory for Second Order Nonlinear Functional Random Differential Eq...IOSR Journals
 
Expectation of Discrete Random Variable.ppt
Expectation of Discrete Random Variable.pptExpectation of Discrete Random Variable.ppt
Expectation of Discrete Random Variable.pptAlyasarJabbarli
 
Finance Enginering from Columbia.pdf
Finance Enginering from Columbia.pdfFinance Enginering from Columbia.pdf
Finance Enginering from Columbia.pdfCarlosLazo45
 
February 11 2016
February 11 2016February 11 2016
February 11 2016khyps13
 
Differentiation
DifferentiationDifferentiation
Differentiationpuspitaaya
 
5.3 Basic functions. Dynamic slides.
5.3 Basic functions. Dynamic slides.5.3 Basic functions. Dynamic slides.
5.3 Basic functions. Dynamic slides.Jan Plaza
 
Quantitative Techniques random variables
Quantitative Techniques random variablesQuantitative Techniques random variables
Quantitative Techniques random variablesRohan Bhatkar
 
Interval valued intuitionistic fuzzy homomorphism of bf algebras
Interval valued intuitionistic fuzzy homomorphism of bf algebrasInterval valued intuitionistic fuzzy homomorphism of bf algebras
Interval valued intuitionistic fuzzy homomorphism of bf algebrasAlexander Decker
 
A Study on Intuitionistic Multi-Anti Fuzzy Subgroups
A Study on Intuitionistic Multi-Anti Fuzzy Subgroups A Study on Intuitionistic Multi-Anti Fuzzy Subgroups
A Study on Intuitionistic Multi-Anti Fuzzy Subgroups mathsjournal
 
A Study on Intuitionistic Multi-Anti Fuzzy Subgroups
A Study on Intuitionistic Multi-Anti Fuzzy SubgroupsA Study on Intuitionistic Multi-Anti Fuzzy Subgroups
A Study on Intuitionistic Multi-Anti Fuzzy Subgroupsmathsjournal
 
Differential Calculus
Differential Calculus Differential Calculus
Differential Calculus OlooPundit
 

Similar to Universal algebra (1) (20)

Pmath 351 note
Pmath 351 notePmath 351 note
Pmath 351 note
 
GATE Engineering Maths : Limit, Continuity and Differentiability
GATE Engineering Maths : Limit, Continuity and DifferentiabilityGATE Engineering Maths : Limit, Continuity and Differentiability
GATE Engineering Maths : Limit, Continuity and Differentiability
 
Some Other Properties of Fuzzy Filters on Lattice Implication Algebras
Some Other Properties of Fuzzy Filters on Lattice Implication AlgebrasSome Other Properties of Fuzzy Filters on Lattice Implication Algebras
Some Other Properties of Fuzzy Filters on Lattice Implication Algebras
 
Advanced Microeconomics
Advanced MicroeconomicsAdvanced Microeconomics
Advanced Microeconomics
 
MA500-2 Topological Structures 2016Aisling McCluskey, Dar.docx
MA500-2 Topological Structures 2016Aisling McCluskey, Dar.docxMA500-2 Topological Structures 2016Aisling McCluskey, Dar.docx
MA500-2 Topological Structures 2016Aisling McCluskey, Dar.docx
 
Existence Theory for Second Order Nonlinear Functional Random Differential Eq...
Existence Theory for Second Order Nonlinear Functional Random Differential Eq...Existence Theory for Second Order Nonlinear Functional Random Differential Eq...
Existence Theory for Second Order Nonlinear Functional Random Differential Eq...
 
Expectation of Discrete Random Variable.ppt
Expectation of Discrete Random Variable.pptExpectation of Discrete Random Variable.ppt
Expectation of Discrete Random Variable.ppt
 
Alg grp
Alg grpAlg grp
Alg grp
 
Limits and derivatives
Limits and derivativesLimits and derivatives
Limits and derivatives
 
Finance Enginering from Columbia.pdf
Finance Enginering from Columbia.pdfFinance Enginering from Columbia.pdf
Finance Enginering from Columbia.pdf
 
February 11 2016
February 11 2016February 11 2016
February 11 2016
 
Differentiation
DifferentiationDifferentiation
Differentiation
 
5.3 Basic functions. Dynamic slides.
5.3 Basic functions. Dynamic slides.5.3 Basic functions. Dynamic slides.
5.3 Basic functions. Dynamic slides.
 
Quantitative Techniques random variables
Quantitative Techniques random variablesQuantitative Techniques random variables
Quantitative Techniques random variables
 
Interval valued intuitionistic fuzzy homomorphism of bf algebras
Interval valued intuitionistic fuzzy homomorphism of bf algebrasInterval valued intuitionistic fuzzy homomorphism of bf algebras
Interval valued intuitionistic fuzzy homomorphism of bf algebras
 
polynomials_.pdf
polynomials_.pdfpolynomials_.pdf
polynomials_.pdf
 
A Study on Intuitionistic Multi-Anti Fuzzy Subgroups
A Study on Intuitionistic Multi-Anti Fuzzy Subgroups A Study on Intuitionistic Multi-Anti Fuzzy Subgroups
A Study on Intuitionistic Multi-Anti Fuzzy Subgroups
 
A Study on Intuitionistic Multi-Anti Fuzzy Subgroups
A Study on Intuitionistic Multi-Anti Fuzzy SubgroupsA Study on Intuitionistic Multi-Anti Fuzzy Subgroups
A Study on Intuitionistic Multi-Anti Fuzzy Subgroups
 
Slides mc gill-v4
Slides mc gill-v4Slides mc gill-v4
Slides mc gill-v4
 
Differential Calculus
Differential Calculus Differential Calculus
Differential Calculus
 

Recently uploaded

Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...Krashi Coaching
 
Accessible design: Minimum effort, maximum impact
Accessible design: Minimum effort, maximum impactAccessible design: Minimum effort, maximum impact
Accessible design: Minimum effort, maximum impactdawncurless
 
Introduction to ArtificiaI Intelligence in Higher Education
Introduction to ArtificiaI Intelligence in Higher EducationIntroduction to ArtificiaI Intelligence in Higher Education
Introduction to ArtificiaI Intelligence in Higher Educationpboyjonauth
 
APM Welcome, APM North West Network Conference, Synergies Across Sectors
APM Welcome, APM North West Network Conference, Synergies Across SectorsAPM Welcome, APM North West Network Conference, Synergies Across Sectors
APM Welcome, APM North West Network Conference, Synergies Across SectorsAssociation for Project Management
 
mini mental status format.docx
mini    mental       status     format.docxmini    mental       status     format.docx
mini mental status format.docxPoojaSen20
 
Sanyam Choudhary Chemistry practical.pdf
Sanyam Choudhary Chemistry practical.pdfSanyam Choudhary Chemistry practical.pdf
Sanyam Choudhary Chemistry practical.pdfsanyamsingh5019
 
Mastering the Unannounced Regulatory Inspection
Mastering the Unannounced Regulatory InspectionMastering the Unannounced Regulatory Inspection
Mastering the Unannounced Regulatory InspectionSafetyChain Software
 
18-04-UA_REPORT_MEDIALITERAСY_INDEX-DM_23-1-final-eng.pdf
18-04-UA_REPORT_MEDIALITERAСY_INDEX-DM_23-1-final-eng.pdf18-04-UA_REPORT_MEDIALITERAСY_INDEX-DM_23-1-final-eng.pdf
18-04-UA_REPORT_MEDIALITERAСY_INDEX-DM_23-1-final-eng.pdfssuser54595a
 
Alper Gobel In Media Res Media Component
Alper Gobel In Media Res Media ComponentAlper Gobel In Media Res Media Component
Alper Gobel In Media Res Media ComponentInMediaRes1
 
URLs and Routing in the Odoo 17 Website App
URLs and Routing in the Odoo 17 Website AppURLs and Routing in the Odoo 17 Website App
URLs and Routing in the Odoo 17 Website AppCeline George
 
Call Girls in Dwarka Mor Delhi Contact Us 9654467111
Call Girls in Dwarka Mor Delhi Contact Us 9654467111Call Girls in Dwarka Mor Delhi Contact Us 9654467111
Call Girls in Dwarka Mor Delhi Contact Us 9654467111Sapana Sha
 
Hybridoma Technology ( Production , Purification , and Application )
Hybridoma Technology  ( Production , Purification , and Application  ) Hybridoma Technology  ( Production , Purification , and Application  )
Hybridoma Technology ( Production , Purification , and Application ) Sakshi Ghasle
 
Solving Puzzles Benefits Everyone (English).pptx
Solving Puzzles Benefits Everyone (English).pptxSolving Puzzles Benefits Everyone (English).pptx
Solving Puzzles Benefits Everyone (English).pptxOH TEIK BIN
 
_Math 4-Q4 Week 5.pptx Steps in Collecting Data
_Math 4-Q4 Week 5.pptx Steps in Collecting Data_Math 4-Q4 Week 5.pptx Steps in Collecting Data
_Math 4-Q4 Week 5.pptx Steps in Collecting DataJhengPantaleon
 
Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...
Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...
Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...EduSkills OECD
 
Measures of Central Tendency: Mean, Median and Mode
Measures of Central Tendency: Mean, Median and ModeMeasures of Central Tendency: Mean, Median and Mode
Measures of Central Tendency: Mean, Median and ModeThiyagu K
 
Contemporary philippine arts from the regions_PPT_Module_12 [Autosaved] (1).pptx
Contemporary philippine arts from the regions_PPT_Module_12 [Autosaved] (1).pptxContemporary philippine arts from the regions_PPT_Module_12 [Autosaved] (1).pptx
Contemporary philippine arts from the regions_PPT_Module_12 [Autosaved] (1).pptxRoyAbrique
 
Q4-W6-Restating Informational Text Grade 3
Q4-W6-Restating Informational Text Grade 3Q4-W6-Restating Informational Text Grade 3
Q4-W6-Restating Informational Text Grade 3JemimahLaneBuaron
 
Industrial Policy - 1948, 1956, 1973, 1977, 1980, 1991
Industrial Policy - 1948, 1956, 1973, 1977, 1980, 1991Industrial Policy - 1948, 1956, 1973, 1977, 1980, 1991
Industrial Policy - 1948, 1956, 1973, 1977, 1980, 1991RKavithamani
 

Recently uploaded (20)

Código Creativo y Arte de Software | Unidad 1
Código Creativo y Arte de Software | Unidad 1Código Creativo y Arte de Software | Unidad 1
Código Creativo y Arte de Software | Unidad 1
 
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
 
Accessible design: Minimum effort, maximum impact
Accessible design: Minimum effort, maximum impactAccessible design: Minimum effort, maximum impact
Accessible design: Minimum effort, maximum impact
 
Introduction to ArtificiaI Intelligence in Higher Education
Introduction to ArtificiaI Intelligence in Higher EducationIntroduction to ArtificiaI Intelligence in Higher Education
Introduction to ArtificiaI Intelligence in Higher Education
 
APM Welcome, APM North West Network Conference, Synergies Across Sectors
APM Welcome, APM North West Network Conference, Synergies Across SectorsAPM Welcome, APM North West Network Conference, Synergies Across Sectors
APM Welcome, APM North West Network Conference, Synergies Across Sectors
 
mini mental status format.docx
mini    mental       status     format.docxmini    mental       status     format.docx
mini mental status format.docx
 
Sanyam Choudhary Chemistry practical.pdf
Sanyam Choudhary Chemistry practical.pdfSanyam Choudhary Chemistry practical.pdf
Sanyam Choudhary Chemistry practical.pdf
 
Mastering the Unannounced Regulatory Inspection
Mastering the Unannounced Regulatory InspectionMastering the Unannounced Regulatory Inspection
Mastering the Unannounced Regulatory Inspection
 
18-04-UA_REPORT_MEDIALITERAСY_INDEX-DM_23-1-final-eng.pdf
18-04-UA_REPORT_MEDIALITERAСY_INDEX-DM_23-1-final-eng.pdf18-04-UA_REPORT_MEDIALITERAСY_INDEX-DM_23-1-final-eng.pdf
18-04-UA_REPORT_MEDIALITERAСY_INDEX-DM_23-1-final-eng.pdf
 
Alper Gobel In Media Res Media Component
Alper Gobel In Media Res Media ComponentAlper Gobel In Media Res Media Component
Alper Gobel In Media Res Media Component
 
URLs and Routing in the Odoo 17 Website App
URLs and Routing in the Odoo 17 Website AppURLs and Routing in the Odoo 17 Website App
URLs and Routing in the Odoo 17 Website App
 
Call Girls in Dwarka Mor Delhi Contact Us 9654467111
Call Girls in Dwarka Mor Delhi Contact Us 9654467111Call Girls in Dwarka Mor Delhi Contact Us 9654467111
Call Girls in Dwarka Mor Delhi Contact Us 9654467111
 
Hybridoma Technology ( Production , Purification , and Application )
Hybridoma Technology  ( Production , Purification , and Application  ) Hybridoma Technology  ( Production , Purification , and Application  )
Hybridoma Technology ( Production , Purification , and Application )
 
Solving Puzzles Benefits Everyone (English).pptx
Solving Puzzles Benefits Everyone (English).pptxSolving Puzzles Benefits Everyone (English).pptx
Solving Puzzles Benefits Everyone (English).pptx
 
_Math 4-Q4 Week 5.pptx Steps in Collecting Data
_Math 4-Q4 Week 5.pptx Steps in Collecting Data_Math 4-Q4 Week 5.pptx Steps in Collecting Data
_Math 4-Q4 Week 5.pptx Steps in Collecting Data
 
Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...
Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...
Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...
 
Measures of Central Tendency: Mean, Median and Mode
Measures of Central Tendency: Mean, Median and ModeMeasures of Central Tendency: Mean, Median and Mode
Measures of Central Tendency: Mean, Median and Mode
 
Contemporary philippine arts from the regions_PPT_Module_12 [Autosaved] (1).pptx
Contemporary philippine arts from the regions_PPT_Module_12 [Autosaved] (1).pptxContemporary philippine arts from the regions_PPT_Module_12 [Autosaved] (1).pptx
Contemporary philippine arts from the regions_PPT_Module_12 [Autosaved] (1).pptx
 
Q4-W6-Restating Informational Text Grade 3
Q4-W6-Restating Informational Text Grade 3Q4-W6-Restating Informational Text Grade 3
Q4-W6-Restating Informational Text Grade 3
 
Industrial Policy - 1948, 1956, 1973, 1977, 1980, 1991
Industrial Policy - 1948, 1956, 1973, 1977, 1980, 1991Industrial Policy - 1948, 1956, 1973, 1977, 1980, 1991
Industrial Policy - 1948, 1956, 1973, 1977, 1980, 1991
 

Universal algebra (1)

  • 1. 1 Operations JOSEPH MUSCAT 2013 1 Universal Algebras 1 Operations A universal algebra is a set X with some operations ∗ : Xn → X and relations1 ∼⊆ Xm . For example, there may be specific constants (n = 0), functions (n = 1), and operations (n = 2), etc. An n-ary operation is usually written as x∗y∗. . . instead of ∗(x, y, . . .), and an m-ary relation as x ∼ y ∼ . . . instead of ∼ (x, y, . . .). Elements are indistinguishable when ∗(. . . , x, . . .) = ∗(. . . , y, . . .), ∼ (. . . , x, . . .) ⇔ ∼ (. . . , y, . . .). A subalgebra is a subset closed under all the operations x, y, . . . ∈ Y ⇒ x ∗ y ∗ . . . ∈ Y (The relations are obviously inherited.) If Ai are subalgebras, then i Ai is a subalgebra. [[A]], the subalgebra generated by A, is the smallest subalgebra containing A, [[A]] := { Y ⊆ X : A ⊆ Y, Y is a subalgebra } Hence A ⊆ Y ⇔ [[A]] ⊆ Y (for any subalgebra Y ). A ∩ B is the largest subalgebra contained in the algebras A and B; [[A ∪ B]] is the smallest containing them. The collection of subalgebras form a complete lattice. For any subsets, A ⊆ [[A]], [[[[A]]]] = [[A]] A ⊆ B ⇒ [[A]] ⊆ [[B]]. The map A → [[A]] is thus a ‘closure’ map on the lattice of subsets of X, with the ‘closed sets’ being the subalgebras. Proof. Let x, y, . . . ∈ [[A]], then for any Y ⊇ A, x ∗ y ∗ · · · ∈ Y , so x ∗ y ∗ · · · ∈ [[A]]. Hence A ⊆ B ⊆ [[B]] gives [[A]] ⊆ [[B]]. Also [[A]] ⊆ [[A]], so [[[[A]]]] ⊆ [[A]] ⊆ [[[[A]]]]. When the number of operations is finite, the generated subalgebra can be constructed recursively as [[A]] = n∈N Bn where B0 := A, Bn+ := Bn ∪ ∗ ∗(Bn). 1Relations are not usually included in the definition of universal algebras.
  • 2. 2 Morphisms JOSEPH MUSCAT 2013 2 Proof: that Bn ⊆ [[A]] and A = B0 ⊆ Bn are obvious (by induction); if x, . . . , y ∈ n Bn then x ∈ Bn1 , . . . , y ∈ Bnk , so ∃r, x, . . . , y ∈ Br and ∗(x, . . . , y) ∈ Br+ ⊆ n Bn; so [[A]] = n Bn. Hence if A is countable, so is [[A]]. The free algebra generated by A is that algebra in which x∗y∗. . . are distinct from each other, for any x, y, . . . ∈ A, and there are no relations. 2 Morphisms The morphisms (also called homomorphisms) between compatible universal algebras (i.e., with the same type of operations and relations) are those functions φ : X → Y which preserve all the operations and relations φ(x ∗ y ∗ . . .) = φ(x) ∗ φ(y) ∗ . . . x ∼ y ∼ . . . ⇒ φ(x) ∼ φ(y) ∼ . . . For the constants, functions, and binary operations, this means φ(cX) = cY , φ(fX(x)) = fY (φ(x)), φ(x ∗ y) = φ(x) ∗ φ(y). An algebra with its morphisms forms a category. Without relations, a mor- phism is an isomorphism when it is bijective (since φ(φ−1 (x) ∗ φ−1 (y) ∗ . . .) = x ∗ y ∗ . . ., so φ−1 is a morphism). The monomorphisms are the 1-1 morphisms; the epimorphisms are the onto morphisms. Proposition 1 For a morphism φ : X → Y , if A is a subalgebra of X, then so is φA; for any subset S ⊆ X, φ[[S]] = [[φS]]; if B is a subalgebra of Y , then so is φ−1 B. Proof. If φ(x), φ(y), . . . ∈ φA, then φ(x) ∗ φ(y) ∗ · · · = φ(x ∗ y ∗ · · · ) ∈ φA since A is a subalgebra. Let x, y, . . . ∈ φ−1 B, i.e., φ(x), φ(y), . . . ∈ B, then φ(x∗y ∗· · · ) = φ(x)∗φ(y)∗· · · ∈ B, hence x∗y ∗· · · ∈ φ−1 B. Finally, if φA ⊆ C (a subalgebra of Y ), then A ⊆ [[A]] ⊆ φ−1 C, so [[φA]] = φ[[A]]. Products: X × Y can be given an algebra structure by defining the opera- tions (x1, y1) ∗ (x2, y2) ∗ . . . := (x1 ∗ x2 ∗ . . . , y1 ∗ y2 ∗ . . .)
  • 3. 2 Morphisms JOSEPH MUSCAT 2013 3 (x1, y1) ∼ (x2, y2) ∼ . . . : ⇔ (x1 ∼ x2 ∼ . . .) and (y1 ∼ y2 ∼ . . .) More generally, XA is an algebra with (f ∗ g ∗ . . .)(a) := f(a) ∗ g(a) ∗ . . . , f ∼ g ∼ . . . : ⇔ f(a) ∼ g(a) ∼ . . . ∀a ∈ A. There is also a coproduct (or free product). Quotients: An equivalence relation on X which is invariant under the op- erations and relations is called a congruence (or stable relation), i.e., x1 ≈ x2, y1 ≈ y2, . . . ⇒ (x1 ∗ y1 ∗ . . .) ≈ (x2 ∗ y2 ∗ . . .) and x1 ∼ y1 ∼ . . . ⇒ x2 ∼ y2 ∼ . . . The operations and relations can then be extended to act on the set X/ ≈ of equivalence classes [x] ∗ [y] ∗ . . . := [x ∗ y ∗ . . .] [x] ∼ [y] ∼ . . . : ⇔ x ∼ y ∼ . . . i.e., the mapping φ : x → [x] is a morphism X → X/ ≈. For example, indistinguishable elements form a congruent relation, that can be factored away. An algebra that has only trivial congruent relations (x ∼ y ⇔ x = y or x ∼ y ⇔ True) is called simple: it has only trivial quotients. The following three theorems apply when the relations satisfy x ∼ y ∼ . . . ⇔ φ(x) ∼ φ(y) ∼ . . .: First isomorphism theorem: For any morphism φ : X → Y , the relation φ(x) = φ(y) is a congruence (called the kernel of φ), such that the associated quotient space (X/≈) ∼= φX. Second isomorphism theorem: If Y is a subalgebra of X, and ≈ is a con- gruence on X, then ≈ is a congruence on Y , and Y/ ≈ is isomorphic to the subalgebra Y ′ ⊆ X/≈, consisting of all the equivalence classes that contain an element of Y . Third isomorphism theorem: If a congruence ≈1 is finer than another ≈2, then ≈1 induces a congruence on X/ ≈2, and X/≈1 ∼= (X/≈2)/≈1 . There are two senses in which a space X is ‘contained’ in a larger space Y : 1. externally, by embedding X in Y , i.e., there is an isomorphism X → B ⊆ Y , denoted X ⊂∼ Y because X is, effectively, a subspace of Y ; 2. internally, by covering X by Y , i.e., there is an onto morphism Y → X, so X ∼= Y/ ker φ; each element of X is refined into several in Y .
  • 4. 3 Compatibility JOSEPH MUSCAT 2013 4 Theorem 2 Every finitely-generated algebra is a quotient of the finitely-generated free algebra. (the same is true if the operations have intrinsic properties, i.e., subalgebras, quotients and products have the same properties) 3 Compatibility An operation is associative when ∗(x, y, . . .) exists for every finite number of terms, such that ∗(. . . , ∗(x, y, . . .), u, . . .) = ∗(. . . , x, y, . . . , u, . . .) For example, x ∗ y ∗ z = (x ∗ y) ∗ z; so the operation reduces to three basic ones 0 := ∗(), ∗(x), ∗(x, y) such that 0 ∗ x = ∗(x), (x ∗ y) ∗ z = x ∗ (y ∗ z). Note that ∗(x) = ∗(y) is a stable equivalence relation (with respect to ∗), with related elements being indistinguishable algebraically; but can assume ∗(x) = x by taking the quotient space and renaming; in this case, 0 ∗ x = x. An operation is distributive over another when ∗(. . . , ◦(x, y, . . .), z, . . .) = ◦(∗(. . . , x, z, . . .), ∗(. . . , y, z, . . .), . . .) For 0-,1-,2-operations, this means (0) 1 2 (0) (0 = 1) (0 = 0∗ ) (0 ∗ x = 0 = x ∗ 0) 1 (1◦ = 1) x∗◦ = x◦∗ (x ∗ y)◦ = x◦ ∗ y = x ∗ y◦ 2 (x + y)∗ = x∗ + y∗ x ∗ z + y ∗ z = (x + y) ∗ z z ∗ x + z ∗ y = z ∗ (x + y) Two operations commute when ∗(◦(x1, y1, . . .), ◦(x2, y2, . . .), . . .) = ◦(∗(x1, x2, . . .), ∗(y1, y2, . . .)) For 1-,2-operations, this means 0 1 2 0 0 = 1 1 x∗◦ = x◦∗ (x + y)∗ = x∗ + y∗ 2 (x1 + y1) ∗ (x2 + y2) = x1 ∗ x2 + y1 ∗ y2
  • 5. 3.1 Examples JOSEPH MUSCAT 2013 5 Commuting 2-operations with identities must actually be the same, and must be commutative x ∗ y = y ∗ x and associative. Proof: The identities are the same: 1 = 11 = (1 + 0)(0 + 1) = 10 + 01 = 0 + 0 = 0. ab = (a + 0)(0 + b) = a0 + 0b = a + b so the operations are the same, and (ab)(cd) = (ac)(bd). Hence ab = (1a)(b1) = (1b)(a1) = ba and a(bc) = (a1)(bc) = (ab)c. In particular if an operation with identity commutes with itself, it must be associative and commutative x ∗ y = y ∗ x. 3.1 Examples 1. The simplest example is a set with a single constant 0, sometimes called the field with one element. 2. A set with a constant and a 1-operation; properties may be 0∗ = 0, x∗∗ = x. 3. A set with a constant, a 1-operation, and a 2-operation: e.g. 0 ∗ x = x, (x ∗ y)∗ = y∗ ∗ x∗ .