Interfaces defining behevious a group implements. The main hiearachy is GroupI -> AbelianGroupI -> RingI -> IntegralDomainI -> FieldI the other interfaces here add additiona functionality.