В абстрактной алгебре , унитальная карту на C * -алгебра является карта который сохраняет элемент идентичности:
Это условие часто появляется в контексте полностью положительных отображений , особенно когда они представляют квантовые операции .
Если полностью положительный, его всегда можно представить как
(В - операторы Крауса, связанные с). В этом случае унитальное состояние можно выразить как