Universal Algebra 2 - NMAG450

• Title: Universální algebra 2
• Guaranteed by: Department of Algebra (32-KA)
• Faculty: Faculty of Mathematics and Physics
• Actual: from 2016 to 2016
• Semester: summer
• E-Credits: 4
• Hours per week, examination: summer s.:2/1, C+Ex [HT]
• Capacity: unlimited
• Min. number of students: unlimited
• 4EU+: no
• Virtual mobility / capacity: no
• State of the course: taught
• Language: English, Czech
• Teaching methods: full-time
• Teaching methods: full-time
• Guarantor: Michael Pinsker, dipl. ing.
• Class: M Mgr. MSTR; M Mgr. MSTR > Povinně volitelné
• Classification: Mathematics > Algebra
• Incompatibility : NALG104
• Interchangeability : NALG104
• Is interchangeable with: NALG104

Annotation

English

Last update: T_KA (14.05.2013)

Basic course in universal algebra.

Czech

Last update: T_KA (14.05.2013)

Základní přednáška z univerzální algebry pro obor Matematické struktury.

Literature

Last update: Michael Kompatscher, Ph.D. (21.02.2019)

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 Kompatscher, Ph.D. (21.02.2019)

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.