7
$\begingroup$

The property $(xy)x = xy$ is one of the equations satisified by a directoid. Various properties have names ($xy = yx$ is commutativity, $xx=x$ is idempotency, etc). The wikipedia page for Magma has a long list of named properties, but not this one.

Directoids also satisfy $y(xy)=xy$ which is similar to the one above (although which should be called a 'left' property and which 'right', I am unsure). Last, there is $x((xy)z)=(xy)z$ - for which I have also not been able to find a name. Have these been named?

Improve this question
$\endgroup$
4
  • $\begingroup$ Just to be clear, you are indicating that "multiplication" is not associative? I see, Wikipedia uses a different shorthand in order to minimize parentheses, the multiplication is an asterisk and xy means (x * y). So I imagine they would write your property xy*x = xy. One guy claims these were introduced by Jezek and Quackenbush (1990), I guess you know that ams.org/mathscinet-getitem?mr=1025835 $\endgroup$
    – Will Jagy
    Commented May 14, 2010 at 19:52
  • $\begingroup$ Correct, multiplication is not associative. And I did read that paper (and several others besides), but not one 'names' these properties! $\endgroup$
    – Jacques Carette
    Commented May 14, 2010 at 19:59
  • 2
    $\begingroup$ I started to call this "absorption", but that is not quite correct (absorption is a relationship between two operations). Still, perhaps that name will jog someone's memory. $\endgroup$
    – Austin Mohr
    Commented May 12, 2011 at 1:29
  • $\begingroup$ I have seen people dealing with Left Regular Bands call this 'left regularity'. I might be mistaken. $\endgroup$
    – Vasu vineet
    Commented Dec 26, 2011 at 15:28

0

Reset to default

You must log in to answer this question.

Browse other questions tagged .