Login
Login

Cover (algebra)

{{Short description|Concept in abstract algebra}}

In abstract algebra, a cover is one instance of some mathematical structure mapping onto another instance, such as a group (trivially) covering a subgroup. This should not be confused with the concept of a cover in topology.

When some object X is said to cover another object Y, the cover is given by some surjective and structure-preserving map {{nowrap|f : X → Y}}. The precise meaning of "structure-preserving" depends on the kind of mathematical structure of which X and Y are instances. In order to be interesting, the cover is usually endowed with additional properties, which are highly dependent on the context.

Examples

A classic result in semigroup theory due to D. B. McAlister states that every inverse semigroup has an E-unitary cover; besides being surjective, the homomorphism in this case is also idempotent separating, meaning that in its kernel an idempotent and non-idempotent never belong to the same equivalence class.; something slightly stronger has actually be shown for inverse semigroups: every inverse semigroup admits an F-inverse cover.Lawson p. 230 McAlister's covering theorem generalizes to orthodox semigroups: every orthodox semigroup has a unitary cover.Grilett p. 360

Examples from other areas of algebra include the Frattini cover of a profinite group{{cite book | last1=Fried | first1=Michael D. | last2=Jarden | first2=Moshe | title=Field arithmetic | edition=3rd revised | series=Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge | volume=11 | publisher=Springer-Verlag | year=2008 | isbn=978-3-540-77269-9 | zbl=1145.12001 | page=508 }} and the universal cover of a Lie group.

Modules

If F is some family of modules over some ring R, then an F-cover of a module M is a homomorphism X→M with the following properties:

  • X is in the family F
  • X→M is surjective
  • Any surjective map from a module in the family F to M factors through X
  • Any endomorphism of X commuting with the map to M is an automorphism.

In general an F-cover of M need not exist, but if it does exist then it is unique up to (non-unique) isomorphism.

Examples include:

See also

Notes

{{reflist}}

References

  • {{cite book|last= Howie|first= John M.|title=Fundamentals of Semigroup Theory|year=1995|publisher=Clarendon Press|isbn=0-19-851194-9}}

Category:Abstract algebra

{{abstract-algebra-stub}}