Abstract
An extensionB⊂A of algebras over a commutative ringk is anH-extension for anL-bialgebroidH ifA is anH-comodule algebra andB is the subalgebra of its coinvariants. It isH-Galois if the canonical mapA ⊗BA →A ⊗LH is an isomorphism or, equivalently, if the canonical coringA ⊗LH:A is a Galois coring.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have