抽象代數入面,羣同構係兩個羣之間嘅一個函數,佢提供咗兩個羣嘅元素之間嘅一一對應,同時保持到羣嘅結構。