Compact quantum groups have been objects of study for nearly fifty years as ``perturbations" of groups, ones whose algebras of ``continuous functions" is defined to be non-commutative. The quantum automorphism group ...