Package rocks.palaiologos.maja.structure

Interface MultiplicativeGroup<T>

All Superinterfaces:

MultiplicativeGroupoid<T>, MultiplicativeMonoid<T>, MultiplicativeSemigroup<T>

All Known Subinterfaces:

DivisionRing<T>, Field<T>, MultiplicativeAbelianGroup<T>

public interface MultiplicativeGroup<T>
extends MultiplicativeMonoid<T>

An extension to the concept of monoid. Every element of T must have an inverse element specified by the mulInv() method which is also in T. The inverse element is required to be unique.

Method Summary

Modifier and Type	Method	Description
T	mulInv(T a)
static <T> MultiplicativeGroup<T>	of(AdditiveGroup<T> group)

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

one

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

dot

Method Details

mulInv

T mulInv(T a)

of

static <T> MultiplicativeGroup<T> of(AdditiveGroup<T> group)