Unital map

This article does not cite any sources. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. Find sources: "Unital map" – news · newspapers · books · scholar · JSTOR (October 2010) (Learn how and when to remove this message)

In abstract algebra, a unital map on a C*-algebra is a map ${\displaystyle \phi }$ which preserves the identity element:

${\displaystyle \phi (I)=I.}$

This condition appears often in the context of completely positive maps, especially when they represent quantum operations.

If ${\displaystyle \phi }$ is completely positive, it can always be represented as

${\displaystyle \phi (\rho )=\sum _{i}E_{i}\rho E_{i}^{\dagger }.}$

(The ${\displaystyle E_{i}}$ are the Kraus operators associated with ${\displaystyle \phi }$). In this case, the unital condition can be expressed as

${\displaystyle \sum _{i}E_{i}E_{i}^{\dagger }=I.}$