既然是抽象代数,你只要把A和B看成记号就可以了.

　　当然,为了帮助你理解,你可以暂时把A和B看作3次单位根.

　　至于怎么来的,其实就是利用Z_2上的不可约多项式x^2+x+1来构造的,你最好回去复习一下教材.

　　补充：

　　既然你没有教材,那么我多写两句

　　Z_2上的不可约二次多项式只有f(x)=x^2+x+1,所有的多项式除以f(x)的余项有4种：0,1,x,x+1,这四个元素就构成4元的域,你自己按照多项式的运算法则去验证.

　　没有教材的话至少也去搞点别的资料,什么都没有就不用学了,这个不是普通人空想就能想出来的.

　　再补充：

　　1.A=x,B=x+1,你反过来看也可以.

　　2.先要搞清楚Z_2是什么,Z_2={0,1},Z_2中没有-1,由于1+1=0,你可以认为-1=1.同样,Z_2上的多项式f(x)=x^2+x+1=x^2-x+1,是一回事.

　　3.一次多项式除以二次多项式的余式就是原来的一次多项式,这个很难理解吗?

　　最好去找本教材,从头开始系统地学.