抽象的说,一个群只能和自己的商群同态

问题描述:

抽象的说,一个群只能和自己的商群同态
还是 抽象的说一个群只能跟自己的商群满同态?

容易验证({0,1},,*)是一个域,因为有且仅有两个互异元素,所以它算应该说的是一类域,域的概念清楚吧,就是在加和乘运算下封闭,且满足