Left-transitively normal subloop

From Groupprops
Jump to: navigation, search
This article defines a property that can be evaluated for a subloop of a loop| View other such properties
ANALOGY: This is an analogue in algebra loop of a property encountered in group. Specifically, it is a subloop property analogous to the subgroup property: characteristic subgroup
View other analogues of characteristic subgroup | View other analogues in algebra loops of subgroup properties (OR, View as a tabulated list)

Definition

A subloop S of an algebra loop L is termed a left-transitively normal subloop if, for any algebra loop M containing L as a normal subloop, S is also a normal subloop of L.