Galois comodules

Details Galois comodules Galois comodules

2003-12-08

arxiv.org/abs/math/0312159v3

Mathematics

Rings and Algebras

36 pages, LaTeX; a few corrections to version 2

Scientific paper

Galois comodules of a coring are studied. The conditions for a simple comodule to be a Galois comodule are found. A special class of Galois comodules termed principal comodules is introduced. These are defined as Galois comodules that are projective over their comodule endomorphism rings. A complete description of principal comodules in the case a background ring is a field is found. In particular it is shown that a (finitely generated and projective) right comodule of an $A$-coring $\mathcal C$ is principal provided a lifting of the canonical map is a split epimorphism in the category of left $\mathcal C$-comodules. This description is then used to characterise principal extensions or non-commutative principal bundles. Specifically, it is proven that, over a field, any entwining structure consisting of an algebra $A$, a coseparable coalgebra $C$ and a bijective entwining map $\psi$ together with a group-like element in $C$ give rise to a principal extension provided the lifted canonical map is surjective. Induction of Galois and principal comodules via morphisms of corings is described. A connection between the relative injectivity of a Galois comodule and the properties of the extension of endomorphism rings associated to this comodule is revealed.

Affiliated with

Also associated with

No associations

Rating

Galois comodules does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Galois comodules, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Galois comodules will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-252715