When is a Loop a Group