Seminar
Parent Program: | |
---|---|
Location: | SLMath: Eisenbud Auditorium |
Keywords and Mathematics Subject Classification (MSC)
Primary Mathematics Subject Classification
No Primary AMS MSC
Secondary Mathematics Subject Classification
No Secondary AMS MSC
We combine combinatorial and geometric techniques from group theory to study the structure of sets of solutions to systems of equations (varieties) over a free semigroup.
The Makanin-Razborov diagram that we associate with such a variety can be used to study fragments of the first order theory of a free semigroup, and to start the study of varieties over free associative algebras.