二、商结构 |S;为代数系统 S的等价类全体用§表示,即S={l∈S} 这里a={xa-x,eS} 对任意ab∈S,[a△b]={a*b 定义:设“”为S上的等价关系,““ 为S上的二元运算。若对任意a,b,c,d∈S 当a~b,c~时,必有a*Cb*l,则称等价 关系~与运算*是相容的,称~为代数系 统|S;*的相容等价关系二、商结构 • [S;*]为代数系统 • S的等价类全体用Š表示,即Š={[a]|aS}。 这里[a]={x|a~x,xS} • 对任意[a],[b]Š, [a][b]=[ab] • 定义：设“~”为S上的等价关系，“*” 为S上的二元运算。若对任意a,b,c,dS， 当a~b，c~d时，必有ac~bd，则称等价 关系~与运算 是相容的，称~为代数系 统[S;]的相容等价关系