20E25 - Group theory and generalizations :: Structure and classification of infinite or finite groups :: Local properties