Timeline for Algebra with three anti-commutator relations
Current License: CC BY-SA 4.0
12 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Oct 4, 2023 at 20:43 | comment | added | Martin Brandenburg | Thanks for the answers! | |
Oct 4, 2023 at 17:13 | comment | added | Mare | @MartinBrandenburg It is a quotient of the path algebra with one vertex and 3 loops a,b,c. | |
Oct 4, 2023 at 12:07 | comment | added | Dave Benson | Try it as a path algebra with just one vertex. It should work... | |
Oct 4, 2023 at 11:45 | comment | added | Martin Brandenburg | @Mare Can I enter the algebra with QPA in GAP? Looking at the documentation, it only works with path algebras? | |
Oct 4, 2023 at 5:03 | comment | added | Mare | @MartinBrandenburg There is a magma online calculator that can do some simple computations: magma.maths.usyd.edu.au/calc Also the GAP package QPA is good to enter those finite dimensional algebras as in this answer. | |
Sep 30, 2023 at 23:07 | comment | added | Martin Brandenburg | Yes. I came from Gap actually ^^ | |
Sep 30, 2023 at 22:37 | comment | added | Dave Benson | Well, Gap is free and does quite a lot of what Magma does. It's worth trying. | |
Sep 30, 2023 at 16:40 | comment | added | Martin Brandenburg | Thanks a lot! Unfortunately, I don't have access to Magma. I checked the website, apparently I cannot just download or pay for it. I tried to work on these questions with SageMath, but apparently it doesn't really work or I am missing something (for example, in SageMath, $\mathbb{Q}[x]/\langle 1 \rangle$ is not the zero ring, and I don't know why). | |
Sep 30, 2023 at 15:23 | comment | added | Dave Benson | And then, if you change it to $a^3=0$, $b^4=0$, $c^4=0$, magma doesn't finish in a reasonable time when $p=5$, which suggests it might be infinite dimensional. | |
Sep 30, 2023 at 15:07 | vote | accept | Martin Brandenburg | ||
Sep 30, 2023 at 14:53 | comment | added | Dave Benson | If you let $u=v=1$ and $w=-1$, then using the same code, you get these same dimensions $20n-24$, seemingly independent of $p$. Mathjax insists on interpreting the star symbol, so I can't copy and paste the code here, but it's simple enough to do yourself. | |
Sep 30, 2023 at 14:43 | history | answered | Dave Benson | CC BY-SA 4.0 |