On Tue, Feb 6, 2018 at 8:28 AM, Waldek Hebisch <[email protected]> wrote: > Prof. Dr. Johannes Grabmeier wrote: >> >> So my remark shoud better read: >> >> All general functions as leftRecip and rightRecip and associator are >> superfluous as >> soon as we have an associative structure, > > That is more complicated, for example Cuntz algebra is associative, > but leftRecip is different than rightRecip and both are different > than recip.
Sorry, it seemed trivial. Can you give an example, a reference or explain? Def: rightRecip(a) * a = 1 Def: a * leftRecip(a) = 1 Associative: (rightRecip(a) * a) * leftRecip(a) = rightRecip(a) * (a * leftRecip(a)) --> 1 * leftRecip(a) = rightRecip(a) * 1 --> leftRecip(a) = rightRecip(a) No? -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
