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