I am looking for examples of the following algebraic structure: a set (X,.) which satisfy the axioms
(idempotent) x.x = x
(left quasigroup) the equation a.x = b has a unique solution denoted by x = a*b
(right distributive) (x ? y) ! z = (x ! z) ? (y ! z) , where ? and ! are any of the operati...
The usual caveat applies - the result of this query can be only considered approximate. (For example, the question where the tag was actually created might have been deleted in the meantime.)
@MartinSleziak thanks, I replaced with existing tags. By the way, I realize that magma and magmas coexist (for unrelated meanings), which is perfectly fine, but you once told me that it's impossible? I was indeed tempted to still keep quasigroups
A screenshot showing what happens if we attempt to create quasigroups.
I do not know where this is actually documented, but as far as I can tell, adding example-tags is impossible, if example-tag already exists.
As in the above screenshot with [tag;quasigroup] and quasigroups.
It is quite difficult to find where exactly magma and magmas were created. AFAICT mods are not limited by this rule. And I am not sure how this worked on the olde version of SE software, before MO joined the Stack Exchange network.
I propose to systematically rename each tag xxx reduced to the name of a software, adding "-software" to make the tag (thus xxx-software) more understandable, and, furthermore, to allow to gather such tags when typing "software".
This applies to sage, gap, magma, coq, etc (this list is not compr...
I hear that and it makes sense to me. I'm inclined to go ahead but I'll let is sit for a few days in case a counterargument comes up. — François G. Dorais ♦Mar 7 '19 at 0:56
The "stats" section of a tag's page says how long the tag has existed, and the tag description history says who created the tag description. However, I don't see how to find who created the tag itself. Is there a way to do this?
(I might just be missing something totally obvious, that wouldn't be...
I am looking for examples of the following algebraic structure: a set (X,.) which satisfy the axioms
(idempotent) x.x = x
(left quasigroup) the equation a.x = b has a unique solution denoted by x = a*b
(right distributive) (x ? y) ! z = (x ! z) ? (y ! z) , where ? and ! are any of the operati...
