自由格序群

群是一种只有一个运算的、比较简单的代数结构；是可用来建立许多其他代数系统的一种基本结构。1770年，拉格朗日在讨论代数方程根之间的置换时，首先引入群的概念，而它的名称，是伽罗华在1830年首先提出的。格序群亦称格群或l群。一种具有格序关系的群。若偏序群G作为偏序集是格，则称G为格序群。自由格序群(free lattice-ordered group)一类重要的格序群。自由格序群是一类重要的格序群。设S是一个集合，π是S到格序群F的单映射。