Package org.meeuw.math.abstractalgebra

Interface MultiplicativeMonoid<E extends MultiplicativeMonoidElement<E>>

All Superinterfaces:

AlgebraicStructure<E>, MultiplicativeSemiGroup<E>

All Known Subinterfaces:

CompleteField<E>, DivisionRing<E>, Field<E>, MultiplicativeAbelianGroup<E>, MultiplicativeGroup<E>, ScalarField<E>

All Known Implementing Classes:

UncertainRealField

public interface MultiplicativeMonoid<E extends MultiplicativeMonoidElement<E>>
extends MultiplicativeSemiGroup<E>

This MultiplicativeSemiGroup defines also the multiplicative identify one()

Since:

0.4

Author:

Michiel Meeuwissen

Field Summary

Fields inherited from interface org.meeuw.math.abstractalgebra.MultiplicativeSemiGroup

OPERATORS

Method Summary

Modifier and Type	Method	Description
E	one()	The multiplicative group by definition has an element that is 'one', the multiplicative identity element.

Methods inherited from interface org.meeuw.math.abstractalgebra.AlgebraicStructure

getCardinality, getDescription, getElementClass, getEquivalence, getSupportedUnaryOperators

Methods inherited from interface org.meeuw.math.abstractalgebra.MultiplicativeSemiGroup

getSupportedOperators

Method Detail

one

E one()

The multiplicative group by definition has an element that is 'one', the multiplicative identity element.