Functions available in AbstractAlgebra
There are several choices here. You can choose to view an abbreviated listing of available functions, the complete list of functions (which is below on this page), or the complete list of usage statements.
Complete listing of functions
| A | AbelianQ | Addition |
| AdditiveGroupoid | AdditiveToMultiplicative | Adjoin |
| Adjoint | AGroupoid | Alternating |
| AlternatingGroup | Annihilator | AntiCommutingMatricesQ |
| Any | AsIJK | AsMatrices |
| Associates | AssociativeQ | AsSymbols |
| Aut | Automorphism | AutomorphismGroup |
| BackgroundColors | BaseRing | BooleanRing |
| Both | Canonical | CartesianProduct |
| Cautious | CayleyForm | CayleyTable |
| CayleyTables | Centralizer | Characteristic |
| ClosedDiffQ | ClosedPlusQ | ClosedQ |
| ClosedTimesQ | CloseSets | Closure |
| Codomain | CollectOrders | ColorCodomain |
| ColorDomain | Combine | CommutativeQ |
| Commutator | Commutators | CommutatorSubgroup |
| CommutingMatricesQ | ComplementNoSort | ComplexMatrixQ |
| ComplexToPoint | Computational | ConjugacyClass |
| CosetLists | Cosets | CosetToList |
| Cycle | CycleAs | Cyclic |
| CyclicGenerators | CyclicGroup | CyclicQ |
| CyclicSubgroups | DefaultOrder | DefaultStructure |
| DetAdjoint | Diag | DiagonalMatrices |
| DiagQ | Dihedral | DihedralGroup |
| DirectProduct | DirectSum | DisguiseGroupoid |
| DisguiseRingoid | DisjointCyclesQ | DistributiveQ |
| DividesQ | DivisorsComplete | Domain |
| DrawNgon | EisensteinsCriterionQ | ElementConjugate |
| ElementQ | Elements | ElementsQ |
| ElementToCoset | ElementToKey | ElementToPower |
| EqualGroupoidQ | EqualMorphoidQ | ESG |
| EvaluationInExtension | EvenPermutationQ | ExtendPermutation |
| ExtensionDegree | ExtensionType | FactorGroup |
| FactorRing | Fiber | FieldIrreducible |
| FieldQ | FirstTaker | FixQ |
| FlexibleEntering | Form | FormatElements |
| FormatFunction | FormatOperator | FormGroupoid |
| FormGroupoidByTable | FormGroupoidFromCycles | FormMorphoid |
| FormMorphoidSetup | FormRingoid | FormRingoidByTable |
| FromCycles | Func | FuncRing |
| FunctionForm | FunctionsOver | FuncToRules |
| GaloisFieldQ | GaussianIntegerQ | GaussianIntegersAdditive |
| GaussianIntegersMultiplicative | GaussianUnits | GeneralLinear |
| GeneralLinearGroup | GenerateGroupoid | GeneratingSet |
| Generator | Generators | GF |
| GL | GLQ | Group |
| GroupCenter | GroupExponent | GroupIdentity |
| GroupInfo | GroupInverse | Groupoid |
| GroupoidDescription | GroupoidName | GroupQ |
| Groups | HasIdentityQ | HasInversesQ |
| HasLeftIdentityQ | HasNegativeQ | HasRightIdentityQ |
| HasUnityQ | HasZeroQ | HeadingsColored |
| HermitianQ | HomomorphismQ | IdealQ |
| IdempotentQ | Idempotents | IgnoreIndeterminate |
| Image | Index | IndexLimit |
| InducedCanonical | InducedIsomorphism | InjectiveQ |
| Inn | InnerAutomorphism | InnerAutomorphismGroup |
| IntegerDivisors | IntegerLatticeGrid | IntegerMatrixQ |
| IntegerUnits | IntegralDomainQ | InverseImage |
| InverseImages | Inverses | InvertibleQ |
| IrreduciblePolynomial | IrreduciblePolyOverZpQ | IsAGroup |
| IsARing | IsomorphismQ | J |
| JoinDivisors | Kernel | KeyForm |
| KeyToElement | Klein4 | KSubsets |
| LatticeRing | LeftCoset | LeftCosets |
| LeftDistributiveQ | LeftIdealQ | LeftIdentity |
| LeftInverse | LeftInvertibleQ | LeftToRight |
| LG | ListOperationPreservingElements | LowerDegreeOK |
| LT | LTD | Mat |
| MatA | MatM | Matrices |
| MatricesOver | MatrixConjugate | MatrixDelete |
| MatrixOperation | MatrixOverQ | MatrixTrace |
| MatrixType | MaxElementsToList | MaximalIdealQ |
| MaxTaker | MeetDivisors | MGroupoid |
| MinTaker | MixedDivisors | ModpIrreducibilityQ |
| ModulusPolynomial | Monic | MonoidQ |
| Monomial | MorphismQ | Morphoid |
| MorphoidComposition | MorphoidFunction | MorphoidRules |
| MultipleOfElement | Multiplication | MultiplicationTable |
| MultiplicativeGroupoid | MultiplicativeInverse | MultiplicativeToAdditive |
| MultiplyCycles | MultiplyPermutations | NegationOf |
| Negations | NextStage | NilpotentDegree |
| NilpotentQ | Nilpotents | NonAssociatingTriples |
| NonCommutingPairs | NonIdentity | NonTrivialOnly |
| NonUnity | NonZero | NonZeroMGroupoid |
| Normalize | Normalizer | NormalQ |
| NS | OddPermutationQ | OneToOneQ |
| OntoQ | Operation | OperatorSymbol |
| Orbit | Ordering | OrderOfAllElements |
| OrderOfElement | Orders | OrthogonalQ |
| Output | Parity | PermutationComposition |
| PermutationGroup | PermutationImage | PermutationInverse |
| PermutationMatrix | PermutationQ | PermutationToPower |
| PermuteColoredSquares | PlusSymbol | Poly |
| PolynomialEvaluation | PolynomialsOfDegreeN | PolynomialsOver |
| PolynomialsUpToDegreeN | PolyQ | PolyRing |
| PolyToFunction | PowerList | PowersIncrease |
| PreservesQ | PreviousStage | PrimeIdealQ |
| PrimitivePolynomials | PrincipalIdeal | PrintMessage |
| ProbableGroupQ | ProbableMorphismQ | ProbableRingQ |
| ProductOrder | Products | ProperSubsetQ |
| QuaternionGroup | QuotientGroup | QuotientRing |
| Radical | RandomAssociativeQ | RandomColoredSquares |
| RandomDistributiveQ | RandomElement | RandomElements |
| RandomGroupoid | Randomize | RandomMatrix |
| RandomPermutation | RationalMatrixQ | RationalRootCandidates |
| RationalRootTheorem | RealMatrixQ | Ref |
| RefSym | ReorderGroupoid | Replacement |
| ReportIterations | Representatives | RightCoset |
| RightCosets | RightDistributiveQ | RightIdealQ |
| RightIdentity | RightInverse | RightInvertibleQ |
| RightToLeft | Ring | RingExtension |
| RingInfo | Ringoid | RingoidDescription |
| RingoidName | RingQ | Rings |
| RingSolve | RootsOfUnity | Rot |
| RotRef | RotSym | Rules |
| S | SamePermutationQ | SameSetQ |
| SamplePairs | SampleSize | SelectBaseElementsFrom |
| SelectFrom | SemiGroupQ | Sgn |
| ShowBodyText | ShowCircle | ShowColoredPermutation |
| ShowFigure | ShowGroupOrders | ShowKey |
| ShowName | ShowOne | ShowOperator |
| ShowPermutation | ShowSidesText | SideBySideMatrices |
| Size | SizeLimit | SizeOfMatrices |
| SkewHermitianQ | SkewSymmetricQ | SL |
| SLQ | SortGroupoid | SpecialLinear |
| SpecialLinearGroup | Stabilizer | Staged |
| Structure | SubgroupClosure | SubgroupConjugate |
| SubgroupGenerated | SubgroupIntersection | SubgroupJoin |
| Subgroupoid | SubgroupProduct | SubgroupQ |
| Subgroups | SubgroupUnion | SubringQ |
| SubsetQ | SurjectiveQ | SwitchStructureTo |
| Symmetric | SymmetricGroup | SymmetricQ |
| TableOfPowers | TestFunction | TextCayley |
| Textual | TheSet | TimesSymbol |
| ToCycles | ToFunction | ToGroupoid |
| ToOrdinaryPolynomial | ToPermutation | ToRingoid |
| ToTranspositions | Trivial | TrivialZR |
| TwistedZ | U | UnionNoSort |
| UnitaryQ | UnitQ | Units |
| Unity | UT | UTD |
| ValuesHavingGivenNorm | VarToUse | Visual |
| Visual2 | VisualizeMorphoid | VisualTextShown |
| WideElements | WithImages | WithUnityQ |
| Z | ZdAssociatesQ | ZdCombineAssociates |
| ZdConjugate | ZdDivide | ZdDividesQ |
| ZdDivisors | ZdIrreducibleQ | ZdNorm |
| ZdPossibleNormQ | ZdPossibleNorms | ZdQ |
| ZdUnitQ | Zero | ZeroDivisorQ |
| ZeroDivisors | Zeros | ZG |
| ZMap | ZR | Zx |
Prepared by Al Hibbard. Most recent update: 6/16/2006. This page has been viewed 243 times since June 16, 2006. The entire EAAM web site has had 669,512 hits since July 23, 2002.
