Grupa lokalnie skończona