满射单射一一映射图,同态证明例题

假设b、*和c、是两个代数系统，*和分别是b和c上的二元运算，g是从b到c的一个映射：

证g单射：对于B1，b2B，b1b2，如果有G(B1 )，G(B1 ) ) c，G(B1 ) B2 )，则为g单射

证g满射：对于cc，bb，c=g(b )，g满射

证g同构：对于B1，b2B，如果有G(B1B2 )=g (B1 ) g (B2 )，则为g同构

(证同构)要求同时满足单射、满射、同一状态。