OpenAI reports the Kirchberg–Rørdam character criterion
- Mathematics
For every nonzero unital separable complex C∗-algebra A and every free ultrafilter ω on the natural numbers, its norm central-sequence algebra has no characters if and only if A absorbs the Jiang–Su algebra under minimal tensor product.