「可解多様体」とは
基本群が可解であるような多様体のこと。