正多面体のような有限の対称性をもつ幾何的対象、自然に作られる代数的対象について述べ、対象性を表すための群論についても丁寧に記述する。