מבנים אלגבריים/חבורות/חבורות מנה
הגדרה
דוגמאות
ההומומורפיזם הטבעי
כמובן, שיש צורך להוכיח שהעתקה הטבעית היא הומומורפיזם כפי שאנו טוענים בהגדרתה. תבנית:טענה תבנית:הוכחה
נראה כעת דוגמה לשימוש בהומומורפיזם הטבעי כדי להוכיח למה מאוד שימושית:
אפיון של חבורות חלקיות נורמאליות
מכאן, אנחנו למדים בעצם שכל חבורה חלקית נורמאלית היא בעצם גרעין של איזשהו הומומורפיזם. ובכלל, הצלחנו לבנות את ההומומורפיזם המבוקש. תבנית:מבנים אלגבריים