7.9.1 Free associative algebras 7.9.2 Monomial orderings on free algebras 7.9.3 Groebner bases for two-sided ideals in free associative algebras 7.9.4 Bimodules and syzygies and lifts 7.9.5 Letterplace correspondence