Add comments about Algebra.Groups.