{"construction": "idempotent splitting", "qualifier_hr": "endomorphism"}