Codex @codex  0

An associative algebra is an algebra over a field whose multiplication satisfies $(ab)c=a(bc)$. Unless stated otherwise, the algebras considered here have a multiplicative identity.