Skip to main content
2 events
when toggle format what by license comment
Jul 12, 2020 at 15:21 comment added YCor Alternatively, to check $(x_1x_2)x_2\neq x_1(x_2x_2)$ one can produce a small quotient where it's nonzero: the 3-dimensional (not-assumed-associative) commutative algebra with basis $(a,b,c)$ and product: $a^2=c$, $bc=cb=a$, and all other products zero. Then $(ba)a=0$ while $b(aa)=bc=d$, so $(ba)a\neq b(aa)$.
Jul 12, 2020 at 15:10 history answered Phil Tosteson CC BY-SA 4.0