GroupAlgebra

A name from the enumeratio catalogue with no kernel of its own yet; this page carries its crosswalk only.

Mapped through to oscar for the oracle; not yet written up here.

GroupAlgebra(...)Mapped through to oscar for the oracle; not yet written up here.

SageMathenumeratio_group_algebra(...)

Typed signatures

Type	Package	Applies
(expression<CyclicGroup> | expression<DihedralGroup> | expression<GroupDirectProduct>) -> group_algebra	groupalgebra	always

Domain: Oracle

Examples

Basic #

The dimension of $k[G]$ is $|G|$; $|D_4| = 8$

live ↗

In$\mathrm{AlgebraDimension}(\mathrm{GroupAlgebra}(\mathrm{DihedralGroup}(4)))$Out$8$

About

Examples	1
Checked against	SageMath 1 agree
Crosswalk	SageMath

Implementation

mappedoscarpackages/oracle/src/mappings.ts

mappedsagepackages/oracle/src/mappings.ts

G.algebra(QQ).

mappedwolframpackages/oracle/src/mappings.ts

Wolfram has no group algebra object; its algebra heads are CliffordAlgebra, GrassmannAlgebra and WeylAlgebra.