# Ideal core of a Lie subring

From Groupprops

ANALOGY:This is an analogue in Lie rings of a term encountered in group. That term is: normal core.

View other analogues of normal core

## Definition

Let be a Lie ring and be a Lie subring of . The **ideal core** of is defined in the following equivalent ways:

- It is the largest ideal of that is contained in .
- it is the intersection of and all subgroups of of the form where the are inner derivations of .