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:
“That we can come here today and in the presence of thousands and tens of thousands of the survivors of the gallant army of Northern Virginia and their descendants, establish such an enduring monument by their hospitable welcome and acclaim, is conclusive proof of the uniting of the sections, and a universal confession that all that was done was well done, that the battle had to be fought, that the sections had to be tried, but that in the end, the result has inured to the common benefit of all.”
—William Howard Taft (1857–1930)
“The reason why men enter into society, is the preservation of their property; and the end why they choose and authorize a legislative, is, that there may be laws made, and rules set, as guards and fences to the properties of all the members of the society: to limit the power, and moderate the dominion, of every part and member of the society.”
—John Locke (1632–1704)