# LCS-Baer Lie category

From Groupprops

## Contents

## Definition

### As the category of LCS-Baer Lie rings

The **LCS-Baer Lie category** can be defined as the following concrete category:

Item | Value |
---|---|

Objects | LCS-Baer Lie rings, i.e., Lie rings that have class at most two and whose derived subring is uniquely 2-divisible. |

Morphisms | Lie ring homomorphisms between LCS-Baer Lie rings. Note that a Lie ring homomorphism automatically preserves the unique 2-division. |

Forgetful functor to set | Sends a LCS-Baer Lie ring to its underlying set, sends a homomorphism of LCS-Baer Lie rings to the map of underlying sets. |

Viewed this way, the category is a full subcategory of the category of Lie rings.

### As the category of LCS-Baer Lie groups

The **LCS-Baer Lie category** can be defined as the following concrete category:

Item | Value |
---|---|

Objects | LCS-Baer Lie groups, i.e., groups of class at most two and whose derived subring is uniquely 2-divisible. |

Morphisms | homomorphism of groups between LCS-Baer Lie groups. This automatically preserves the unique 2-division. |

Forgetful functor to set | Sends a LCS-Baer Lie group to its underlying set, sends a homomorphism of LCS-Baer Lie groups to the map of underlying sets. |

Viewed this way, the category is a full subcategory of the category of groups.

### Equivalence of definitions

`Further information: equivalence of definitions of LCS-Baer Lie category`