حق با شماست. ولی عرض کردم در حد یکریختی. شما یک تابع یک به یک از $\mathbb{Z}$ به
$\mathbb{Z} \bigoplus \mathbb{2Z}$ دارید. بنابراین میشه گفت حلقه ی $\mathbb{Z} \bigoplus \mathbb{2Z}$ زیر حلقه ای یکریخت با $\mathbb{Z}$ داره.
در واقع اون زیر حلقه $\mathbb{Z} \bigoplus 0$ هست.