本文在Ｇｒｕｅｎｂｅｒｇ中给出了范畴之中心自由对象构作基础上进行群Ｇ中心扩张构作，使用覆盖及衍生同态ψＥθ为中心自由扩张，文中称作普适覆盖扩张，Ｅ是Ａｂｅｌ群......