单位群函子

unit group functor