Implication Details

Assumptions: split abelian

Conclusions: abelian

Reason: This holds by definition.