Grace/Cumulus/Algebra/Group.g17

Open in Workbench Download source

Imports

Power · Lagrange · CosetSplit · Homomorphism · Kernel · Normal · Generated · Center · Restricted · Isomorphism · Quotient · FirstIsomorphism · Product · Cyclic · ElementOrder · GroupOrder · Abelian · Action · Conjugation · Translation · PrimeBinomial · Sylow · Words · FreeGroup · Paradox

Declarations

Source

1-- Group theory2-- Part of Cumulus, the Grace17 mathematics library.3-- Copyright (c) 2026 Grant Passmore.4-- Released under the Apache License 2.0. See LICENSE in the repository root.5-- Authors: Grant Passmore67module Grace.Cumulus.Algebra.Group8import Power9import Lagrange10import CosetSplit11import Homomorphism12import Kernel13import Normal14import Generated15import Center16import Restricted17import Isomorphism18import Quotient19import FirstIsomorphism20import Product21import Cyclic22import ElementOrder23import GroupOrder24import Abelian25import Action26import Conjugation27import Translation28import PrimeBinomial29import Sylow30import Words31import FreeGroup32import Paradox33