SubjectsSubjects(version: 811)
Course, academic year 2017/2018
   Login via CAS
Universal Algebra 1 - NMAG405
Czech title: Universální algebra 1
Guaranteed by: Department of Algebra (32-KA)
Faculty: Faculty of Mathematics and Physics
Actual: from 2017
Semester: winter
E-Credits: 5
Hours per week, examination: winter s.:2/2 C+Ex [hours/week]
Capacity: unlimited
Min. number of students: unlimited
State of the course: taught
Language: English, Czech
Teaching methods: full-time
Additional information:
Guarantor: doc. Mgr. Libor Barto, Ph.D.
Class: M Mgr. MSTR
M Mgr. MSTR > Povinné
Classification: Informatics > Theoretical Computer Science
Mathematics > Algebra
Incompatibility : NALG103
Interchangeability : NALG103
Annotation -
Last update: T_KA (09.05.2013)

Basic course in universal algebra.
Terms of passing the course
Last update: doc. Mgr. Libor Barto, Ph.D. (11.10.2017)

The sum of 4 best scores out of 5 written homeworks must be at least 60% of the maximum.

Additional homework will be assigned in case of failure, with a minimum of 60% marks for success.

It is necessary to fulfil this requirement before taking the exam.

Literature -
Last update: doc. Mgr. et Mgr. Jan Žemlička, Ph.D. (06.09.2013)

Clifford Bergman: Universal algebra: Fundamentals and selected topics. Chapman and Hall, 2011.

Stanley N. Burris, H. P. Sankappanavar: A course in universal algebra. Springer-Verlag, 1981.

Ralph McKenzie, George McNulty, Walter Taylor: Algebras, Lattices, Varieties, vol. 1. Wadsworth and Brooks/Cole, 1987.

Requirements to the exam
Last update: doc. Mgr. Libor Barto, Ph.D. (11.10.2017)

Written exam consists of 4 questions based on the material covered in the lectures or in the practicals.

The written exam is followed by oral examination. The final mark is determined by combining the results of the written and oral parts.

Syllabus -
Last update: doc. Mgr. et Mgr. Jan Žemlička, Ph.D. (06.09.2013)

Basic notions and constructions in nniversal algebra.


Isomorphism theorems.

Direct and subdirect decomposition.

Varieties and equational theories.

Algebraic and relation clones.

Malcev conditions.

Charles University | Information system of Charles University |