2023-10-02 11:51:36 +0200 | received badge | ● Notable Question (source) |
2022-12-21 12:01:07 +0200 | received badge | ● Popular Question (source) |
2021-01-15 18:26:19 +0200 | received badge | ● Student (source) |
2016-01-13 17:27:09 +0200 | received badge | ● Scholar (source) |
2016-01-13 02:26:06 +0200 | asked a question | Confused about FreeAlgebra quotients I think I'm misunderstanding how quotients of free algebras work. I tried to make a free algebra on two generators x, y and mod out by xy = yx, so you get a polynomial algebra -- but that's not what happened. Relatedly, the documentation for free_module_quotient gives an example (constructing the quaternions as a free quotient): but I'm confused exactly how the matrices in the penultimate line describe the (multiplication) action? I.e. if I have some relation, say x^2 = 0, that I want to mod out by, how do I accomplish that using matrices? |