IsCentral

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.

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

Typed signatures

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

Domain: Oracle

Examples

Basic #

live ↗

In$\mathrm{IsCentral}(\mathrm{DihedralGroup}(3), \mathrm{GroupBasis}(\text{s0}))$Out$\mathrm{False}$

live ↗

In$\mathrm{IsCentral}(\mathrm{CyclicGroup}(4), \mathrm{GroupBasis}(\text{1}))$Out$\mathrm{True}$

About

Examples	2
Checked against	SageMath 2 agree
Crosswalk	SageMathOscar

Implementation

mappedoscarpackages/oracle/src/mappings.ts

mappedsagepackages/oracle/src/mappings.ts

mappedwolframpackages/oracle/src/mappings.ts

Centrality of an element of our group algebra, written in its own labels (GroupBasis, ClassSum); Wolfram has no group algebra.