Universal Algebra

Code: MA728 | L-T-P-C: 4-0-0-8

MA728 Universal Algebra

Complete lattices, equivalence relations, algebras, subalgebras, homomorphism theorems, products, congruences, free algebras, term algebras, identities, subdirect products, subdirectly irreducible algebras, class operators, varieties, Birkhoff's variety theorem, congruence varieties, equational logic, equational theories, bases of varieties, many-sorted algebras.

Texts:

1. S. Burris and H. P. Sanppanavar, A Course in Universal Algebra, Springer, 1982.
2. G. Gratzer, Universal Algebra, II ed., Springer, 1979.
3. W. Wechler, Universal Algebra for Computer Scientists, Springer, 1992.
4. H. Ehrig and B. Mahr, Fundamentals of Algebraic Specification 1:Equations and Initial Semantics, Springer, 1985