#19518: Allow GroupAlgebra to be used as base ring of a PolynomialRing
-------------------------------------+-------------------------------------
Reporter: etn40ff | Owner:
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-6.10
Component: group theory | Resolution:
Keywords: GroupAlgebra | Merged in:
PolynomialRing | Reviewers:
Authors: Salvatore Stella | Work issues:
Report Upstream: N/A | Commit:
Branch: | 0936b72c4eae0ea4feb5d164b42177b3b0a35ec9
u/etn40ff/commutative_group_algebra| Stopgaps:
Dependencies: |
-------------------------------------+-------------------------------------
Comment (by tscrim):
This has uncovered a couple of different bugs:
1. We have an issue with translating to/from GAP:
{{{
sage: SU(2, 3).random_element()
[ 1 2*a + 2]
[ 0 1]
sage: SU(2, 4).random_element()
<repr(<sage.groups.matrix_gps.group_element.UnitaryMatrixGroup_gap_with_category.element_class
at 0x7f826b84eaa0>) failed: ValueError: the given finite field has
incompatible size>
}}}
2. Abelian groups `.algebra` aren't returning group algebras.
3. `Commutative()` does not commute with the `Algebras` functor
construction.
{{{
sage: Groups().Commutative().Algebras(QQ)
Join of Category of group algebras over Rational Field and Category of
commutative algebras over Rational Field and Category of commutative magma
algebras over Rational Field
sage: Groups().Algebras(QQ).Commutative()
Category of commutative group algebras over Rational Field
}}}
The main problem for this ticket I think is the last one.
--
Ticket URL: <http://trac.sagemath.org/ticket/19518#comment:5>
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.
