Normal Loop Rings

A ring R (not necessary associative) is normal with respect to involution σ if xx^σ=x^σx for every x from R. We construct some class of diassociative loops, named Q-loops, with normal loop rings. By definition a loop L is a Q-loop if every two generated subloop of L is a subgroup of some group H⊆ L isomorphic to quaternion group Q_8 .