Package rocks.palaiologos.maja.structure

Interface MultiplicativeMonoid<T>

All Superinterfaces:

MultiplicativeGroupoid<T>, MultiplicativeSemigroup<T>

All Known Subinterfaces:

DivisionRing<T>, Field<T>, MultiplicativeAbelianGroup<T>, MultiplicativeGroup<T>, Ring<T>, SemiRing<T>

public interface MultiplicativeMonoid<T>
extends MultiplicativeSemigroup<T>

An algebraic structure with an associative binary operation (implied by semigroup properties) 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> MultiplicativeMonoid<T>	of(AdditiveMonoid<T> semigroup)
T	one()

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

dot

Method Details

one

T one()

of

static <T> MultiplicativeMonoid<T> of(AdditiveMonoid<T> semigroup)