Semisimple Algebras¶
-
sage.categories.semisimple_algebras.
SemisimpleAlgebras
¶ The category of semisimple algebras over a given base ring.
EXAMPLES:
sage: from sage.categories.semisimple_algebras import SemisimpleAlgebras sage: C = SemisimpleAlgebras(QQ); C Category of semisimple algebras over Rational Field
This category is best constructed as:
sage: D = Algebras(QQ).Semisimple(); D Category of semisimple algebras over Rational Field sage: D is C True sage: C.super_categories() [Category of algebras over Rational Field]
Typically, finite group algebras are semisimple:
sage: DihedralGroup(5).algebra(QQ) in SemisimpleAlgebras True
Unless the characteristic of the field divides the order of the group:
sage: DihedralGroup(5).algebra(IntegerModRing(5)) in SemisimpleAlgebras False sage: DihedralGroup(5).algebra(IntegerModRing(7)) in SemisimpleAlgebras True
See also