ortomorfizm
W algebrze abstrakcyjnej ortomorfizm jest pewnym rodzajem odwzorowania grupy na samą siebie. Niech G będzie grupą i niech θ będzie permutacją G . Wtedy θ jest ortomorfizmem G , jeśli odwzorowanie f zdefiniowane przez f ( x ) = x −1 θ ( x ) jest również permutacją G . Permutacja φ G _ jest pełnym odwzorowaniem, jeśli odwzorowanie g określone przez g ( x ) = xφ ( x ) jest również permutacją G. Ortomorfizmy i pełne odwzorowania są ze sobą ściśle powiązane.