"h" が "g" においてfully characteristicであれば、同様に、"g" のすべての自己準同型は "g"/"h" の自己準同型を誘導し、写像end "g" → end "g"/"h" が得られる。