Category theory MOC

Extension

Given some in some category of algebraic objects, an extension is an epimorphism

where typically a kernel exists giving the short exact sequence

and we say is an extension of by . In case is split epic, we have a split extension.

Particular examples

• Group extension
• Lie algebra extension

See also

• Ring extension, a different use of the word.

#state/develop | #lang/en | #SemBr