#15300: Weyl and Clifford Algebras
-------------------------------------+-------------------------------------
Reporter: tscrim | Owner: tscrim
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-6.4
Component: algebra | Resolution:
Keywords: days54 | Merged in:
Authors: Travis Scrimshaw | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
public/algebras/weyl_clifford-15300| 165f943b828ca2a7f743139d101f9c9c913e96ac
Dependencies: #16037 | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by darij):
I didn't take a real look at this, but there are some issues here:
{{{
+ - It's a simple ring that is not a matrix ring over a division ring.
+ - It's a non-commutative domain.
+ - For `n = `, it's a quotient of the universal enveloping algebra of the
+ Heisenberg algebra.
+ - Has no finite-dimensional representations in characteristic zero.
}}}
The "simple" part holds when R is a field. The "non-commutative domain"
works only if R is an integral domain. In the third line, what is n ? (I
think it is always a quotient of U(Heisenberg_n).
--
Ticket URL: <http://trac.sagemath.org/ticket/15300#comment:137>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
