Common Knowledge of Abstract Groups