群論における恒等関係式.