Lecturer(s)
|
-
Chajda Ivan, prof. RNDr. DrSc.
-
Kühr Jan, prof. RNDr. Ph.D.
|
Course content
|
1. Concept of algebras, subalgebras, homomorphisms. Concept of congruence and quotient algebras. 2. Construction of direct and subdirect products. 3. Homomorphism and isomorphism theorems. 4. Operators H, S, P, varieties of algebras. 5. Free algebras, the algebra of terms, identities. 6. Subdirectly irreducible algebras. 7. Deductive closure and equational logics. 8. Congruence conditions. 9. Maltsev conditions on varieties. 10. Congruence distributivity, modularity and permutability, regular varieties. 11. Primal and functionally complete algebras.
|
Learning activities and teaching methods
|
Lecture
|
Learning outcomes
|
There are studied basis of universal algebra containing the basic constructions (subalgebra, quotient algebra, direct product), then are studied varieties of algebras (free algebras, subdirectly irreducible algebras). We go on with congruence conditions and the equational logic.
1. Knowledge Advanced theory of universal algebras is presented. Varieties of algebras are treated. Congruence conditions are classified by mens of free algebras.
|
Prerequisites
|
unspecified
|
Assessment methods and criteria
|
Oral exam, Written exam
Knowledge of the basic construction (subalgebras, homomorphic images, quotient algebras, direct and subdirect products). Homomorphism and isomorphism theorems. Subdirectly irreducible algebras. Free algebras, terms, induction over the term complexity. Varieties of algebras. Birkhoff theorems. Equacional logic. Congruence conditions.
|
Recommended literature
|
-
Burris S., Sankappanavar H.P. (1981). A Course in Universal Algebra. Springer-Verlag, N.Y. (new alectronic vesion, 1999 in Internet).
-
Grätzer G. (1979). Universal Algebra, 2nd ed.. Springer-Verlag, New York.
-
Chajda I., Glazek K. (2000). A Basic Course on General Algebra. Technical University Press, Zielona Góra.
|