Characteristic subloop

Definition
A subloop of an algebra loop is termed a characteristic subloop if it satisfies the following equivalent conditions:


 * 1) Every automorphism of the algebra loop sends the subloop to within itself.
 * 2) Every automorphism of the algebra loop restricts to an automorphism of the subloop.

Incomparable properties

 * Normal subloop: