First, Ø is a homomorphism: q (g f(H)g' f(H)) = db (gg' f(H))=f' (gg' ) =f' (g)f' (g' ) = db (g' f(H)) (b (g' f(H)) ... Then An is an extension of oq by op.
確定! 回上一頁