Module ojalgo
Package org.ojalgo.algebra

Interface Group

All Known Subinterfaces:
DecompositionStore<N>, Field<T>, Group.Additive<T>, Group.Multiplicative<T>, Matrix2D<N,M>, MatrixStore<N>, NormedVectorSpace<T,N>, PhysicalStore<N>, PolynomialFunction<N>, Ring<T>, Scalar<N>, Tensor<N,T>, VectorSpace<T,N>
All Known Implementing Classes:
Amount, AnyTensor, BasicMatrix, BigScalar, ColumnsSupplier, ComplexNumber, DiagonalStore, ExactDecimal, GenericStore, ImageData, MatrixC128, MatrixH256, MatrixQ128, MatrixR032, MatrixR064, MatrixR128, MatrixTensor, Money, PolynomialC128, PolynomialQ128, PolynomialR032, PolynomialR064, PolynomialR128, PolynomialR256, Price, PrimitiveScalar, Quadruple, Quantity, Quaternion, R032Store, R064CSC, R064CSR, R064Store, RationalNumber, RawStore, RowsSupplier, SparseStore, VectorTensor
public interface Group

A group is a set of elements paired with a binary operation. Four conditions called the group axioms must be satisfied:

  • Closure: If A and B are both members of the set then the result of A op B is also a member.
  • Associativity: Invocation/execution order doesn't matter - ((A op B) op C) == (A op (B op C))
  • The identity property: There is an identity element in the set, I, so that I op A == A op I == A
  • The inverse property: For each element in the set there must be an inverse element (opposite or reciprocal) so that A-1 op A == A op A-1 == I

Note that commutativity is not a requirement - A op B doesn't always have to be equal to B op A. If the operation is commutative then the group is called an abelian group or simply a commutative group.

Author:
apete
See Also: