主要证明了：约化的左G-morphic的右WIN-环是π-正则环；约化的右G-morphic的左WIN-环是强π-正则环；π-正则的零因子可换环是G-morphic......