2021-01-15 18:26:19 +0100 | received badge | ● Student (source) |

2016-01-13 17:27:09 +0100 | received badge | ● Scholar (source) |

2016-01-13 02:26:06 +0100 | 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? |

Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.