Iseamorfacht

Sa mhatamaitic, is saghas mapála thacar A go tacar B í iseamorfacht: bíodh G ina ghrúpa le heilimintí a, b etc., agus le hoibríocht ○ freisin, bíodh G' ina ghrúpa le heilimintí a', b' etc., agus le hoibríocht ⊕. Ansin, iseamorfacht is ea comhfhreagras 1 le 1 idir G agus G' a shainítear le a ↔ a', b ↔ b', etc., más gá agus más leor, i gcás gach a agus b, go bhfuil a ○ b ↔ a' ⊕ b'   Deirtear go bhfuil na grúpaí G agus G' iseamorfach.

Tagairtí 

Matamaitic