org.tensorics.core.math.structures.grouplike

Interface Semigroup<T>

Type Parameters:

T - the type of the elements of the semigroup

All Superinterfaces:

GrouplikeStructure<T>, Magma<T>, Structure<T>

All Known Subinterfaces:

AbelianGroup<T>, CommutativeMonoid<T>, CommutativeSemigroup<T>, Group<T>, Monoid<T>

All Known Implementing Classes:

AbstractAbelianGroup

public interface Semigroup<T>
extends Magma<T>

Represents the algebraic structure of a semigroup (the same as an associative magma). This means that it the operation is an associative one.

See Also:

http://en.wikipedia.org/wiki/Semigroup

Method Summary

Modifier and Type	Method and Description
AssociativeOperation<T>	operation() Has to return the binary operation (M x M = M) for this Magma.

Method Detail

operation

AssociativeOperation<T> operation()

Description copied from interface: GrouplikeStructure

Has to return the binary operation (M x M = M) for this Magma.

Specified by:

operation in interface GrouplikeStructure<T>

Returns:

the binary operation.