正则子群与强正规值格序群

证明了强正规值格序群是Ｏ－群的充分必要条件是其正则子群集是线性序集。