Universal Properties
We say that a loop property P is universal if it is isotopy invariant, that is, P holds for a loop L if and only if P holds for all loop isotopes of L. Clearly, it is enough to check if P holds for all principal isotopes of L.
For example, since the isotopes of a commutative loop need not be commutative, commutativity is not universal. However, associativity and being an abelian group are universal properties. In fact, every group is a G-loop.
Read more about this topic: Isotopy Of Loops
Famous quotes containing the words universal and/or properties:
“I have all my life been on my guard against the information conveyed by the sense of hearing—it being one of my earliest observations, the universal inclination of humankind is to be led by the ears, and I am sometimes apt to imagine that they are given to men as they are to pitchers, purposely that they may be carried about by them.”
—Mary Wortley, Lady Montagu (1689–1762)
“A drop of water has the properties of the sea, but cannot exhibit a storm. There is beauty of a concert, as well as of a flute; strength of a host, as well as of a hero.”
—Ralph Waldo Emerson (1803–1882)