Mathematical Structures
Coordinated by: Department of Algebra
Study branch coordinator: doc. RNDr. Jan Šťovíček, Ph.D.
The curriculum is focused on extending general mathematical background (algebraic geometry and topology, Riemann geometry, universal algebra and model theory) and obtaining deeper knowledge in selected topics of algebra, geometry, logic, and combinatorics. The aim is to provide sufficient general knowledge of modern structural mathematics and to bring students up to the threshold of independent research activity. Emphasis is laid on topics taught by instructors who have achieved worldwide recognition in their field of research.
A graduate has advanced knowledge in algebra, geometry, combinatorics and logic. He/she is in close contact with the latest results of contemporary research in the selected field. The abstract approach, extensiveness and intensiveness of the programme result in the development of the ability to analyse, structure and solve complex and difficult problems. Graduates may pursue an academic career or realize themselves in jobs that involve mastering new knowledge and control of complex systems.
Assumed knowledge
It is assumed that an incoming student of this branch has sufficient knowledge of the following topics and fields:
- –Linear algebra, real and complex analysis,
and probability theory.
- –Foundations of group theory (Sylow theorems, free groups, nilpotence), analysis on manifolds, commutative algebra (Galois theory, integral extensions), mathematical logic (propositional and first order logic, incompleteness and undecidability), set theory and category theory.
Deeper knowledge of combinatorics, representation theory of associative algebras (finiteness conditions, projective and injective modules) and Lie theory is an advantage (but not a necessity) for individual subject areas of this branch.
Should an incoming student not meet these entry requirements, the coordinator of the study programme may assign a method of acquiring the necessary knowledge and abilities, which may for example mean taking selected bachelor's courses, taking a reading course with an instructor, or following tutored independent study.
2.1 Obligatory Courses
Code | Subject | Credits | Winter | Summer | |
NMAG401 | Algebraic Geometry | 5 | 2/2 C+Ex | — | |
NMAG409 | Algebraic Topology 1 | 5 | 2/2 C+Ex | — | |
NMAG411 | Riemannian Geometry 1 | 5 | 2/2 C+Ex | — | |
NSZZ023 | Diploma Thesis I | 6 | — | 0/4 C | |
NSZZ024 | Diploma Thesis II | 9 | 0/6 C | — | |
NSZZ025 | Diploma Thesis III | 15 | — | 0/10 C |
2.2 Elective Courses
Set 1
It is required to earn at least 48 credits from the following elective courses.
Code | Subject | Credits | Winter | Summer | |
NDMI009 | Introduction to Combinatorial and Computational Geometry | 5 | 2/2 C+Ex | — | |
NDMI013 | Combinatorial and Computational Geometry 2 | 5 | — | 2/2 C+Ex | |
NDMI014 | Topological Methods in Combinatorics | 5 | — | 2/2 C+Ex | |
NDMI028 | Linear Algebra Applications in Combinatorics | 5 | 2/2 C+Ex | — | |
NDMI045 | Analytic and Combinatorial Number Theory | 3 | — | 2/0 Ex | |
NDMI073 | Combinatorics and Graph Theory 3 | 5 | 2/2 C+Ex | — | |
NMAG331 | Mathematical Logic | 3 | 2/0 Ex | — | |
NMAG403 | Combinatorics | 5 | 2/2 C+Ex | — | |
NMAG405 | Universal Algebra 1 | 5 | 2/2 C+Ex | — | |
NMAG407 | Model Theory | 3 | 2/0 Ex | — | |
NMAG430 | Algebraic Number Theory | 6 | — | 3/1 C+Ex | |
NMAG431 | Combinatorial Group Theory | 6 | 3/1 C+Ex | — | |
NMAG433 | Riemann Surfaces | 3 | 2/0 Ex | — | |
NMAG434 | Categories of Modules and Homological Algebra | 6 | 3/1 C+Ex | — | |
NMAG435 | Lattice Theory | 3 | 2/0 Ex | — | |
NMAG436 | Curves and Function Fields | 6 | — | 3/1 C+Ex | |
NMAG437 | Seminar on Differential Geometry | 3 | 0/2 C | 0/2 C | |
NMAG438 | Group Representations 1 | 5 | — | 2/2 C+Ex | |
NMAG439 | Introduction to Set Theory 2 | 3 | 2/0 Ex | — | |
NMAG442 | Representation Theory of Finite-Dimensional Algebras | 6 | — | 3/1 C+Ex | |
NMAG444 | Combinatorics on Words | 3 | 2/0 Ex | — | |
NMAG446 | Logic and Complexity | 3 | — | 2/0 Ex | |
NMAG448 | Classical groups and their invariants | 5 | — | 2/2 C+Ex | |
NMAG450 | Universal Algebra 2 | 4 | — | 2/1 C+Ex | |
NMAG454 | Fibre Spaces and Gauge Fields | 6 | — | 3/1 C+Ex | |
NMAG455 | Quadratic forms and class fields I | * | 3 | 2/0 Ex | — |
NMAG456 | Quadratic forms and class fields II | * | 3 | — | 2/0 Ex |
NMAG458 | Algebraic Invariants in Knot Theory | 4 | — | 2/1 Ex | |
NMAG462 | Modular forms and L-functions I | * | 3 | 2/0 Ex | — |
NMAG473 | Modular forms and L-functions II | * | 3 | — | 2/0 Ex |
NMAG475 | MSTR Elective Seminar | 2 | 0/2 C | 0/2 C | |
NMAG481 | Seminar on Harmonic Analysis | 3 | 0/2 C | 0/2 C | |
NMAG498 | MSTR Elective 1 | 3 | 2/0 Ex | — | |
NMAG499 | MSTR Elective 2 | 3 | — | 2/0 Ex | |
NMAG531 | Approximations of Modules | 3 | — | 2/0 Ex | |
NMAG532 | Algebraic Topology 2 | 5 | — | 2/2 C+Ex | |
NMAG533 | Principles of Harmonic Analysis | 6 | 3/1 C+Ex | — | |
NMAG534 | Non-commutative harmonic analysis | 6 | — | 3/1 C+Ex | |
NMAG535 | Computational Logic | 5 | 2/2 C+Ex | — | |
NMAG446 | Logic and Complexity | * | 3 | — | 2/0 Ex |
NMAG536 | Proof Complexity and the P vs. NP Problem | * | 3 | — | 2/0 Ex |
NMAG563 | Introduction to complexity of CSP | 3 | 2/0 Ex | — | |
NMAG569 | Mathematical Methods of Quantum Field Theory | 3 | 0/2 C | 0/2 C | |
NMAG538 | Commutative algebra | 6 | — | 4/0 Ex | |
NMAG537 | Selected topic from Set Theory | 3 | 2/0 Ex | — | |
NMAG575 | Forcing | 3 | 2/0 Ex | — | |
NMAL430 | Latin Squares and Nonassociative Structures | 3 | — | 2/0 Ex | |
NMMB413 | Algorithms on Polynomials | 4 | 2/1 C+Ex | — | |
NMMB415 | Automata and Computational Complexity | 6 | 3/1 C+Ex | — | |
NMMB430 | Algorithms on Eliptic curves | 4 | — | 2/1 C+Ex | |
NMMB432 | Randomness and Calculations | 4 | — | 2/1 Ex | |
NMMB433 | Geometry for Computer Graphics | 3 | — | 2/0 Ex | |
NTIN022 | Probabilistic Techniques | 5 | 2/2 C+Ex | — |
* The course is taught once in two years only.
Set 2
It is required to earn at least 8 credits in 48 credits from the following short list.
Code | Subject | Credits | Winter | Summer | |
NMAG403 | Combinatorics | 5 | 2/2 C+Ex | — | |
NMAG405 | Universal Algebra 1 | 5 | 2/2 C+Ex | — | |
NMAG407 | Model Theory | 3 | 2/0 Ex | — | |
NMAG438 | Group Representations 1 | 5 | — | 2/2 C+Ex | |
NMMB415 | Automata and Computational Complexity | 6 | 3/1 C+Ex | — |
2.3 State Final Exam
Requirements for taking the final exam
- – Earning at least 120 credits during the course of the study.
- – Completion of all obligatory courses prescribed by the study plan.
- – Earning at least 48 credits by completion of elective courses from set 1. At least 8 credits must be from the short list of elective courses in set 2.
- – Submission of a completed Master's Thesis by the submission deadline.
- – Completion of all obligatory courses prescribed by the study plan.
Oral part of the state final exam
The oral part of the final exam consists of a common subject area "1. Mathematical Structures" and a choice of one of four subject areas "2. Algebra and logic", "3. Geometry", "4. Representation Theory", "5. Combinatorics". A half of the exam is focused on subject area 1 and the other half on questions from the subject area selected from among 2, 3, 4 and 5.
Requirements for the oral part of the final exam
Common requirements
1. Mathematical Structures
Algebraic geometry. Algebraic topology.
Specialization
2. Algebra a logic
Finite groups and their representations. Combinatorial group theory. Binary systems. Advanced universal algebra. Complexity and enumerability. First order logic. Undecidability in algebraic systems. Quantifier elimination.
3. Geometry
Harmonic analysis and invariants of classical groups, Riemannian
surfaces. Fibre spaces and covariant derivative.
4. Representation Theory
Representations of groups, representations of finite-dimensional
algebras. Combinatorial group theory. Homological algebra.
5. Combinatorics
Applications of linear algebra and application of probabilistic method in combinatorics and graph theory. Analytic and combinatorial number theory. Combinatorial and
computational geometry. Structural and algorithmic graph theory.
2.4 Recommended Course of Study
1st year
Code | Subject | Credits | Winter | Summer | |
NMAG401 | Algebraic Geometry | 5 | 2/2 C+Ex | — | |
NMAG409 | Algebraic Topology 1 | 5 | 2/2 C+Ex | — | |
NMAG411 | Riemannian Geometry 1 | 5 | 2/2 C+Ex | — | |
NSZZ023 | Diploma Thesis I | 6 | — | 0/4 C | |
Optional and Elective Courses | 39 |
2nd year
Code | Subject | Credits | Winter | Summer | |
NSZZ024 | Diploma Thesis II | 9 | 0/6 C | — | |
NSZZ025 | Diploma Thesis III | 15 | — | 0/10 C | |
Optional and Elective Courses | 36 |