# Semantic search

Class-preserving not implies inner, Every injective endomorphism arises as the restriction of an inner automorphism, Extensible equals inner, Finite solvable-extensible implies inner, Finite-extensible implies inner, Finite-quotient-pullbackable implies inner, Hall-semidirectly extensible implies inner, Inner automorphisms are I-automorphisms in the variety of groups, Inner implies IA, Inner implies class-preserving, Inner implies extensible, Inner implies infinity-extensible, Locally inner not implies inner, Normal-extensible not implies inner, P-extensible implies inner, Pushforwardable equals inner, Quotient-pullbackable equals inner