The term "free factor complex" often arises in the context of group theory, particularly in the study of free groups and their actions. A free group is a group that has a basis such that every element can be uniquely expressed as the product of finitely many basis elements and their inverses.
New to topics? Read the docs here!