自由単位半群
【じゆうたんいはんぐん】
【jiyuutanihangun】
自由独异点