Package rocks.palaiologos.maja.structure

Interface AdditiveGroup<T>

All Superinterfaces:

AdditiveGroupoid<T>, AdditiveMonoid<T>, AdditiveSemigroup<T>

All Known Subinterfaces:

AdditiveAbelianGroup<T>, CommutativeRing<T>, DivisionRing<T>, Field<T>, Ring<T>

public interface AdditiveGroup<T>
extends AdditiveMonoid<T>

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

Method Summary

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

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

zero

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

plus

Method Details

addInv

T addInv(T a)

of

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