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

Basic course in universal algebra.
Literature
Last update: Michael Pinsker, dipl. ing. (24.02.2016)

L. Barto, M. Kozik, Absorbing subalgebras, cyclic terms and the constraint satisfaction problem, Logical Methods in Computer Science 8/1:07 (2012), 1-26.

L. Barto, M. Kozik, D. Stanovsky, Mal'tsev conditions, lack of absorption, and solvability, Algebra Universalis 74/1-2 (2015), 185-206.

Both available from the first author's website.

Supporting literature examples:

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

Stanley 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.

David Hobby, Ralph McKenzie: The structure of finite algebras. American Mathematical Society, 1988.

Syllabus
Last update: Michael Pinsker, dipl. ing. (22.02.2017)

The goal is the proof of a recent result in universal algebra, due to Barto and Kozik: the characterization of finitely generated Taylor varieties in terms of absorbing subalgebras and in terms of cyclic terms.

It is going to place on Tuesdays 17:20, room to be determined,

with accompanying exercises on Tuesdays 15:40, once every two weeks, room to be determined.

 
Charles University | Information system of Charles University | http://www.cuni.cz/UKEN-329.html