Package rocks.palaiologos.maja.structure

Interface DivisionRing<T>

All Superinterfaces:
AdditiveAbelianGroup<T>, AdditiveGroup<T>, AdditiveGroupoid<T>, AdditiveMonoid<T>, AdditiveSemigroup<T>, MultiplicativeGroup<T>, MultiplicativeGroupoid<T>, MultiplicativeMonoid<T>, MultiplicativeSemigroup<T>
public interface DivisionRing<T> extends AdditiveAbelianGroup<T>, MultiplicativeGroup<T>
A division ring is a set R equipped with two binary operations + and ·, where (R, +) is an abelian group and (R, ·) is a group. The multiplication distributes over addition (left and right distributivity).