\(C^*\)-algebras generated by elements of a unitary matrix
type: Item
instance of: scholarly article
title: \(C^*\)-algebras generated by elements of a unitary matrix
zbMATH Open document ID: 0777.46033
DOI: 10.1016/0022-1236(92)90117-2
author: Kevin McClanahan
published in: Journal of Functional Analysis
publication date: 1992-09-27T00:00:00Z
review text: Let \(U_ n^{nc}\) be the unital \(C^*\)-algebra with the following universal property: There are elements \(u_{ij}\in U_ n^{nc}\) (\(1\leq i,j\leq n\)) such that the matrix \([u_{ij}]\), is a unitary in \(M_ n(U_ n^{nc})\) and if another unital \(C^*\)-algebra \(A\) contains elements \(v_{ij}\) with the same property, then there is a unique unital \(*\)-homomorphism \(\varphi: U+n^{nc}\to A\) such that \(\varphi(u_{ij})=v_{ij}\) (\(i,j=1,\dots,n\)). It is shown that \(U_ n^{nc}\) is isomorphic to the relative commutant \(M_ n^ c\) of \(M_ n\) in the amalgamated free product \(M_ n*_ \mathbb{C} C(T)\) (\(T\) denotes the unit circle) and that \(U_ n^{nc}\) has no nontrivial projections. Using the result \(K_ j(M_ n*_ \mathbb{C} A)\cong K_ j(A)\) (\(n\geq 1\), \(j=0,1\)) for a unital \(C^*\)-algebra \(A\) admitting a unital \(*\)- homomorphism \(w: A\to \mathbb{C}\), the author proves \(K_ j(U_ n^{nc})\cong\mathbb{Z}\) \((j=0,1)\). Further, a reduced version \(U^{nc}_{n,red}\) of \(U_ n^{nc}\) is defined and it is shown that \(U^{nc}_{n,red}\) is simple, has no nontrivial projections and is a homomorphic image of \(U_ n^{nc}\).
Mathematics Subject Classification ID: 46L05
Mathematics Subject Classification ID: 46L80
Mathematics Subject Classification ID: 19K14
zbMATH DE Number: 65350
zbMATH Keywords: unital \(C^*\)-algebra
zbMATH Keywords: unital \(*\)-homomorphism
zbMATH Keywords: amalgamated free product
zbMATH Keywords: nontrivial projections
reviewed by: M. Fritzsche
MaRDI profile type: Publication
full work available at URL: 0022-1236(92)90117-2
OpenAlex ID: W2080031672
cites work: Free Products of C ∗ -Algebras
cites work: Q3966651
cites work: The full C*-algebra of the free group on two generators
cites work: \(C^*\)-algebras without idempotents
cites work: K-theoretic amenability for discrete groups.
cites work: Simple \(C^*\)-algebras generated by isometries
cites work: A survey of some aspects of non-commutative geometry
cites work: Why the circle is connected: An introduction to quantized topology
cites work: Classifying Algebras for the K-Theory of σ-C*-Algebras
cites work: Q3316025
cites work: Simplicity of the \(C^*\)-algebra associated with the free group on two generators
cites work: Q3272732
cites work: The cross-space of linear transformations. II
cites work: Q4727689
description: scientific article; zbMATH DE number 65350