どこかに群の実例を知らなくても
立派な群論が語れる御仁がいたようだ