Prime radical of loops and $\Omega$-loops. I

In this paper, main properties of a commutator of two normal subloops of a loop are considered. The notion of a prime radical of loops is introduced and its characterization as a set of strongly Engel elements is given. Also an $\Omega$-prime radical of $\Omega$-loops is defined and its elementwise characterization is given.