Spajające grupy Bieberbacha

C* - algebrę A nazywamy spajajacą (connective) o ile istnieje *-monomorfizm z A do pewnej "uniwersalnej" C*-algebry. C* - algebrę grupową C*(G) nazywamy spajajacą o ile jej ideał augumentacji (jadro odwzorowania C*(G) ----> \C) jest C*-algebrą spajajacą (\C-liczby zespolone). Była hipoteza M. Dadarlata (2014), że dla grup średniowalnych ("amenable", ze średnią Banacha) C*-algebra grupowa C*(G) jest spajajaca. Okazało się, że dla grup Bieberbacha z trywialnym centrum hipoteza ta nie jest prawdziwa.