Module org.meeuw.math.abstractalgebra.test
Package org.meeuw.theories.abstractalgebra

Interface GroupTheory<E extends GroupElement<E>>

All Superinterfaces:
AlgebraicStructureTheory<E>, BasicObjectTheory<E>, ElementTheory<E>, MagmaTheory<E>
All Known Subinterfaces:
CompleteFieldTheory<E>, CompleteScalarFieldTheory<E>, FieldTheory<E>, ScalarFieldTheory<E>
public interface GroupTheory<E extends GroupElement<E>> extends MagmaTheory<E>
Since:
0.4
Author:
Michiel Meeuwissen

  • Method Details

    • groupOperators

      @Property default void groupOperators(@ForAll("structure") Group<E> s)

    • groupUnitaryOperators

      @Property default void groupUnitaryOperators(@ForAll("structure") Group<E> s)

    • operateAssociativity

      @Property default void operateAssociativity(@ForAll("elements") E v1, @ForAll("elements") E v2, @ForAll("elements") E v3)

    • unity

      @Property default void unity(@ForAll("elements") E v)

    • inverse

      @Property default void inverse(@ForAll("elements") E v)

    • castingError

      @Property default void castingError(@ForAll("elements") E v)