A purely infinite -algebra, in the nonsimple comparison sense, is a
-algebra in which every positive
element
is properly infinite in stable Cuntz comparison:
|
(1)
|
Zero is included in this convention. Weak pure infiniteness in the fixed-amplification sense requires one integer such that
is properly infinite for every positive
.
Strong pure infiniteness requires, for all positive
elements
and
, coefficients
in the algebra such that
|
(2)
|
|
(3)
|
and
|
(4)
|