关于格论中的密化定理 (1981年)

格论中的密化定理是群论中的Schreier定理在格中的推广。一群G的所有正常子群成一模格,故正常列的密化定理确实为格的密化定理的推论,但所有次不变群不一定成功模格,因此格的密化定理不能统一群的次不变列的密化定理.原因是模性要求过强,并非密化定理所必需。这篇短文提出一种减弱模性的方式,使格中密化定理仍然成立并使群的Schreier定理为其推论,再者群的Jordan―Hōeder定理在格中的推广不需要模性只要“半