A pro-C∗-algebra is a (projective) limit of C∗-algebras in the category of topological ∗algebras. From the perspective of non-commutative geometry, pro-C∗-algebras can be seen as non-commutative k-spaces. An element of a pro-C∗-algebra is bounded if there is a uniform bound for the norm of its images under any continuous ∗-homomorphism into a C∗-algebra. The ∗-subalgebra consisting of the bound...

in this paper, we introduce a notion of property (t) for a c∗-dynamical system (a, g, α) consisting of a unital c∗-algebra a,a locally compact group g, and an action α on a. as a result,we show that if a has strong property (t) and g has kazhdan’sproperty (t), then the triple (a, g, α) has property (t).