Characteristic normal subloop

This article defines a property that can be evaluated for a subloop of a loop| View other such properties

Definition

A subloop of a loop is termed a characteristic normal subloop if it is both a characteristic subloop and a normal subloop of the loop.