Package rocks.palaiologos.maja.structure

Interface MultiplicativeCommutativeMonoid<T>

All Superinterfaces:

MultiplicativeGroupoid<T>, MultiplicativeSemigroup<T>

All Known Subinterfaces:

CommutativeRing<T>

public interface MultiplicativeCommutativeMonoid<T>
extends MultiplicativeSemigroup<T>

An algebraic structure with an associative and commutative binary operation and an identity element. Formally speaking for all a in T, dot(a, one()) = dot(one(), a) = a must hold.

Method Summary

Modifier and Type	Method	Description
static <T> MultiplicativeCommutativeMonoid<T>	of(AdditiveCommutativeMonoid<T> semigroup)
T	one()

Methods inherited from interface rocks.palaiologos.maja.structure.MultiplicativeSemigroup

dot

Method Details

one

T one()

of

static <T> MultiplicativeCommutativeMonoid<T> of(AdditiveCommutativeMonoid<T> semigroup)