la_10，分解动作如下。若 formula_3 为空集，则 formula_10 为平凡群。
泛性质.上述构造 formula_33 带有一个自然的集合映射 formula_34。这对资料 formula_35 满足以下泛性质：事实上我们仅须，也必须设 formula_40 ；前述构造确保此式给出一个明确定义的群同态。任两个满足上述泛性质的资料 formula_41、formula_42 至多差一个同构，因而刻划了自由群的群论性质。这种泛性质是泛代数中考虑的自由对象的