• Leate_Wonceslace@lemmy.dbzer0.com
    link
    fedilink
    English
    arrow-up
    1
    ·
    4 days ago

    Someone else had the same observation, but it is unital. Keep in mind that it isn’t associative; you can’t pull out the Omega like that.

    • CompassRed@discuss.tchncs.de
      link
      fedilink
      arrow-up
      1
      ·
      4 days ago

      The definition I’m aware of for non associative algebras has them distributive by default, so I believe the chain of equations is valid.