Interface AdditiveAbelianGroup<E extends AdditiveGroupElement<E>>