交换半群的强半格

本文刻划交换半群的强半格上的最小半格同余，并证明由此得到的商半群为对应的每个交换半群的商半群的强半格。