#18230: Basic hierarchy of categories for representations of monoids, lie
algebras,
...
-------------------------------+------------------------
Reporter: nthiery | Owner:
Type: enhancement | Status: new
Priority: major | Milestone: sage-6.7
Component: algebra | Resolution:
Keywords: | Merged in:
Authors: | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
Dependencies: | Stopgaps:
-------------------------------+------------------------
Description changed by nthiery:
Old description:
> Draft in finite-semigroup-nt.patch in the Sage-Combinat queue.
New description:
Draft in finite-semigroup-nt.patch in the Sage-Combinat queue.
Some notes:
{{{
class Semigroups.TransformationModules: # or .SetsWithAction
"""modules where the action is by discrete transformations"""
class ParentMethods:
def actor(): ?
def semigroup(): ...
# Design goal: be left/right agnostic whenever possible
def action(self, x, s) or def action(self, s, x)
class Semigroups.Finite:
class ParentMethods:
G.simple_modules(QQ): shorthand for
G.algebras(QQ).simple_modules(QQ)?
class Algebras.Modules:
class ParentMethods:
@abstract_method
def simple_modules() -> return a family indexed by below:
def simple_modules_index_set()
def projective_indecomposable_modules()
def cartan_matrix(self):
pass
def character(self):
def brauer_character(self): # modular case; do we want to
identify them?
def character_value(self, s):
return
def class_function(self):
return self.character_value
# class_functions ? class_function_module? class_function_ring?
# cyclic_homology?
# trace_space Cyclic homology, second edition by Loday
def character_ring(self):
class FiniteDimensional:
class ParentMethods:
def representation():
Return the morphism S -> Hom(self, self)
@abstract_method # in the finite dimensional case
def representation_matrix(self, s):
@abstract_method
def isotypic_components():
"""
Return the isotypic components of ``self``.
OUTPUT: a collection of submodules the internal direct
sum of which is ``self``.
"""
#
induction / restriction
M.induce(LargerAlgebra) / M.induced_module(LargerAlgebra)
G.simple_modules(QQ): shorthand for
G.algebras(QQ).simple_modules(QQ)
}}}
--
--
Ticket URL: <http://trac.sagemath.org/ticket/18230#comment:1>
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.
