環論における核位置(加法群と乗法半群の合成からなる環)