---
abstract: 'Tracial Rokhlin property was introduced by Phillips in [@Ph-C] to prove various structure theorems for crossed product. But it is defined for actions on simple C\*-algebras only. This paper consists of two major parts: In section 2 and 3, we study the permanence properties and give a complete classification of tracial Rokhlin property for product-type actions; In section 4 and 5, we introduce the weak tracial Rokhlin property for actions on non-simple C\*-algebras. We prove that when the action has the weak tracial Rokhlin property and the crossed product is simple, the properties on $A$ of having tracial rank $\leq k$, or real rank 0, or stable rank 1, can be inherited by the crossed product.'
author:
- Qingyun Wang
title: 'Tracial Rokhlin property and non-commutative dimension'
---

Introduction
============

The Rokhlin property for finite group actions on C\*-algebras has been extensively studied since Izumi’s paper [@Iz1]. It is defined as follows:

\[SRP\] Let $A$ be an infinite dimensional unital [C\*-algebra]{}, let ${\alpha}\colon G \rightarrow {{\mathrm{Aut}}}(A)$ be an action of a finite group $G$ on $A$. We say that ${\alpha}$ has the [*Rokhlin property*]{} if for every finite set $F\subset A,$ every ${\varepsilon}>0$, there are [mutually orthogonal [projection]{}s]{} $e_g\in A$ for $g\in G$ with $\sum_{g\in G}e_g=1$, such that:

(1) $\|{\alpha}_g(e_h)-e_{gh}\|<{\varepsilon}$ for all $g, h\in G$.

(2) $\|e_g a-ae_g\|<{\varepsilon}$ for all $g\in G$ and all $a\in F.$

A number of authors have shown that the crossed products by actions with the Rokhlin property preserve many important classes of [C\*-algebra]{}, such as AF algebras, AI algebras, AT algebras, simple AH algebras with slow dimension growth and real rank 0, $\mathcal{D}$-absorbing C\*-algebras for a strongly self-absorbing [C\*-algebra]{} $\mathcal{D}$ and so on. But the Rokhlin property is very rare. In the paper [@Ph-F], Phillips pointed out many obstructions for the Rokhlin property and introduced the tracial Rokhlin property:

\[TRP\] Let $A$ be an infinite dimensional simple unital C\*-algebra, let ${\alpha}\colon G \rightarrow {{\mathrm{Aut}}}(A)$ be an action of a finite group $G$ on $A$. We say that ${\alpha}$ has the [*tracial Rokhlin property*]{} if for every finite set $F\subset A$, every ${\varepsilon}>0$, and every positive element $x\in A$ with $\|x\|=1$, there are mutually orthogonal projections $e_g\in A$ for $g\in G$ such that:

(1) $\|{\alpha}_g(e_h)-e_{gh}\|<{\varepsilon}$ for all $g, h\in G$.

(2) $\|e_g a-ae_g\|<{\varepsilon}$ for all $g\in G$ and all $a\in F.$

(3) Let $e=\sum_{g\in G}e_g$, we have $1-e{\precapprox_s}x.$

(4) $\|exe\|>1-{\varepsilon}.$

The comparison used in condition (3) is Blackadar’s comparison, whose definition is given by:

\[B-C\] Let $a$, $b$ be two positive elements in a [C\*-algebra]{} $A$. We say $a\sim_s b$ if there exist some element $x\in A$, such that $a=xx^*$ and ${\mathrm{Her}}(x^*x)={\mathrm{Her}}(b).$ We say $a{\precapprox_s}b$ if there exist $a^{\prime}\in{\mathrm{Her}}(b)$ such that $a\sim_s a^{\prime}$.

It should be pointed out here that Blackadar’s comparison is a generalization of Murray-Von Neumann comparison for projections. The notation is adopted from [@ORT].In Definition \[TRP\], we will call (3) the comparison condition and (4) the norm condition. The projections $e_g$ for $g\in G$ will be called Rokhlin projections corresponds to $F$, $x$, and ${\varepsilon}$, or Rokhlin projections for short.

Rokhlin properties for induced actions
======================================

Induced actions are important ways to generate interesting examples of actions. We’ll study the Rokhlin properties for induced actions in this section. To emphsize the distinction between Rokhlin property and tracial Rokhlin property, we will call Rokhlin property the strict Rokhlin property. There are many ways to induce a new action from the old ones, In most cases, strict Rokhlin property can be inherited.

Let ${\alpha}\colon G\rightarrow {{\mathrm{Aut}}}(A)$ be an action with the strict Rokhlin property, and let $p$ be an invariant projection. Then the induced action ${\alpha}|_{pAp}$ has the strict Rokhlin property.

We follow essentially the same lines of Lemma 3.7 of [@Ph-F]. Let $F\subset pAp$ be finite, let ${\varepsilon}>0$. Set $n=\mathrm{Card}(G)$. Using semiprojectivity of $\mathbb{C}^n$, Set $${\varepsilon}_0=min(\frac{1}{n}. \frac{{\varepsilon}}{4n+1})$$ choose ${\delta}>0$ such that whenever $B$ is a unital [C\*-algebra]{}, $q_1,\cdots,q_n$ are mutually orthogonal projections, and $p\in B$ is a non-zero projection such that $\|pq_j-q_jp\|<{\delta}$ for $1\leq j\leq n$, then there are mutually orthogonal projections $e_j\in pBp$ such that $\|e_j-pq_jp\|<{\varepsilon}_0$ for $1\leq j \leq n$. We also require ${\delta}<{\varepsilon}_0.$\
Since ${\alpha}$ has strict Rokhlin property, with $F\cup \{p\}$ in place of $F$, with ${\delta}$ in place of ${\varepsilon}$, we can obtain projections $q_g\in A$ for $g\in G$. By the choice of ${\delta}$, there are mutually orthogonal projections $e_g\in pAp$ such that $\|e_g-pq_gp\|<{\varepsilon}_0$ for $g\in G$. We now estimate, using ${\alpha}_g(p)=p$, $$\|{\alpha}_g(e_h)-e_{gh}\|\leq \|e_h-pq_hp\|+\|e_{gh}-pq_{gh}p\|+\|p({\alpha}_g(q_h)-q_{gh})p\|<2{\varepsilon}_o+{\delta}\leq {\varepsilon}.$$ And for $a\in F$, using $pa=ap=a$, $$\|e_ga-ae_g\|\leq 2\|e_g-pq_gp\|+\|p(q_ga-aq_g)p\|<2{\varepsilon}_0+{\delta}\leq {\varepsilon}$$ Next, set $e=\sum_{g\in G}e_g$, then $\|e-p\|\leq\|e_g-pq_gp\|<n{\varepsilon}_o\leq 1$. But $e$ is also a subprojection of $p$, this force $e=p$, the identity of $pAp.$

\[SRP-Lim\] Let ${\alpha}\colon G\to {{\mathrm{Aut}}}(A)$ be an inductive limit action, i.e. there exists an increasing sequence $(A_n)_{1<n<\infty}$ such that $A=\overline{\cup_{n\in {{\mathbb{Z}}_{> 0}}}A_n}$ and each $A_n$ is invariant under the action. Let ${\alpha}_n$ denote the induced action on $A_n$. If each ${\alpha}_n$ has the strict Rokhlin property, then ${\alpha}$ has the strict Rokhlin property.

Let $F$ be a finite subset of $A$, and ${\varepsilon}>0$. We can then find some $A_n$ and a finite subset $\tilde{F}$ of $A$, such that for any $a\in F$, there is some $b$ in $\tilde{F}$ with $\|a-b\|<{\varepsilon}/3$. Since ${\alpha}_n$ has strict Rokhlin property, with $\tilde{F}$ and ${\varepsilon}/3$, we can obtain projections $\{e_g\}_{e\in G}$ as in Definition \[SRP\]. For any $a\in F$, find $b$ in $\tilde{F}$ such that $\|a-b\|<{\varepsilon}/3$, then $$\|ae_g-e_ga\|\leq \|(a-b)e_g\|+\|be_g-e_gb\|+\|e_g(a-b)\|<{\varepsilon}/3+{\varepsilon}/3+{\varepsilon}/3={\varepsilon}.$$

Throughout this paper, $A\otimes B$ will always denote the minimal tensor product of $A$ and $B$.

\[SRP-T\] Let ${\alpha}\colon G\rightarrow {{\mathrm{Aut}}}(A)$ be an action with the strict Rokhlin property and $\beta\colon G\rightarrow {{\mathrm{Aut}}}(B)$ be an arbitrary action. Then the tensor product $\gamma={\alpha}\otimes \beta\colon G \rightarrow {{\mathrm{Aut}}}(A\otimes B)$ has the strict Rokhlin porperty.

Let $F\subset A$ be finite and ${\varepsilon}>0$, without loss of generality we may assume that the elements of $F$ are all elementary tensors, i.e. $F=\{a_i\otimes b_i\}$. Let $\tilde{F}=\{a_i\}\subset A$ and let $M=max\{\|b_i\|\}$. From the definition \[SRP\], we can obtain Rokhlin projections $\{e_g\}_{g\in G}\subset A$ corresponds to $\tilde{F}$ and ${\varepsilon}/(M+1)$. Consider projections $p_g=e_g\otimes 1\in A\otimes B$, they are mutually orthogonal projections sum up to 1, and satisfy:

(1) $\|{\alpha}_g(p_h)-p_{gh}\|=\|({\alpha}_g(e_h)-e_{gh})\otimes 1\|<{\varepsilon}$.

(2) $\|p_g(a_i\otimes b_i)-(a_i\otimes b_i)p_g\|=\|(e_ga_i-a_ie_g)\otimes b_i\|<{\varepsilon}/(M+1)M<{\varepsilon}$.

Now let’s turn to tracial Rokhlin property. A [C\*-algebra]{} is said to have [*Property (SP)*]{} if every non-zero hereditary C\*-subalgebra contains at least one non-zero projection. The following observation is easy to see:

\[SP-SRP\] (Lemma 1.13, [@Ph-F]) Let $A$ be an infinite dimensional simple separable unital [C\*-algebra]{}, let ${\alpha}\colon G\rightarrow {{\mathrm{Aut}}}(A)$ be an action of a finite group $G$ on $A$ which has the tracial Rokhlin property. Then $A$ has Property (SP) or ${\alpha}$ has the strict Rokhlin property.

Not surprisingly we will mostly deal with C\*-algebras with Property (SP) when studying tracial Rokhlin property. So we present some facts about Property (SP) here.

\[Fun1\] Let $0\leq{\sigma}_2<{\sigma}_1\leq 1$ be two positive numbers. The function $f^{{\sigma}_1}_{{\sigma}_2}$ is a piecewise linear function defined by: $$f^{{\sigma}_1}_{{\sigma}_2}(x)=
\begin{cases}
0 & \text{if\quad} x<{\sigma}_2\\
\frac{x-{\sigma}_2}{{\sigma}_1-{\sigma}_2} & \text{if\quad} {\sigma}_2\leq x \leq {\sigma}_1\\
1 & \text{if\quad} x>{\sigma}_1
\end{cases}$$

\[SP\] Let $A$ be a [C\*-algebra]{} with Property (SP), let $x\in A$ be a positive element with norm 1, and let ${\varepsilon}>0$. Then there exists a non-zero projection $p\in \overline{xAx}$ such that for any positive element $q\leq p$ with$ \|q\|=1$, we have: $$\|qx^{1/2}-q\|\leq{\varepsilon}, \quad \|x^{1/2}q-q\|\leq{\varepsilon}.$$

(See Lemma 1.14 of  [@Ph-F].) Since ${\mathrm{Her}}(x)={\mathrm{Her}}(x^{1/2})$, it suffices to prove the inequalities with $x$ in place of $x^{1/2}.$ [Without loss of generality]{} Assume that ${\varepsilon}<1/2$. Let $f=f_{0}^{{\varepsilon}}$ ,$g=f_{1-{\varepsilon}}^1$. Then we have: $$fg=g,\quad \|f(x)-x\|\leq {\varepsilon},\quad \overline{g(x)Ag(x)}\subset \overline{xAx}=\overline{f(x)Af(x)}.$$ Now $fg=g$ implies that for any $c\in \overline{g(x)Ag(x)}$, $cf(x)=f(x)c=c$. Since $A$ has Property (SP), we can choose a nonzero projection $p\in \overline{g(x)Ag(x)}\subset \overline{xAx}$. Then for any positive element $q\leq p$, $\|qx-q\|=\|qx-qf(x)\|\leq {\varepsilon}$ and similarly $\|xq-q\|\leq {\varepsilon}$.

A C\*-algebra is elementary if it’s a finite dimensional C\*-algebra or the C\*-algebra of compact operators.

\[SP2\] Let $A$ be a non-elementary simple C\*-algebra with Property (SP). Then for any non-zero projection $p$ in $A$ and any $n\in {{\mathbb{Z}}_{> 0}}$, there exists $n$ mutually orthogonal sub-projections $p_i$ of $p$ which are mutually Murray-von Neumann equivalent.

Lemma 3.5.7, p142 of  [@Lin-C]

\[SP-Lim\] If there exists an increasing sequence $\{A_n\}$ such that\
$A=\overline{\cup_{n\in {{\mathbb{Z}}_{> 0}}}A_n}$ and each $A_n$ has Property (SP), then $A$ itself has Property (SP).

(Private communication with C. Philips) Let $x\in A$ be a positive element of norm 1. We need to find a non-zero projection in $\overline{xAx}$. Let ${\varepsilon}=1/28.$ Then we can find some $n\in \mathbb{N^{+}}$ and a positive element $y\in A_n$ such that $\|y-x\|<{\varepsilon}$. This implies $y-{\varepsilon}<x$. Let $z$ be the positive part of $y-{\varepsilon}$. We have: $$z\neq 0, z(y-{\varepsilon})z=z^3,\quad\|z-(y-{\varepsilon})\|<2{\varepsilon}\quad\text{and}\quad \|z-x\|<4{\varepsilon}.$$ Let $c=zx^{1/2}$, then $1-4{\varepsilon}< \|c\|\leq 1$. Since $cc^*=zxz\geq z(y-{\varepsilon})z\geq z^3$, we have: $$\overline{cc^*Acc^*}\supset \overline{z^3Az^3}\supset \overline{zAz}\supset \overline{zA_nz}.$$ Let $f=f_{{\varepsilon}}^{1-{\varepsilon}}$ and $g=f_{1-{\varepsilon}}^1.$ (See Definition \[Fun1\].) Since $A_n$ has Property (SP) by assumption, we can find non-zero projection $p\in \overline{g(z)A_ng(z)}\subset\overline{cc^*Acc^*}$. Now $f(z)g(z)=g(z)$ implies that $pf(z)=pg(z)f(z)=p$. Use the relation $\|z-x\|<4{\varepsilon}$ and $\|pz-p\|=\|pz-pf(z)\|<{\varepsilon}$ repeatedly, we can show that $\|pcc^*-p\|=\|pzxz-p\|<7{\varepsilon}$. Take the adjoint we get $\|cc^*p-p\|<7{\varepsilon}$. Then $c^*pc$ is approximately a projection: $\|c^*pcc^*pc-c^*pc\|<7{\varepsilon}<1/4$. Since $c^*pc=x^{1/2}zpzx^{1/2}\in \overline{xAx}$, there exist a projection $q\in \overline{xAx}$ such that $\|q-c^*pc\|<1/4$. The projection $q$ is non-zero, otherwise $$\|c^*pc\|=\|pcc^*p\|\geq\|p\|-\|(pcc^*-p)p\|=3/4>1/4>\|c^*pc\|.$$ Which is a contradiction.

The following lemma is very useful in dealing with tensor products:

\[Slice\] (Kirchberg’s Slice Lemma). Let $A$ and $B$ be C\*-algebras, and let $D$ be a non-zero hereditary sub-C\*-algebra of the minimal tensor product $A\otimes B$. Then there exists a non-zero element $z$ in $A\otimes B$ such that $z^*z$ is an elementary tensor $a\otimes b$, for some $a\in A_{+}$ and $b\in B_{+}$, and $zz^*$ belongs to $D$.

See lemma 4.1.9, p68 of book  [@RS1] for a proof. Note that the definition of $a$, $b$ in the proof shows that they are all positive. As a consequence, we can show the following:

\[SPtensor\] Let $A$,$B$ be two C\*-algebras with Property (SP), then $A \otimes B$ has Property (SP).

Let $D$ be a non-zero hereditary sub-C\*-algebra of $A\otimes B$. By Lemma \[Slice\], we can find a non-zero element $z$ in $A\otimes B$ such that $z^*z$ is an elementary tensor $a\otimes b$ for some $a\in A_{+}$ and $b\in B_{+}$, and $zz^*\in D$. Since both $A$ and $B$ have Property (SP), there exist non-zero projections $p$, $q$ in ${\mathrm{Her}}(a)$ and ${\mathrm{Her}}(b)$, respectively. Then $p\otimes q$ is a non-zero projection in ${\mathrm{Her}}(a\otimes b)=Her(z^*z)$. But ${\mathrm{Her}}(z^*z)$ is isomorphic to ${\mathrm{Her}}(zz^*)\subset D$ (See p 218 of [@Cu1]), therefore $D$ contains a non-zero projection.

Before we systematically study the inheritance of tracial Rokhlin property, let’s first present some basic properties of Blackdar’s comparison first. (See Definition \[B-C\]. We have the following equivalent definition:

Let $a$, $b$ be two positive elements in a [C\*-algebra]{} $A$. Let $A''$ be the enveloping von-Neumann algebra of $A$. Then $a{\precapprox_s}b$ [if and only if]{} there exist some partial isometry $v\in A''$ such that, $v{\mathrm{Her}}(a)$, ${\mathrm{Her}}(a)v$ are subsets of $A$, $vv^*=p_{a}$, where $p_{a}$ is the range projection of $a$ in $A''$, and $v^*{\mathrm{Her}}(a)v\subset {\mathrm{Her}}(b)$. $a\sim_s b$ [if and only if]{} $v^*{\mathrm{Her}}(a)v={\mathrm{Her}}(b)$.

See Proposition 4.3 and Proposition 4.6 of [@ORT] for a proof.

By $a_1\oplus a_2\oplus\cdots\oplus a_n$ we mean ${{\mathrm{diag}}}\{a_1,a_2,..., a_n\}$ and $n\odot a$ means $a\oplus a\oplus\cdots\oplus a.$ We write $a_1\oplus a_2\oplus\cdots\oplus a_n\leq b_1\oplus b_2\oplus\cdots\oplus b_m$ if and only if ${{\mathrm{diag}}}\{a_1,a_2,..., a_n,0,..0\}]{\precapprox_s}{{\mathrm{diag}}}\{b_1,b_2,..., b_m, 0,...,0\}$ in $M_{m+n}(A).$

(Proposition 3.5.3, p 141,[@Lin-C]) Let $A$ be a C\*-algebra.

(i) If $0\leq a\leq b$, then $a{\precapprox_s}b.$

(ii) If $p$ and $q$ are two projections in $A$, then $p{\precapprox_s}q$ [if and only if]{} $p$ is sub-equivalent to $q$ in the sense of Murray and Von Neumann, and $p\sim_s q$ if and only if $p$ and $q$ are Murray-von Neumann equivalent.

(iii) Let $B$ be a hereditary subalgebra of $A$ and $a,b\in A$. Then $a{\precapprox_s}b$ in $A$ if and only if $a{\precapprox_s}b$ in $B$, and $a\sim_s b$ in $A$ if and only if $a\sim_s b$ in $B$.

(iv) Let $a_1, ..., a_n$ be positive elements in $A$. Then $(\sum_{i=1}^n{a_i}){\precapprox_s}\oplus_{i=1}^n {a_i}.$ If $a_ia_j=0,\forall i\neq j$, then $(\sum_{i=1}^n{a_i})\sim_s\oplus_{i=1}^n {a_i}$

Now we are ready to prove analogue results for tracial Rokhlin property:

Let ${\alpha}\colon G\rightarrow {{\mathrm{Aut}}}(A)$ be an action with the tracial Rokhlin property, and let $p$ be an invariant projection. Then the induced action ${\alpha}|_{pAp}$ has the tracial Rokhlin property.

Lemma 3.7 of [@Ph-F]

Let ${\alpha}\colon G\to {{\mathrm{Aut}}}(A)$ be an inductive limit action (See Proposition \[SRP-Lim\] for the definition.) Let ${\alpha}_n$ denote the induced action on $A_n$. If each ${\alpha}_n$ has the tracial Rokhlin property, then ${\alpha}$ has the tracial Rokhlin property.

If there are infinite many $A_n$’s that do not have Property (SP), then ${\alpha}_n$ has the strict Rokhlin property for infinite many $n$, so ${\alpha}$ also has the strict Rokhlin property. (A slight modification of Proposition \[SRP-Lim\]).\
Otherwise, A slight modification of Lemma \[SP-Lim\] shows that $A$ itself has Property (SP). Let $F$ be a finite subset of $A$. Let $x\in A_{+}$ with $\|x\|=1$, and ${\varepsilon}>0$ be given.\
Since $A$ has Property (SP), by Lemma  \[SP\] we can find a non-zero projection $p$ such that $\|px^{1/2}-p\|<{\varepsilon}$ and $\|x^{1/2}p-p\|<{\varepsilon}$. We can then find some $n\in {{\mathbb{Z}}_{> 0}}$ and a non-zero projection $q\in A_n$ such that $\|q-p\|<{\varepsilon}$. Without loss of generality, we may also assume that $F\subset A_n$. Since ${\alpha}_n$ has the tracial Rokhlin property, let ${\delta}=min\{{\varepsilon}/7, 1/2\}$, we can then find mutually orthogonal projections $\{e_g\}_{g\in G}\subset A_n$ such that:

(1) $\|e_ga-ae_g\|<{\delta}.$

(2) $\|{\alpha}_g(e_h)-e_{gh}\|<{\delta}.$

(3) Let $e=\sum_{g\in G}e_g$, then $1-e{\precapprox_s}q$

(4) $\|eqe\|>1-{\delta}$

Since $\|p-q\|<{\delta}\leq 1/2,$ $p$ and $q$ are Murray-von Neumann equivalent in $A$. But $p\in \overline{xAx}$, so $1-e{\precapprox_s}q\approx p{\precapprox_s}x$. For the norm condition, we have following estimation: $$\begin{aligned}
\|exe\|&=&\|ex^{1/2}x^{1/2}e\|=\|x^{1/2}ex^{1/2}\|\geq\|px^{1/2}ex^{1/2}p\|\\
       &=&\|(px^{1/2}p-p)(x^{1/2}p-p)+pe(x^{1/2}-p)+(px^{1/2}-p)ep+pep\|\\
       &\geq& \|pep\|-3{\delta}\\
       &\geq&\|qeq\|-3{\delta}-3{\delta}\\
       &=&\|eqe\|-6{\delta}>1-7{\delta}\geq 1-{\varepsilon}.\end{aligned}$$

Let ${\alpha}\colon G\rightarrow {{\mathrm{Aut}}}(A)$ be an action of finite group $G$ on a simple [C\*-algebra]{} A with the tracial Rokhlin property. Let $\beta \colon G\rightarrow {{\mathrm{Aut}}}(B)$ be an arbitrary action on a simple [C\*-algebra]{} B. Let $\theta={\alpha}\otimes \beta \colon G\rightarrow {{\mathrm{Aut}}}(A\otimes B)$ be the tensor action of ${\alpha}$ and $\beta$. If $A\otimes B$ has Property (SP), then $\theta$ has the tracial Rokhlin property.

First of all, we can assume that $A$ has Property (SP). Otherwise the action ${\alpha}$ will have the strict Rokhlin property and therefore $\theta$ has the strict Rokhlin property by Proposition \[SRP-T\].\
Let $F$ be a finite subset of $A\otimes B$, ${\varepsilon}>0$, $x\in A\otimes B$ be a positive element of norm 1. Without loss of generality, we may assume that $F$ consists of elementary tensors $a_i\otimes b_i, 1\leq i\leq n$.\
Let ${\varepsilon}_0={\varepsilon}/12$. Since $A\otimes B$ has Property (SP), by Lemma \[SP\], we can find a non-zero projection $r\in Her(x)$ such that for any projection $s\leq r$, we have $\|sx^{1/2}-s\|\leq{\varepsilon}_0, \|x^{1/2}s-s\|\leq{\varepsilon}_0$. By Kirchberg’s Slice Lemma \[Slice\], there exist some $z\in A\otimes B$, such that $zz^*\in Her(r)$, and $z^*z=a\otimes b$, for some $a\in A_+$ and $b\in B_+$. We may assume that $\|a\|=\|b\|=\|z\|=1$. Find $z_0=\sum_{j=1}^{k} {y_j\otimes z_j}$ with norm 1 such that $\|z-z_0\|<{\varepsilon}_0$.

Since $B$ is simple, we can find elements $\{l_i |1\leq i\leq m\}$ such that $\sum_{i}{l_i b l_i^*}$=1. Let $M=max\{\|a_i\|,\|b_i\|,\|y_j\|,\|z_j\|\}$ and let ${\delta}=\frac{{\varepsilon}}{2(|G|)M}$. For $a\in A$, we first use Lemma \[SP\], find a non-zero projection $p\in Her(a)$ such that for any projection $q\leq p$, $\|qa^{1/2}-q\|\leq{\delta}, \|a^{1/2}q-q\|\leq{\delta}$. By Lemma \[SP2\] we can find $m$ mutually orthogonal but equivalent subprojection $\{p_i\}_{1\leq i\leq m}$ of $p$.

Since ${\alpha}$ has the tracial Rokhlin property, for $F^{\prime}=\{a_i\}\cup \{y_k\}$, $p_1\in A_+$ and ${\delta}>0$ as chosen before, we can find projections $\{q_g\}_{g\in G}$ in $A$ such that:

(1) $\|q_g d-d q_g\|<{\delta}$, $\forall d\in F^{\prime} $ and $g\in G$

(2) $\|{\alpha}_g(q_h)-q_{gh}\|<{\delta}$.

(3) With $q=\sum_{g\in G}q_g$, $1-q{\precapprox_s}p_1$

(4) $\|qp_1q\|\geq 1-{\delta}$

Now consider the projections $e_g=q_g\otimes 1$. For the action $\theta$, we have:

1.  $\|e_g f-f e_g\|=\|(q_ga_i-a_iq_g)\otimes b_i\|<M{\delta}\leq {\varepsilon}$, $\forall a_i\otimes b_i\in F$ and $g\in G$

2.  $\|\theta_g(e_h)-e_{gh}\|=\|({\alpha}_g(q_h)-q_{gh})\otimes 1\|<{\delta}\leq {\varepsilon}$

3.  Let $e=\sum_{g\in G}e_g=q\otimes 1$, $$\begin{aligned}
     1-e&=(1-q)\otimes (\sum{l_i b l_i^*})\\
    &=\sum_{i=1}^{m}(1\otimes l_i)((1-q)\otimes b)(1\otimes l_i^*\\
    &{\precapprox_s}m\odot (1-q)\otimes (b{\precapprox_s}m)\odot (p_1\otimes b)\\
    &{\precapprox_s}a\otimes b\sim_s z^*z{\precapprox_s}x\\\end{aligned}$$

4.  Since $p_1\leq p$, by our choice of $p$, we have $\|p_1a^{1/2}-p_1\|\leq{\delta}$ and $\|a^{1/2}p_1-p_1\|\leq{\delta}$. Therefore $$\|qaq\|=\|a^{1/2}qa^{1/2}\|\geq\|p_1a^{1/2}qa^{1/2}p_1\|>\|p_1qp_1\|-2{\delta}=\|qp_1q\|-2{\delta}>1-3{\delta}.$$ It follows that $\|ezz^*e\|=\|e(a\otimes b)e\|=\|(qaq)\otimes b\|>1-3{\delta}$. Hence $$\begin{aligned}
    \|ez^*ze\|&>\|ez_0^*z_0e\|-2{\varepsilon}_0\\
    &>\|z_0^*ez_0\|-2M|G|{\delta}-2{\varepsilon}_0\\
    &>\|z^*ez\|-2M|G|{\delta}-4{\varepsilon}_0\\
    &=\|ezz^*e\|-2M|G|{\delta}-4{\varepsilon}_0 \end{aligned}$$ Recall that our $r\in {\mathrm{Her}}(x)$ is chosen so that $\forall s\leq r$, $\|sx^{1/2}-s\|\leq{\varepsilon}_0, \|x^{1/2}s-s\|\leq{\varepsilon}_0$. Since $zz^*\in {\mathrm{Her}}(r)$, we have $\|zz^*x^{1/2}-zz^*\|=\|zz^*(rx^{1/2}-r)\|\leq {\delta}.$ Hence $$\begin{aligned}
    \|exe\|&>\|(zz^*)^{1/2}x^{1/2}ex^{1/2}(zz^*)^{1/2}\|\\
    &>\|(zz^*)^{1/2}e(zz^*)^{1/2}\|-2{\varepsilon}_0\\
    &=\|ezz^*e\|-2{\varepsilon}_0>1-2M|G|{\delta}-6{\varepsilon}_0\geq 1-{\varepsilon}.\\\end{aligned}$$

By Lemma \[SPtensor\], we have the following corollary:

Let ${\alpha}\colon G\rightarrow {{\mathrm{Aut}}}(A)$ be an action of finite group $G$ on a simple [C\*-algebra]{} $A$, with the tracial Rokhlin property. Let $\beta \colon G\rightarrow {{\mathrm{Aut}}}(B)$ be an arbitrary action on simple [C\*-algebra]{} $B$. Let $\theta={\alpha}\otimes \beta \colon G\rightarrow {{\mathrm{Aut}}}(A\otimes B)$ be the tensor product of ${\alpha}$ and $\beta$. If $B$ has Property (SP), then $\theta$ has the tracial Rokhlin property.

Rokhlin Properties for product-type actions
===========================================

In this section, we give a complete classification or Rokhlin properties for product-type actions.

\[ptact\] Let $A=\otimes_{i=1}^{\infty}\mathrm{B}(H_i),$ where $H_i$ is a finite dimensional Hilbert space for each $i$. Let $G$ be a finite group. An action ${\alpha}\colon G\mapsto {{\mathrm{Aut}}}(A)$ is called a [*product-type action*]{} [if and only if]{} for each $i$, there exists a unitary representation $\pi_i\colon G\rightarrow \mathrm{B}(H_i)$, which induces an inner action ${\alpha}_i\colon g\mapsto {{\mathrm{Ad}}}(\pi_i(g))$, such that ${\alpha}=\otimes_{i=1}^{\infty}{\alpha}_i$.

Let ${\alpha}\colon G\mapsto {{\mathrm{Aut}}}(A)$ be a product-type action on a UHF-algebra $A.$ A *telescope* of the action is a choice of an infinite sequence of positive integers $1=n_1<n_2<\cdots$ and a re-expression of the action, so that $A=\otimes_{i=1}^{\infty} B(K_i)$ where $K_i=\otimes_{j=n_i}^{n_{i+1}-1}H_j$, and the action on $B(K_i)$ is $\otimes_{j=n_i}^{n_{i+1}-1}{\alpha}_j$

Recall that two actions ${\alpha}\colon G\mapsto {{\mathrm{Aut}}}(A)$ and ${\beta}\colon G\mapsto {{\mathrm{Aut}}}(B)$ are said to be conjugate, if there exist an isomorphism $T\colon A\mapsto B$ such that $T\circ {\alpha}_g={\beta}_g\circ T$, for any $g\in G$. The main result of this section is the the following theorem:

\[main\] Let ${\alpha}\colon G\mapsto {{\mathrm{Aut}}}(A)$ be a product-type action where $A$ is UHF. Let $H_i$,$\pi_i$,${\alpha}_i$ be defined as in Definition \[ptact\]. Let $d_i$ be the dimension of $H_i$ and $\chi_i$ be the character of $\pi_i$. We will use the same notations if we do a telescope to the action. Define $\chi\colon G\mapsto {{\mathbb{C}}}$ to be the characteristic function on $1_{G}$. Then we have:

(i) ${\alpha}$ has strict Rokhlin property [if and only if]{} there exists a telescope, such that for any $n\in {{\mathbb{Z}}_{> 0}}$, $$\frac{1}{d_n}\chi_n=\chi$$

(ii) ${\alpha}$ has the tracial Rokhlin property [if and only if]{} there exists a telescope, such that for any $n\in {{\mathbb{Z}}_{> 0}}$, the infinite product $${\displaystyle{\prod_{n\leq i <\infty}\frac{1}{d_i}\chi_i}}=\chi$$

In [@Ph-C], Phillips gave a complete characterization of Rokhlin actions in terms of the unitaries, when $G$ is ${{\mathbb{Z}}}/2{{\mathbb{Z}}}$. This theorem is a generalization of Proposition 2.4 and Proposition 2.5 of [@Ph-C]. We shall deal with finite cyclic group first, and then extend the result to arbitrary finite group.

We first develop some terminology for cyclic groups as well as product-type actions.

Let $G$ be any finite cyclic group, then there exist a commutative bihomomorphism ${\zeta}\colon G\times G\rightarrow S^1$, where $S^1$ is the unit circle of the complex plane. By a commutative bihomomorphism we mean that for any $g,h\in G,$ ${\zeta}(\bullet ,g)$ and ${\zeta}(h,\bullet)$ are homomorphisms and ${\zeta}(g,h)={\zeta}(h,g).$

Let $G$ be a cyclic group of order $n$, which is generated by a primitive $n$-th root of unity $\xi$. Define ${\zeta}: G\times G
\rightarrow S^1$ by ${\zeta}(\xi^i,\xi^j)=\xi^{ij}.$ Computation shows that ${\zeta}$ is a commutative bihomomorphism.

From now on we will assume that a commutative bihomomorphism ${\zeta}$ is given whenever we have a finite cyclic group $G$. It’s easy to see that the map $g\rightarrow {\zeta}(g,\bullet)$ defines an isomorphism between $G$ and the dual group $\hat{G}$. We use ${\zeta}^g(h)$ to denote ${\zeta}(g,h)$ as an indication of this duality. It’s not difficult to see that $\sum_{g\in G}{\zeta}^g(h)={\delta}(h,1_{G})|G|$, where ${\delta}(\cdot,\cdot)$ is the Kronecker delta. This equality will be used in later computations.

Product-type actions are special cases of inductive limit actions. By Theorem 4.5 of [@Ph-S], we have $$C^*(G,A,{\alpha})=\varinjlim C^*(G,A_n,{\alpha})$$

The action on each $A_n$ is inner, by Example 4.10 of [@Ph-S], $C^*(G,A_n,{\alpha})\cong C^*(G)\otimes A_n$. If $G$ is abelian, then $C^*(G)\cong C(G)$. In particular, we have the following:

\[ISO\_C\] Let $G$ be a finite abelian group. Then $C^*(G,A_n,{\alpha})$ is isomorphic to a direct sum of $|G|$ copies of $A_n$. We may write $C^*(G,A_n,{\alpha})\cong \oplus_{g\in G}A_n^g$, where $A_n^g=A_n$ for all $g\in G$.

Now let’s find an explicit formula for the isomorphism in the above proposition as well as the corresponding direct system.\
For any $g\in G$, Let $V_n^g \in U(A_n)$ denote the finite tensor $\otimes_{i=1}^{n}\pi_i(g)$. Define $X_{n}^g=({\zeta}^h(g)V_{n}^g)_{h\in G}\in \oplus_{g\in G} A_n^g.$ Embed $A_n$ into $\oplus_{g\in G}A_n^g$ by the map $a\mapsto (a^h)_{h\in G}$, where $a^h=a$ for all $h\in G$. We can check that $\{X_{n}^g\}_{g\in G}$ are unitary elements and $A_n\cup\{X_{n}^g\}_{g\in G}$ satisfy the relation: $$X_{n}^{g}X_{n}^{h}=X_{n}^{gh},\quad X_{n}^{g}aX_{n}^{g*}={\alpha}_g(a),\quad \forall g,h\in G, a\in A.$$ Let $U_{n}^g$ be the canonical unitaries of $C^*(G,A_n,{\alpha})$. By Lemma 3.17 of [@Ph-S], there is a \*-homomorphism $T\colon C^*(G,A_n,{\alpha}) \mapsto \oplus_{g\in G}A_n^g$ which sends $U_g$ to $X_g$ and maps $A_n$ to $\oplus_{g\in G}A_n^g$ the same way we embeded $A_n$ in $\oplus_{g\in G}A_n^g$. Now that this homomorphism is an isomorphism is equivalent to that the matrix $({\zeta}^h(g))_{h,g\in G}$ is invertible. But $({\zeta}^h(g))_{h,g\in G}$ is actually unitary(after normalization): For any two elements $h_0,h\in G$, $$\begin{aligned}
\sum_{g\in G}{{\zeta}^{h_0}(g)\overline{{\zeta}^h(g)}}
&=&\sum_{g\in G}{{\zeta}^{h_0}(g){\zeta}^{h^{-1}}(g)}=\sum_{g\in G}{{\zeta}^{h_0h^{-1}}(g)}\\
&=&{\delta}(h_0h^{-1},1)|G|={\delta}(h_0,h)|G|\end{aligned}$$

For each n, we can define an isomorphism as above. This enables us to turn the direct system ${\varinjlim } C^{\ast}(G,A_n,{\alpha})$ into a direct system ${\varinjlim } \oplus_{g\in G}A_n^g$. Let $\phi_{i,j}$ be the connecting map of the latter system, we have the following proposition:

\[C-Map\] For any positive integers $n\leq m$ and any $g\in G$, let $P_{n,m}^g$ be an element of $\otimes_{i=n}^{m}{{\mathrm{B}}}(H_i)$ defined by: $$P_{n,m}^g=|G|^{-1}\sum_{h\in G}{{\zeta}^h(g)\otimes_{i=n}^{m}\pi_i(h)}$$ Then $P_{n,m}^g$ are [mutually orthogonal [projection]{}s]{} sum up to the 1 such that the connecting map $\phi_{n-1,m}$ is given by: $$(y_{n-1}^h)_{h\in G}\mapsto (y_m^h)_{h\in G}, \quad \text{where}\,\, y_m^h=\sum_{g\in G}{y_{n-1}^g\otimes P_{n,m}^{hg^{-1}}}.$$ We shall use $P_n^g$ to denote $P_{n,n}^g$

[Without loss of generality]{} we may assume $m=n$. Let $P_{n}^g=|G|^{-1}\sum_{h\in G}{{\zeta}^h(g)\pi_n(h)}$. We can compute: $$\begin{aligned}
(P_n^g)^*&=&|G|^{-1}\sum_{h\in G}{\overline{{\zeta}^h(g)}(\pi_n(h))^*}\\
&=&|G|^{-1}\sum_{h\in G}{{\zeta}^{h^{-1}}(g)\pi_n(h^{-1})}=P_n^g.\\
P_n^{g_0}P_n^g&=&|G|^{-2}\sum_{h,k\in G}{{\zeta}^h(g_0){\zeta}^k(g)\pi_n(h)\pi_n(k)}\\
&=&|G|^{-2}\sum_{h,k\in G}{{\zeta}^h(g_0g^{-1}){\zeta}^{hk}(g)\pi_n(hk)}\\
&=&|G|^{-2}\sum_{h\in G}{{\zeta}^h(g_0g^{-1})|G|P_n^g}\\
&=&|G|^{-1}{\delta}(g_0,g)|G|P_n^g={\delta}(g_0,g)P_n^g\\
\sum_{g\in G}{P_n^g}&=&|G|^{-1}\sum_{h,g\in G}{{\zeta}^h(g)\pi_n(h)}\\
&=&|G|^{-1}\sum_{h\in G}{{\delta}(h,1_{G})|G|\pi_n(h)}=\pi_n(1_{G})=I\end{aligned}$$ The above computation shows that $\{P_{n}^g\}_{g\in G}$ are mutually orthogonal projections sum up to 1. Define a \*-homomorphism $\phi_{n-1,n}:\oplus_{g\in G}A_{n-1}^g \rightarrow \oplus_{g\in G}A_n^g$ by: $$(y_{n-1}^h)_{h\in G}\mapsto (y_n^h)_{h\in G}, \quad \text{where}\,\,
 y_n^h=\sum_{g\in G}{y_{n-1}^g\otimes P_n^{hg^{-1}}}.$$ We shall verify that $\phi_{n-1,n}$ is the induced connecting map on $\varinjlim  \oplus_{g\in G}A_n^g$. The connecting map on the crossed product is determined by $a\mapsto a\otimes 1$ and $U_{n-1}^g\mapsto U_{n}^g$. Adopt notation in proposition \[ISO\_C\], let $T\colon C^*(G,A_n,{\alpha})\mapsto \oplus_gA_n^{g}$ be the isomorphism such that $T(a)=(a,\dots,a)$ and $T(U_{n-1}^g)=X_{n-1}^g=({\zeta}^h(g)V_{n-1}^g)_{h\in G}$. For any $l\in G$, let $\phi_{n-1,n}^l$ be the composition of $\phi_{n-1,n}$ and the natural projection $\pi^l:\oplus_{g\in G}A_n^g\rightarrow A_n^l$. We have: $$\begin{aligned}
 \phi_{n-1,n}^l((a^h)_{g\in G})&=&\sum_{g\in G}{a\otimes P_n^{lg^{-1}}}\\
  &=& a\otimes\sum_{g\in G}{P_n^{lg^{-1}}}=a\otimes 1\\
 \phi_{n-1,n}^l(X_{n-1}^g)&=&\sum_{h\in G}{{\zeta}^h(g)V_{n-1}^g\otimes P_n^{lh^{-1}}}\\
 &=&\sum_{h\in G}{{\zeta}^h(g)V_{1,n-1}^g\otimes |G|^{-1}\sum_{k\in G}{{\zeta}^k(lh^{-1})\pi_n(k)}}\\
 &=&|G|^{-1}\sum_{h,k\in G}{{\zeta}^h(g){\zeta}^k(lh^{-1})V_{n-1}^g\otimes \pi_n(k)}\\
 &=&|G|^{-1}\sum_{h,k\in G}{{\zeta}^h(g){\zeta}^k(lh^{-1})V_{n-1}^g\otimes \pi_n(k)}\\
 &=&|G|^{-1}\sum_{h,k\in G}{{\zeta}^h(gk^{-1}){\zeta}^l(k)V_{n-1}^g\otimes \pi_n(k)}\\
 &=&|G|^{-1}\sum_{k\in G}{{\delta}(g,k)|G|{\zeta}^l(k)V_{n-1}^g\otimes \pi_n(k)}\\
 &=&{\zeta}^l(g)V_{n-1}^g\otimes \pi_n(g)=\pi^l(X_{n}^g)
 \end{aligned}$$ Hence $\phi_{n-1,n}(X_{1,n-1}^g)=X_{1,n}^g$, and the proof is complete.

\[C-MapR\] We can get our unitaries back from the projections constructed in the above proof as follows: $\pi_n(g)=\sum_{l\in G}{{\overline{{\zeta}^{g^{-1}}(l)}}P_n^l}$. We could also observe that the projections $P_n^g$ are invariant projections, but some of them may be 0.

Suppose the group $G$ is finite cyclic, recall that $g\mapsto {\zeta}^g(\bullet)$ gives an isomorphism between G and its dual. The dual action on the crossed product turns out to have a very simple description under this isomorphism:

\[DualAction\] We identify the crossed product $C^{\ast}(G,A,{\alpha})$ with the direct system $\varinjlim \oplus_{g \in G}A_n^g$, and identify $\hat{G}$ with G using the bihomomorphism ${\zeta}$. Then the dual action $\hat{{\alpha}}$, when restrict to $\oplus_{g \in G}A_n^g$, is given by: $$\hat{{\alpha}}_g((y^h)_{h\in G})=(z^h)_{h\in G}, \quad \text{where}\,\, z^h=y^{hg}, \forall h\in G.$$

The dual action $\hat{{\alpha}}$ is defined by $\hat{{\alpha}}_{\phi}(f)(t)=\phi(t)f(t)$, for all $\phi \in \hat{G}$ and $f \in C^{\ast}(G,A,{\alpha})$. Fix a positive integer n,let $\{U_{n}^g\}$ be the canonical unitaries in $C^{\ast}(G,A_n,{\alpha})$, then $\hat{{\alpha}}_h(U_{n}^g)={\zeta}^h(g)U_{n}^g$. Fix an element $k \in G$, define a map $\beta_k\colon \oplus A_n^g\rightarrow \oplus A_n^g$ by $\beta((y^g)_{g\in G})=(y^{gk})_{g\in G}$. Recall that the isomorphism $T$ between $C^{\ast}(G,A_n,{\alpha})$ and $\oplus A_n^g$ sends $(U_{n}^h)$ to $({\zeta}^g(h)V_{n}^h)_{g\in G}$. Then we the following diagram is commutative:$\begin{CD}
U_{n}^h @>T>> (\zt^g(h)V_{n}^h)_{g\in G}\\
@VV\hat{\af}_kV     @VV\beta_kV\\
\zt^k(h)U_{n}^h @>T>> (\zt^{gk}(h)U_{n}^h)_{g\in G}\\
\end{CD}$

A similar commutative diagram holds for elements in $A_n$. Since these elements generate the corresponding $C^{\ast}$-algebras, we can conclude that $\beta_k$ corresponds to $\hat{{\alpha}}_k$ under the isomorphism $T$.

Now we are ready to state our classification result for strict Rokhlin property:

\[SRP1\] Let ${\alpha}\colon G\mapsto {{\mathrm{Aut}}}(A)$ be a product-type action, where $G$ is finite cyclic and $A$ is UHF. Then ${\alpha}$ has the strict Rokhlin property, [if and only if]{} up to a telescope, for any $n\in {{\mathbb{Z}}_{> 0}}$ the projections $P_n^g$ for $g\in G$ constructed in Proposition \[C-Map\] are mutually Murray-von Neumann equivalent.

A telescope does not change the action, so let’s assume that for any $n\in {{\mathbb{Z}}_{> 0}}$, the projections $P_{n}^g$ are mutually equivalent. Let $F$ be a finite set in $A$. [Without loss of generality]{} we may assume that F is in $A_{n-1}$, for some $n\in {{\mathbb{Z}}_{> 0}}$. Recall that ${P}_{n}^g=|G|^{-1}\sum_{h\in G}{\zeta}^h(g)\pi_{n}(h)$. Since these projections are equivalent, for each $g\in G$, there exists a partial isometry $W^{1,g}$ such that $W^{1,g}W^{1,g}*=P_{n}^1$ and $W^{1,g}*W^{1,g}=P_{n}^g$ ((Here 1=$1_{G}$ is the identity element). Let $W^{g,1}$ denote the conjugate of $W^{1,g}$ and let $W^{g,h}=W^{g,1}W^{1,h}$. Let ${\delta}(\cdot,\cdot)$ be the Kronecker delta, we have: $$W^{g,g}=P_n^g,\quad W^{g,h}W^{k,l}={\delta}(h,k)W^{g,l},\,\, \forall g,h,k,l\in G.$$ Let $Q^k=\frac{1}{|G|}\sum_{g,h\in G}{\zeta}^k(g^{-1}h)W^{g,h}$, for any $k$ in $G$. Now we can compute that: $$\begin{aligned}
Q^kQ^j&=\frac{1}{|G|^2}(\sum_{g_1,h_1\in G}{\zeta}^k(g_1^{-1}h_1)W^{g_1,h_1})(\sum_{g_2,h_2\in G}{\zeta}^j(g_2^{-1}h_2)W^{g_2,h_2})\\
&=\frac{1}{|G|^2}\sum_{g_1,h_1,h_2\in G}{\zeta}^k(g_1^{-1}h_1){\zeta}^j(h_1^{-1}h_2)W^{g_1,h_2}\\
&=\frac{1}{|G|^2}\sum_{g_1,h_1,h_2\in G}{\zeta}^k(g_1^{-1}){\zeta}^{kj^{-1}}(h_1){\zeta}^j(h_2)W^{g_1,h_2}\\
&={\delta}(k,j)\frac{1}{|G|}\sum_{g_1,h_2\in G}{\zeta}^k(g_1^{-1}){\zeta}^j(h_2)W^{g_1,h_2}\\
&={\delta}(k,j)\frac{1}{|G|}\sum_{g_1,h_2\in G}{\zeta}^k(g_1h_2^{-1})W^{g_1,h_2}={\delta}(k,j)Q^k\\\end{aligned}$$ $$\begin{aligned}
(Q^k)^*&=\frac{1}{|G|}\sum_{g,h\in G}{\zeta}^k(g^{-1}h)(W^{g,h})^*\\
     &=\frac{1}{|G|}\sum_{g,h\in G}\overline{{\zeta}^k(g^{-1}h)}W^{h,g}\\
&=\frac{1}{|G|}\sum_{g,h\in G}{\zeta}^k(h^{-1}g)W^{h,g}=Q^k\\\end{aligned}$$ $$\begin{aligned}
\sum_{k\in G}Q^k=&\sum_{k\in G}\frac{1}{|G|}\sum_{g,h\in G}{\zeta}^k(g^{-1}h)W^{g,h}\\
&=\frac{1}{|G|}\sum_{g,h\in G}{\delta}(g,h)W^{g,h}\\
&=\sum_{g\in G}W^{g,g}=1\\\end{aligned}$$

$$\begin{aligned}
 {\alpha}_g(Q^k)&=\pi_n(g)Q^{k}\pi_n(g)^*\\
&=(\sum_{l\in G}{{\zeta}^{g^{-1}}(l)P_n^l)}(\frac{1}{|G|}\sum_{r,h\in G}{{\zeta}^k(r^{-1}h)W^{r,h}})(\sum_{s\in G}{{\zeta}^{g}(s)P_n^s})\\
&=\frac{1}{|G|}\sum_{l,r,h,s\in G}{\zeta}^{g^{-1}}(l){\zeta}^k(r^{-1}h){\zeta}^g(s)P_n^lW^{r,h}P_n^s\\
&=\frac{1}{|G|}\sum_{r,h}{\zeta}^{g^{-1}}(r){\zeta}^k(r^{-1}h){\zeta}^g(h)W^{r,h}\\
&=\frac{1}{|G|}\sum_{r,h}{\zeta}^{gk}(r^{-1}h)W^{r,h}=Q^{gk}\end{aligned}$$

Let’s consider the projections $\{1\otimes Q^k\}_{k\in G}$. It’s easy to check that they are Rokhlin projections for $F$, therefore ${\alpha}$ has the strict Rokhlin property.

Conversely, Suppose the action has the strict Rokhlin property. Then the dual action $\hat{{\alpha}}$ is strictly approximately representable, and therefore induce trivial action on $K_0(C^{\ast}(G,B,{\alpha}))$ (See Proposition 2.4 of [@Ph-F] for details). Now fix $n\in \mathbb{N}$. For each $h\in G$, let $I_h=(0,\dots,1_{A_n}^h,0,\dots)$ be an element of $\oplus_{g\in G} A_n^g$. Let $\phi_{n,\infty}$ be the connection map from $\oplus_{g\in G} A_n^g$ to $\varinjlim{\oplus_{g\in G} A_i^g}$ and let $\eta_h=\phi_{n,\infty}(I_h)$. Since $\hat{{\alpha}}$ acts trivially on $K_0(C^{\ast}(G,A,{\alpha}))$, we have: $\hat{{\alpha}}_h([\eta_k])=[\eta_k]$, for any $h,k\in G$. It’s easy to see that $\hat{{\alpha}}$ commutes with connecting maps so we get:$[\phi_{n,\infty}(\hat{{\alpha}}_h(I_k))]=[\phi_{n,\infty}(I_k)]$. For the $K_0$ groups of the inductive limit, we have ${\mathrm{Ker}}(\phi_{n,\infty})=\cup_{i=n+1}^{\infty}{\mathrm{Ker}}\phi_{n,i}$. So there exist some $m>n$, such that $[\phi_{n,m}(\hat{{\alpha}}_h(I_k))]=[\phi_{n,m}(I_k)]$. Now by Proposition \[DualAction\], we have $\hat{{\alpha}}_h(I_k)=I_{hk}$.

Let’s define ${P}_{n,m}^g=|G|^{-1}\sum_{h\in G}{\zeta}^h(g)\otimes_{i=n}^{m}\pi_{i}(h)$. By Proposition \[C-Map\], $P_{n,m}^g$ are mutually orthogonal projections sum up to 1, such that the connecting map $\phi_{n,m}$ is given by: $$(y_{n-1}^h)_{h\in G}\mapsto (y_n^h)_{h\in G}, \quad \text{where}\,\,\, y_n^h=\sum_{g\in G}{y_{n-1}^g\otimes P_{n,m}^{hg^{-1}}}.$$

Hence $\phi_{n,m}(I_k)=(1\otimes P_{n+1,m}^{gk^{-1}})_{g\in G}$. Now $[\phi_{n,m}(\hat{{\alpha}}_h(I_k))]=[\phi_{n,m}(I_k)]$ implies:

$$[(1\otimes P_{n+1,m}^{g(hk)^{-1}})_{g\in G}]=[(1\otimes P_{n+1,m}^{gk^{-1}})_{g\in G}],\forall h,k\in G$$

Since $K_0(\oplus A_n^g)=\oplus K_0(A_n^g)$ and $A_n^g=A_n$ is an matrix algebra, equality in the $K_0$ group implies that $1\otimes P_{n+1,m}^{g(hk)^{-1}}$ is Murray-Von Nuemann equivalent to $1\otimes P_{n+1,m}^{gk^{-1}}$, for all $g$,$h$,$k$ in $G$. Therefore, for any $n\in {{\mathbb{Z}}_{> 0}}$, we can find a $m=m(n)$, such that the projections $P_{n+1,m}^{g}$ are mutually [Murray-von Neumann equivalent]{}. Define a telescope inductively by setting $n_1=1$ and $n_{i+1}=m(n_i)$ completes the proof.

Note that two projections are equivalent in a UHF algebra [if and only if]{} they have the same trace. This enables us to reformulate Proposition \[SRP1\] in terms of the characters of the unitary representations.

Let $P_n^g=|G|^{-1}\sum_{h\in G}{\zeta}^h(g)\pi_{n}(h)$ be the projections defined as in Proposition \[C-Map\]. Let $d_n$ be the dimension of $H_n$ and let ${{\mathrm{Tr}}}$ be the unnormalized trace on ${{\mathrm{B}}}(H_n)$. Let $\chi_n={{\mathrm{Tr}}}\circ\pi_n$ be the character of $\pi_n$. Then the projections $P_n^g$ are mutually [Murray-von Neumann equivalent]{}[if and only if]{} $\chi_n(g)={\delta}(g,1_{G})d_n$ for any $g\in G$, where ${\delta}$ is the Kronecker delta.

If $\chi_n(g)={\delta}(g,1_{G})|G|$ for any $g\in G$, then $${{\mathrm{Tr}}}(P_n^g)=|G|^{-1}\sum_{h\in G}{\zeta}^h(g)\chi_{n}(h)=|G|^{-1}{\zeta}^{1_|G|}(g)d_n=\frac{d_n}{|G|},\quad \forall g\in G$$ Hence these projections are mutually [Murray-von Neumann equivalent]{}. In the opposite direction, as we noted in Remark \[C-MapR\], we can see that $\pi_n(h)=|G|\sum_{g\in G}{\zeta}^{h^{-1}}(g)P_n^g$. If the the projections are [Murray-von Neumann equivalent]{}, then we should have ${{\mathrm{Tr}}}(P_n^g)=\frac{d_n}{|G|}$, for all $g\in G$. Hence: $$\chi_n(h)=|G|\sum_{g\in G}{\zeta}^{h^{-1}}(g)\frac{d_n}{|G|}={\delta}(h^{-1},1_{G})d_n={\delta}(h,1_{G})d_n.$$

The above lemma, together with Proposition \[SRP1\], proves that the strict Rokhlin property part of Theorem \[main\], in the special case where $G$ is a finite cyclic group.

Now let’s turn to the tracial Rokhlin property case. We still assume that the group $G$ is finite cyclic and ${\alpha}\colon G\mapsto{{\mathrm{Aut}}}(A)$ be a product-type action on a UHF algebra $A$. If ${\alpha}$ has the tracial Rokhlin property, then the dual action will act trivially on the trace space of the crossed product. (See Proposition 2.5 of [@Ph-C]) This suggest us to study the trace space of the crossed product.

The tracial states in $T(C^{\ast}(G,A,{\alpha}))$ are in one-to-one correspondence with sequences of compatible traces $\{(\tau_n)_{n=1}^{\infty}|\, \tau_n\in T(\oplus A_n^g), \tau_n=\tau_{n+1}\circ\phi_{n,n+1}\}$. Let $\tau_n^g$ denote the unique tracial state on $A_n^g$. When the C\*-algebra is specified, we use $\tau$ to denote $\tau_n^g$, as it will cause no confusion. It’s easy to see that $T(\oplus A_n^g)$ can be parametrized by a standard simplex $${\Delta}^{|G|}=\{(s^g)_{g\in G}\mid\, \sum_{g\in G}s^g=1,\,\,s_g\geq 0,\forall g\in G \},$$ where $(s^g)_{g\in G}$ is mapped to $\sum_{g\in G}s^g\tau_n^g$.Let $\tau_{s_n}$ be the tracical state determined by $s_n=(s_n^g)_{g\in G}$. Computation shows that the compatibility condition is equivalent to that $$s_n^g=\sum_{h\in G}{s_{n+1}^h\tau(P_{n+1}^{hg^{-1}})}.$$ Where $P_n^g$ are the projections defined as in Proposition \[C-Map\]. Define $T_{n+1}$ to be the $|G|\times|G|$ matrix whose (h,g)-entry is $\tau(P_{n+1}^{hg^{-1}})$. The compatibility condition can be rewritten as $s_n=T_{n+1}s_{n+1}$. This lead us to study the infinite product $\prod_{n}{T_n}$. Let $P_{n,m}^g$ be the projections defined in Proposition \[C-Map\]. We have the following identity: $$P_{n,n+1}^g=\sum_{l\in G}{P_n^{gl^{-1}}\otimes P_{n+1}^l}$$ Let $P_n$ be the $|G|\times|G|$ matrix whose (g,h)-entry is $P_n^{gh^{-1}}$, then the above equations can be rewritten in matrix form: $P_{n,n+1}=P_nP_{n+1}$, where the multiplication of the entries is given by tensor product. Since $\tau(a\otimes b)=\tau(a)\tau(b)$, We see that $T_{n,n+1}=T_nT_{n+1}$. So telescoping corresponds to “Adding bracket in the infinite product”. As a priori, $\prod_{n}T_n$ may not be convergent. But we have the following:

\[T-Matrix\] Let $T_n$ be the matrix $(\tau(P_n^{gh^{-1}}))_{g,h\in G}$, where $P_n^g$ is defined as in Proposition \[C-Map\]. Then there exists a telescoping, such that for any $m\in {{\mathbb{Z}}_{> 0}}$, the infinite product $\prod_{n=m}^{\infty}{T_n}$ converges. The conclusion holds no matter ${\alpha}$ has the tracial Rokhlin property or not.

We first observe that the matrices $T_n$ are circular matrices, they can be simultaneously diagonalized: Let $X$ be the unitary matrix $\frac{1}{\sqrt{|G|}}({\zeta}^h(g))_{h,g\in G}$. Then $$XT_nX^{\ast}=diag(\lambda_n^{g_1},\lambda_n^{g_2},\dots), \quad \text{where}\,\, \lambda_n^g=\sum_{h\in G}{{\zeta}^g(h)\tau(P_n^h)}.$$ Hence the convergence of the infinite products of matrices is the same thing as the convergence of infinite product of the corresponding eigenvalues: $\prod_{n}{\lambda_n^g}$. Fix a $g$ in $G$. We can estimate that: $$|\lambda_n^g|\leq \sum_{h\in G}{|{\zeta}^g(h)|\tau(P_n^h)}=\tau(\sum_{h\in G}P_n^h)=\tau(I_n)=1.$$ Hence for any $m\in {{\mathbb{Z}}_{> 0}}$, the partial products $S^l=\prod_{n=m}^{l}{\lambda}_n^g$ is bounded by 1 for any $l>m$. We can therefore select a sub-sequence so that it converges. But choosing a sub-sequence of the partial product corresponds exactly to a telescoping. We conclude that for any $g\in G$ and any $m>0$, the exist a telescoping, such that the infinite product $\prod_{n\geq m}\lambda_n^g$ converges. Since the composition of telescoping is again a telescoping, we can first use a Cantor’s diagonal argument, then use induction on $m$, to find a single telescoping, such that for any $g\in G$ and any $m>0$, the infinite products $\prod_{n=m}^{\infty}\lambda_n^g$ converge.

Now we are ready to state the necessary and sufficient conditions for tracial Rokhlin property:

\[TRP1\] Let ${\alpha}\colon G\rightarrow \otimes_{n=1}^{\infty}A_n$ be a product-type action on a UHF-algebra $A$, where $G$ is finite cyclic. Adopt notations in Lemma \[T-Matrix\]. The action ${\alpha}$ has the tracial Rokhlin property if and only if there exists a telescoping, such that for any $m\in {{\mathbb{Z}}_{> 0}}$, the limit matrix $\prod_{n\geq m}T_n$ exists and has rank 1.

In one direction, suppose $\prod_{n\geq m}T_n$ has rank 1, for any $m\in {{\mathbb{Z}}_{> 0}}$. Let $F\subset \otimes_n A_n$ be a finite subset. [Without loss of generality]{} we assume that $F\subset \otimes_{n=1}^k A_n$ for some $k\in {{\mathbb{Z}}_{> 0}}$. Let ${\varepsilon}>0$ be given. Let $m=k+1$. For a circular matrix, it has rank 1 if and only if all the entries are equal. Let E be the matrix such that all the entries are equal to $\frac{1}{|G|}$. Then there exists some $l>m$, such that $\| \prod_{n=m}^lT_n-E\|_{\mathrm{max}}<{\varepsilon}/|G|$. The discussion before Lemma \[T-Matrix\] shows that $\prod_{n=m}^lT_n=T_{m,l}$, where the (g,h)-th entry of $T_{m,l}$ is $\tau(P_{m,l}^{gh^{-1}})$. Without loss of generality, we assume that $\tau(P_{m,l}^1)$ is smallest among all the entries of $T_{m,l}$, where $1=1_G$ is the identity of $G$. Now lets do a similar construction as in proposition . Since $P_{m,l}^{1}$ has smallest trace among the others, we can, for each $g\in G$, find a partial isometry $W^{1,g}$ such that $W^{1,g}W^{g,1}=P_{m,l}^1$ and $W^{g,1}W^{1,g}$ is a sub-projection of $P_{m,l}^g$. Here we adopt the same notation as in Proposition \[SRP1\]: $W^{g,1}$ is the conjugate of $W^{1,g}$ and $W^{g,h}=W^{g,1}W^{1,h}$. Let $Q^k=\sum_{g,h\in G}{\zeta}^k(g^{-1}h)W^{g,h}$. By the same computation, we have:

1.  $\{Q^k\}_{k\in G}$ are mutually orthogonal projections.

2.  ${\alpha}_g(Q^k)=Q^{gk}$.

3.  Let $Q=\sum_{k\in G}{Q^k}$, $Q=\sum_{g\in G}W^{g,g}$.

Now $$\tau(P_{n,l}^1)\geq \frac{1}{|G|}-\|T-E\|_{\mathrm{max}}>\frac{1-{\varepsilon}}{|G|}.$$ Since $W^{g,g}$ is a subprojection of $P_{n,l}^g$ which is equivalent to $P_{n,l}^{1}$, we have $\tau(Q)=\sum_{g\in G}\tau(W^{g,g})>1-{\varepsilon}$, or equivalently $\tau(1-Q)<{\varepsilon}$ Hence $\{1\otimes Q^k\}$ are tracial Rokhlin projections which commutes with $F$.

For the other direction, assume that the action has the tracial Rokhlin property. Then the dual action is tracially approximately representable and hence induce trivial action on the trace space $T(C^{\ast}(G,B,{\alpha}))$. Since $\prod_{n=m}^{\infty}{T_n}$ converges for all $m>0$, we let $T_{m,\infty}$ denote the limits. Fix a vector $s\in {\Delta}^{|G|}$, let $s_m=T_{m,\infty}s$, for each $m>0$. Since $T_{m,\infty}=T_mT_{m+1,\infty}$, we see that $\{s_m\}$ form a sequence of compatible traces and hence defines a trace on the crossed product $C^{\ast}(G,B,{\alpha})$. Let $e=(1,0,\dots,0)\in \oplus_{g\in G}A_n^g$, and suppose $s_m=(s_m^g)_{g\in G}$. Now the dual action acts trivially on the trace space means $s_m(\hat{{\alpha}}_k(e))=s_m(e)$, for each $k\in G$. This implies $s_m^k=s_m^1$, for all k. Hence the image of ${\Delta}^{|G|}$ under the transformation $T_{m,\infty}$ is a single point. But the simplex ${\Delta}^{|G|}$ generates the whole domain of $T_{m,\infty}$, we see that $T_{m,\infty}$ has rank 1, for any $m>0$.

Just as we did for strict Rokhlin property, we can reformulate Proposition \[TRP1\] in terms of the characters of the unitary representations, using the following lemma:

Suppose ${\alpha}\colon G\mapsto {{\mathrm{Aut}}}(A)$ be a product-type action, where $G$ is finite cyclic and $A$ is UHF. Let $H_n$ and $\pi_n$ be defined as in Definition \[ptact\]. Set $d_n$ to be the dimension of $H_n$. Let $\chi_n={{\mathrm{Tr}}}\circ\pi_n$ be the character of $\pi_n$, and let $T_n$ be the circular matrix defined as in Lemma \[T-Matrix\]. Let $\chi\colon G\mapsto {{\mathbb{C}}}$ be the characteristic function on $\{1_G\}$. Then for any $l\in{{\mathbb{Z}}_{> 0}}$, $T_{l,\infty}$ has rank 1 [if and only if]{} $\prod_{l\geq m}\frac{\chi_n}{d_n}=\chi$.

[Without loss of generality]{} we may assume $l=1$. Recall that $$P_{n,m}^g=|G|^{-1}\sum_{h\in G}{\zeta}^h(g)\otimes_{i=n}^{m}\pi_{i}(h).$$ Since ${{\mathrm{Tr}}}=d_i\tau$, we have: $$\label{trace}
\tau(P_{1,m}^g)=|G|^{-1}\sum_{h\in G}{\zeta}^h(g)\prod_{i=1}^{m}\frac{\chi_{i}(h)}{d_i}$$

Since $T_{1,n}$ are circular matrices, $T_{1,\infty}$ has rank 1 [if and only if]{} $\lim\limits_{n\rightarrow \infty}T_{1,n}$ tends to $E$, where $E$ is the matrix who entries are all equal to $\frac{1}{|G|}$. This is further equivalent to $\lim\limits_{n\rightarrow \infty} \tau(P_{1,n}^g)=\frac{1}{|G|}$, for all $g\in G$. In Equation , if we take the limit, the same computation as in the strict Rokhlin property case shows that $\lim\limits_{n\rightarrow \infty} \tau(P_{1,n}^g)=\frac{1}{|G|}$ is equivalent to $\lim\limits_{n\rightarrow \infty} \prod_{i=1}^{n}\frac{\chi_i}{d_i}=\chi$.

So far we have proved Theorem \[main\] for finite cyclic groups. For general finite groups, we can actually reduce the problem to the finite cyclic case, based on the following two observations:

Let ${\alpha}\colon G\mapsto {{\mathrm{Aut}}}(A)$ be an action, where $G$ is finite and $A$ is a unital simple C\*-algebra. Let $H$ be a subgroup of $G$. If ${\alpha}$ has the strict Rokhlin property, then the induced action ${\alpha}|_{H}$ also has the strict Rokhlin property. If ${\alpha}$ has the tracial Rokhlin property, then ${\alpha}|_{H}$ also has the tracial Rokhlin property.

See Lemma 5.6 of [@EPW]. The proof of the strict Rokhlin property case is basically the same.

Let $\pi G\mapsto B(H)$ be a finite dimensional representation. Let $H$ be a subgroup of $G$, $\pi$ will induce a representation $\pi|_H$ on $H$. If $\chi$ is the character of $\pi$ and $\chi_H$ is the character of $\pi|_H$, we have $\chi_H=\chi |_H$.

\[Model\] (Model action) Let $r=(r_i)_{i=1}^{\infty}$ and $s=(s_i)_{i=1}^{\infty}$ be two infinite sequences of non-negative integers. Let $\pi_i$ be some arbitrary representation on $\mathbb{C}^{s_i}$, and we write $\pi=(\pi_i)_{i=1}^{\infty}$. Set $$H_i=\underbrace{l^2(G)\oplus l^2(G)\cdots \oplus l^2(G)}_{r_i}\oplus \mathbb{C}^{s_i}.$$ Let $\tilde{\pi_i}\colon G\mapsto B(H_i)$ be the direct sum of left regular representations on each copy of $l^2(G)$ and $\pi_i$ on $\mathbb{C}^{s_i}$. As in definition \[ptact\], we get a product-type action ${\alpha}(r,s,\pi)$ induced by the representations $\tilde{\pi_i}$. We call ${\alpha}(r,s,\pi)$ the [*model action*]{} for the triple $(r,s,\pi)$. If $s=0$, we write ${\alpha}(r)={\alpha}(r,0,0)$.

Now let’s turn to the proof of Theorem \[main\] for general finite groups.

Let ${\alpha}\colon G\mapsto {{\mathrm{Aut}}}(A)$ be a product-type action with the strict Rokhlin property. Write $G$ as a finite union of cyclic subgroups $G=K_0\cup K_1\cup\cdots\cup K_s$. Since ${\alpha}|_{K_0}$ has the strict Rokhlin property, by the cyclic group version of Theorem \[main\], there exists a telescope such that $\frac{\chi_n|_{K_0}}{d_n}=\chi|_{K_0}$ for any $n\in {{\mathbb{Z}}_{> 0}}$. We can find a successive telescope such that $\chi_m|_{K_1}=\chi|_{K_1}$ for any $m\in {{\mathbb{Z}}_{> 0}}$. It’s easy to see that we still have $\frac{\chi_m|_{K_0}}{d_m}=\chi|_{K_0}$ after the telescope. Since the composition of telescopes is again a telescope, repeating the above procedure will give us a telescope, such that $\chi_n|_{K_i}=\chi|_{K_i}$ for any $1\leq i\leq s$. Since $G=K_0\cup K_1\cup\cdots\cup K_s$, we see that $\chi_n=\chi$, for any $n\in {{\mathbb{Z}}_{> 0}}$.Conversely, if there exists a telescope, such that $\frac{\chi_n}{d_n}=\chi$ for any $n\in {{\mathbb{Z}}_{> 0}}$. Let ${\iota}_1,\dots,{\iota}_k$ be the irreducible characters of $G$ with dimensions $r_1,\dots,r_k$ respectively. Let $\chi_n=\sum_{i=1}^{k}a_i{\iota}_i$ be the irreducible decomposition, then $a_i=<\chi_n,{\iota}_i>=\frac{d_nr_i}{|G|}$. Since each $a_i$ is an integer and at lease one $r_i=1$, we see that $\frac{d_n}{|G|}$ is an integer. Hence $\pi_n$ is equal to the character of the direct sum of $\frac{d_n}{|G|}$ copies of left regular representations. Therefore $\pi_n$ is equivalent to a direct sum of left regular representations. Recall that two actions ${\alpha}\colon G\mapsto {{\mathrm{Aut}}}(A)$ and ${\beta}\colon G\mapsto {{\mathrm{Aut}}}(B)$ are said to be $\emph{conjugate}$ [if and only if]{} there exists an isomorphism $T\colon A\mapsto B$ such that $T\circ{\alpha}_g={\beta}_g\circ T$, for any $g\in G$. Let $r=(\frac{d_n}{|G|})_{n>0}$, we see that ${\alpha}$ is conjugate to the model action ${\alpha}(r)$ (Definition \[Model\]). Hence ${\alpha}$ has the strict Rokhlin property.

The proof of the tracial Rokhlin property case is quite similar, we shall only prove one direction: if there exists a telescoping, such that for any $n\in {{\mathbb{Z}}_{> 0}}$, $\prod_{i=n}^{\infty}\frac{\chi_n}{d_n}=\chi$, then the action has the tracial Rokhlin property. The following lemma, as a special case of Lemma 5.2 of [@EPW], simplifies our argument for product-type actions.

\[TRP-UHF\] Let ${\alpha}\colon G\mapsto {{\mathrm{Aut}}}(A)$ be a finite group action on a UHF-algebra $A$, let ${\tau}$ be the unique trace on $A$. Then ${\alpha}$ has the tracial Rokhlin property [if and only if]{} for any finite set $F\subset A$, any ${\varepsilon}>0$, there exists [mutually orthogonal [projection]{}s]{} $e_g$ in $A$ for $g\in G$, such that:

(1) $\|e_g a-a e_g\|<{\varepsilon}$, $\forall g\in G$ and $a\in F$.

(2) $\|{\alpha}_g(e_h)-e_{gh}\|<{\varepsilon}.$

(3) $\tau(1-e)<{\varepsilon}$

Now let $F$ be a finite subset of $A$, [without loss of generality]{} assume that $F\subset A_{n-1}$, for some $n>0$. Let ${\varepsilon}>0$ be given. Set ${\varepsilon}_0=\frac{{\varepsilon}}{2|G|}$. Since $\prod_{i=n}^{\infty}\frac{\chi_i}{d_i}=\chi$, we can find some $m>n$ such that $\|\prod_{i=n}^{m}\frac{\chi_i}{d_i}-\chi\|_{\max}<{\varepsilon}_0$. Let $\chi_{n,m}=\prod_{i=n}^{m}\chi_i$, we can see that $\chi_{n,m}$ is the character of the representation $\pi_{n,m}=\otimes_{i=n}^{m}\pi_i$, with dimension $d_{n,m}=\prod_{i=n}^{m}d_i$. Let $M=2|G|/{\varepsilon}$, increasing $m$ if necessary, we may further require that $d_{n,m}>M$.In the following, we are going to show that $\pi_{n,m}$ is ’close’ to a direct sum of left regular representations. Let ${\iota}_1,\dots,{\iota}_k$ be the irreducible characters of $G$ with dimension $r_1,\dots,r_k$ respectively. Then the max norm of each ${\iota}_i$ will be less or equal to $|G|$. From now on, for characters, $\|\cdot\|$ will always denote the max norm. Let $\chi_{n,m}=\sum_{1\leq i\leq k}a_i{\iota}_i$ be the irreducible decomposition of $\chi_{n,m}$. Since $\|\frac{\chi_{j,k}}{d_{j,k}}-\chi\|<{\varepsilon}$, We can see that for any $i$, $$\begin{aligned}
 \left|\frac{a_i}{d_{n,m}}-\frac{r_i}{|G|}\right|&=<\frac{\chi_{n,m}}{d_{n,m}}-\chi,{\iota}_i>\\\label{est-d}
&<|G|\left\|\frac{\chi_{n,m}}{d_{n,m}}-\chi\right\|\|{\iota}_i\|<|G|^2{\varepsilon}_0 \end{aligned}$$ Let $d=\min_{1\leq i\leq k}\{\bigl[\frac{a_i}{r_i}\bigr]\}$. We can then decompose $\chi_{n,m}$ as the sum of two characters $\chi'$ and $\chi''$, where $\chi'=\sum_{i}(dr_i){\iota}_i$, and $\chi''=\chi_n,m-\chi'$. Let $\pi'$ be the direct sum $d$ copies of left regular representations which corresponds to $\chi'$, and let $\pi''$ be a representation corresponds to $\chi''$. Let $d'$ and $d''$ be the dimensions $\pi'$ and $\pi''$ respectively. Our claim is that $\frac{d''}{d'+d''}=\frac{d''}{d_{n,m}}<{\varepsilon}$.\
Note that $d'=\sum_{1\leq i\leq k}dr_i^2=d|G|$. By the definition of $d$, there exists some $i$ such that $\|d-a_i/r_i\|<1$. Using equation (\[est-d\]), we can estimate: $$\begin{aligned}
\left|\frac{d''}{d_{n,m}}\right|&=\left\|1-\frac{d|G|}{d_{n,m}}\right\|\\
&\leq \left\|1-\frac{\frac{a_i}{r_i}|G|}{d_n,m}\right\|+\left\|\frac{(d-\frac{a_i}{r_i})|G|}{d_n,m}\right\|\\
&<\frac{r_i}{|G|}|G|^2{\varepsilon}_0+\frac{|G|}{M}\\
&<{\varepsilon}/2+{\varepsilon}/2={\varepsilon}.\end{aligned}$$ Let’s consider the representation $\tilde{\pi}=\pi'\oplus\pi''$, Let $\tilde{{\alpha}}$ be the inner action defined by $g\mapsto {{\mathrm{Ad}}}(\tilde{\pi}(g))$. Since $\tilde{\pi}$ contains copies of regular representation whose total dimension is $d'$, we could find [mutually orthogonal [projection]{}s]{} $e_g$ for $g\in G$ such that $\tilde{{\alpha}}_h(e_g)=e_{hg}$, and ${{\mathrm{Tr}}}(e)=d'$, where $e=\sum_{g\in G}e_g$. But $\pi_{n,m}$ is equivalent to $\tilde{\pi}$ because they have the same character, therefore the induced actions ${\alpha}_{n,m}$ and $\tilde{{\alpha}}$ are conjugate. Hence we can find projections for ${\alpha}_{n,m}$ satisfy the same properties. Note that ${{\mathrm{Tr}}}(e)=d'$ implies $\tau(1-e)=1-d'/d_{n,m}<{\varepsilon}$. Hence they are tracial Rokhlin projections. By Lemma \[TRP-UHF\], ${\alpha}$ has the tracial Rokhlin property.

From the above proof, we can also get the following characterization of the Rokhlin properties:

Let ${\alpha}\colon G\mapsto {{\mathrm{Aut}}}(A)$ be a product-type action where $A$ is UHF. Then:

(i) ${\alpha}$ has strict Rokhlin property [if and only if]{} there exists some $r=(r_i)_{1\leq i<\infty}$, such that ${\alpha}$ is conjugate to the model action ${\alpha}(r)$ (See Definition \[Model\]).

(ii) ${\alpha}$ has the tracial Rokhlin property [if and only if]{} there exists some $r=(r_i)$, $s=(s_i)$ and $\pi=(\pi_i)$ with $\lim\limits_{i\rightarrow \infty}\frac{s_i}{r_i}=0$, such that $af$ is conjugate to the model action ${\alpha}(r,s,\pi)$

Tracial Rokhlin property for non-simple C\*-algebras
====================================================

In this section, we are going to give an alternative definition of tracial Rokhlin property for non-simple C\*-algebras. Although the original definition of tracial Rokhlin property makes sense for non-simple C\*-algebras, it may be too strong to be distinctive from the strict Rokhlin property, as we can see from the following example:

\[wTRP-exa\] Let ${\alpha}\colon G\mapsto {{\mathrm{Aut}}}(A)$ and ${\beta}\colon G\mapsto {{\mathrm{Aut}}}(B)$ be two actions of the same group $G$. Let $\pi\colon G\mapsto {{\mathrm{Aut}}}(A\oplus B)$ be the direct sum, i.e. $\pi(a,b)=({\alpha}(a),{\beta}(b)),$ for any $a\in G$ and $b\in B$. Then $\pi$ has the tracial Rokhlin property, if and only if both ${\alpha}$ and ${\beta}$ have the strict Rokhlin property. In other words, $\pi$ has the tracial Rokhlin property [if and only if]{} it has the strict Rokhlin property.

Suppose $\pi$ has the tracial Rokhlin property. Let $F$ be a finite subset of $A$ and let ${\varepsilon}>0$. Choose any positive element $b$ in $B$ with norm 1. Let $F'=\{(a,0)\mid a\in F\}$ and let $x=(0,b)$. Since $\pi$ has the tracial Rokhlin property, there are [mutually orthogonal [projection]{}s]{} $e_g$ in $A\oplus B$, for $g\in G$ such that

(1) $\|{\alpha}_g(e_h)-e_{gh}\|<{\varepsilon}$.

(2) $\|e_g(a,0)-(a,0)e_g\|<{\varepsilon}, \forall a\in F$.

(3) With $e=\sum_{g\in G}e_g$, $1-e{\precapprox_s}x=(0,b)$.

Let $e_g=(p_g,q_g)$. Then we can see that the projections $p_g\in A$ for $g$ in $G$ are [mutually orthogonal [projection]{}s]{} satisfy:

1.  $\|{\alpha}_g(p_h)-e_{gh}\|\leq \|{\alpha}_g(e_h)-e_{gh}\|<{\varepsilon}$.

2.  $\|p_ga-ap_g\|\leq \|e_g(a,0)-(a,0)e_g\|<{\varepsilon}, \forall a\in F$.

3.  Let $p=\sum_{g\in G}p_g$, and $q=\sum_{g\in G}q_g$, Then $1-e=(1-p,1-q){\precapprox_s}(0,b)$, hence $1-p{\precapprox_s}0$, which forces $1-p=0$, or $p=1$.

Hence ${\alpha}$ has strict Rokhlin property. The same argument shows that ${\beta}$ also has the strict Rokhlin property. It’s not hard to see that $\pi={\alpha}\oplus {\beta}$ has the strict Rokhlin property [if and only if]{} both ${\alpha}$ and ${\beta}$ has the strict Rokhlin property.

An element $a$ in a [C\*-algebra]{} is said to be [*full*]{} if the closed ideal generated by $a$ is the whole [C\*-algebra]{}. Inspired by the above observation, we give the following alternative definition of tracial Rokhlin property:

\[wTRP\] Let $A$ be an infinite dimensional unital [C\*-algebra]{}, and let ${\alpha}\colon G \rightarrow {{\mathrm{Aut}}}(A)$ be an action of a finite group $G$ on $A$. We say that ${\alpha}$ has the [*weak tracial Rokhlin property*]{} if for every finite set $F\subset A$, every ${\varepsilon}>0$, every positive element $b\in A$ with norm 1 and every [*full*]{} positive element $x\in A$, there are mutually orthogonal projections $e_g\in A$ for $g\in G$ such that:

(1) $\|{\alpha}_g(e_h)-e_{gh}\|<{\varepsilon}$ for all $g, h\in G$.

(2) $\|e_g a-ae_g\|<{\varepsilon}$ for all $g\in G$ and all $a\in F$

(3) Let $e=\sum_{g\in G}e_g$, we have $1-e{\precapprox_s}x$

(4) $\|ebe\|>1-{\varepsilon}$

By the same perturbation argument as in Lemma 1.17 of [@Ph-F], we could have a formally stronger version of weak tracial Rokhlin property, by requiring that the defect projection be ${\alpha}$-invariant:

\[wTRP-inv\] Let $A$ be an infinite dimensional unital [C\*-algebra]{}, and let ${\alpha}\colon G \rightarrow {{\mathrm{Aut}}}(A)$ be an action of a finite group $G$ on $A$. Then ${\alpha}$ has the [*weak tracial Rokhlin property*]{} [if and only if]{} for every finite set $F\subset A$, every ${\varepsilon}>0$, every positive element $b\in A$ with norm 1 and every [*full*]{} positive element $x\in A$, there are mutually orthogonal projections $e_g\in A$ for $g\in G$ such that:

(1) $\|{\alpha}_g(e_h)-e_{gh}\|<{\varepsilon}$ for all $g, h\in G$.

(2) $\|e_g a-ae_g\|<{\varepsilon}$ for all $g\in G$ and all $a\in F$.

(3) Let $e=\sum_{g\in G}e_g$, $e$ is ${\alpha}-$invariant.

(4) $1-e{\precapprox_s}x$.

(5) $\|ebe\|>1-{\varepsilon}$.

The weak tracial Rokhlin property coincides with the original tracial Rokhlin property in the simple [C\*-algebra]{} case:

Let $A$ be an infinite dimensional simple unital [C\*-algebra]{}, and let ${\alpha}\colon G\rightarrow {{\mathrm{Aut}}}(A)$ be a finite group action. Then ${\alpha}$ has the tracial Rokhlin property [if and only if]{} it has the weak tracial Rokhlin property.

It’s trivial that weak tracial Rokhlin property implies tracial Rokhlin property, since every non-zero element in a simple [C\*-algebra]{} is full. So let’s prove the other direction. We may assume that $A$ has Property (SP), otherwise ${\alpha}$ has the strict Rokhlin property and therefore tracial Rokhlin property. Let $F$ be a finite subset of $A$, ${\varepsilon}>0$ be a positive number, $b\in A_+$ has norm 1, and $x\in A_+$ is non-zero. Let ${\delta}=\frac{{\varepsilon}}{(2|G|+3)}$. By Lemma  \[SP\], there exists a non-zero projection $q\in {\mathrm{Her}}(b)$, such that for any projection $r\leq q$, we have $\|rb-r\|<{\delta}$. By Lemma 3.5.6 of  [@Lin-C], we can find a non-zero projection $p\leq q$, such that $p{\precapprox_s}x$. Let $F'=F\cup \{p\}$, since ${\alpha}$ has tracial Rokhlin property, we can [mutually orthogonal [projection]{}s]{} $e_g\in A$ such that:

(1) $\|{\alpha}_g(e_h)-e_{gh}\|<{\delta}<{\varepsilon}$ for all $g, h\in G$.

(2) $\|e_g a-ae_g\|<{\delta}<{\varepsilon}$ for all $g\in G$ and all $a\in F'$

(3) Let $e=\sum_{g\in G}e_g$, we have $1-e{\precapprox_s}p$

(4) $\|epe\|>1-{\delta}$

By our choice of $p$, we have: $1-e{\precapprox_s}p{\precapprox_s}x$. So we need only to verify that $\|ebe\|>1-{\varepsilon}$. For that, we have the following estimation: $$\begin{aligned}
\|ebe\|&\geq \|pebep\|>\|epbpe\|-\|(ep-pe)bpe\|-\|peb(pe-ep)\|\\
&>\|epe\|-\|e(p-pb^{1/2})pe\|-\|epb^{1/2}(b^{1/2}p-p)e\|-2|G|{\delta}\\
&>1-{\delta}-{\delta}-{\delta}-2|G|{\delta}=1-{\varepsilon}\end{aligned}$$

Looking back to Example \[wTRP-exa\] we gave at the beginning of this section, we see that the weak tracial Rokhlin property is a better definition, because we have the following:

Let ${\alpha}\colon G\mapsto {{\mathrm{Aut}}}(A)$ and ${\beta}\colon G\mapsto {{\mathrm{Aut}}}(B)$ be two actions of the same group $G$. Let $\pi\colon G\mapsto {{\mathrm{Aut}}}(A\oplus B)$ be the direct sum, i.e. $\pi(a,b)=({\alpha}(a),{\beta}(b)),$ for any $a\in G$ and $b\in B$. Then $\pi$ has the weak tracial Rokhlin property, if and only if both ${\alpha}$ and ${\beta}$ have the weak tracial Rokhlin property.

For the proof, we just need to observe that for $a=(a_1, a_2)$ in $A\oplus B$, $a$ is full [if and only if]{} $a_1$ and $a_2$ are both full in the corresponding C\*-algebras.

The original motivation for introducing the tracial Rokhlin property is to deal with crossed products of tracially AF algebras, or C\*-algebras of tracial rank 0. In [@Lin-TR1] Lin gives the following definition:

We denote by $\mathscr{I}^{(k)}$ be the class of all unital C\*-algebras which are finite direct sum of the form: $$P_1M_{n_1}(C(X_1))P_1\oplus P_1M_{n_2}(C(X_2))P_2\oplus\cdots\oplus P_sM_{n_s}(C(X_s))P_s$$ where $s<\infty$ and for each $i$, $X_i$ is a $k$-dimensional finite CW complex, $P_i$ is a projection in $M_{n_i}(C(X_i))$

These will serve as our building blocks. Lin gave a definition of tracial rank in [@Lin-TR1], where it was called tracial topological rank. Later he showed in [@Lin-TR2] that the definition can be slightly simplified, for which we can take as the definition of tracial rank:

\[TR\] (Theorem 2.5,[@Lin-TR2]) Let $A$ be a unital [C\*-algebra]{}. Then the tracial rank of $A$ is less or equal to k, [if and only if]{} for any finite subset $F\in A$, every $0<{\sigma}_4<{\sigma}_3<{\sigma}_2<{\sigma}_1<1,$ and every positive element $b\in A$ with $\| b\|=1,$, there exist a C\*-subalgebra $B\subset A$ with $B\in \mathscr{I}^{(k)}$ and $1_B=p$ such that:

(1) $\|[x,p]\|<{\varepsilon}$ for all $x\in F$.

(2) $pxp\in_{{\varepsilon}}B$ for all $x\in F$.

(3) $f^{{\sigma}_1}_{{\sigma}_2}( (1-p)b(1-p) ) {\precapprox_s}f^{{\sigma}_3}_{{\sigma}_4}( (pbp) )$

If the tracial rank of $A$ is less or equal to $k$, we write $TR(A)\leq k$. While the comparison condition (3) in the definition of tracial rank seems rather complicated, it can be greatly simplified when the C\*-algebra is simple:

\[TR-S\] (Theorem 6.13,[@Lin-TR1]) Let $A$ be a simple unital [C\*-algebra]{}. Then $TR(A)\leq k$ if for any finite subset $F\in A$, any nonzero element $b\in A_+$, there exist a C\*-subalgebra $B\subset A$ with $B\in \mathscr{I}^{(k)}$ and $1_B=p$ such that:

(1) $\|[x,p]\|<{\varepsilon}$ for all $x\in F$.

(2) $pxp\in_{{\varepsilon}}B$ for all $x\in F$.

(3) $1-p{\precapprox_s}b$.

In [@Ph-F], Phillips proved the following:

\[Ph-TR0\] Let $A$ be an infinite dimensional simple separable unital C\*-algebra with tracial rank zero. Let ${\alpha}\colon G\rightarrow {{\mathrm{Aut}}}(A)$ be an action of a finite group $G$ on $A$ with the tracial Rokhlin property. Then the crossed product $C^*(G,A,{\alpha})$ has tracial rank zero.

One natural question would be how to extend the above result to the non-simple case. The main result of this section is that our definition of weak tracial Rokhlin property works in some special case, namely when the crossed product is simple:

\[Main\] Let $A$ be an infinite dimensional separable unital [C\*-algebra]{}. Let ${\alpha}\colon G\rightarrow Aut(A)$ be an action with the weak tracial Rokhlin property. Assume that $A$ is ${\alpha}$ simple and $TR(A)\leq k$. Then $C^*(A, G, {\alpha})$ has tracial rank $\leq k$.

We shall prove this theorem at the end of this section.

The assumption that $A$ is ${\alpha}$ simple is used to ensure that $C^*(G,A,{\alpha})$ is simple, as we have the following:

\[simple\] Let $A$ be an unital C\*-algebra. Let ${\alpha}\colon G\rightarrow {{\mathrm{Aut}}}(A)$ be a finite group action with the weak tracial Rokhlin property. Then $A$ is ${\alpha}$-simple [if and only if]{} $C^*(G,A,{\alpha})$ is simple.

If $I$ is a proper ${\alpha}$-invariant ideal in $A$, then $C^*(G, I,{\alpha})$ is a proper ideal in $C^*(G,A,{\alpha})$, hence $C^*(G,A,{\alpha})$ is simple implies $A$ is ${\alpha}$-simple. For the other direction, there are several proofs. Using the Rokhlin projections, it’s not hard to show that for any $a_0,a_1,\dots, a_n$ in $A$ with $a_0$ positive, any ${\varepsilon}>0$, there is a projection $p$ such that: $$\|pa_0p\|>\|a_0\|-{\varepsilon}, \quad \|pa_i-a_ip\|<{\varepsilon}, \quad \|p{\alpha}_g(p)\|<{\varepsilon}\;\text{for}\; g\neq 1 \quad (*)$$ Then the same lines as Theorem 7.2 of [@OPed] shows that $C^*(G,A,{\alpha})$ is simple. A more sophisticated way is to use Theorem 2.5 of [@S-IS]. A discrete group is exact if and only if the reduced C\*-algebra is exact. In particular, finite groups are exact. When $A$ is ${\alpha}-$simple, it’s easy to see that the weak tracial Rokhlin property implies the residual Rokhlin$^*$ property (See Definition 2.1, [@S-IS]). By Theorem 2.5 of [@S-IS], the $A$ separates the ideal in the crossed product, which is equivalent to that the crossed product is simple.

When $A$ is ${\alpha}-$simple, we have a similar result as in Lemma \[SP-SRP\]. It may not be true in general.

\[SP-SRP2\] Let $A$ be an unital C\*-algebra. Let ${\alpha}\colon G\rightarrow {{\mathrm{Aut}}}(A)$ be a finite group action with the weak tracial Rokhlin property. If $A$ is ${\alpha}$-simple, then either $A$ has Property (SP) or ${\alpha}$ has the strict Rokhlin property

When $A$ is ${\alpha}$-simple, by Proposition 2.1 of [@R-F], $A$ is a finite direct sum of simple ideals which are permuted transitively among each other by the action of $G$. Write $A=I_1\oplus\cdots\oplus I_n$. Suppose $A$ does not have Property (SP). Then there exists some non-zero positive element $b\in A$ such that ${\mathrm{Her}}(b)$ contains no non-zero projection. Write $b=(b_1,\dots,b_n)$, where $b_i$ is a positive element in $I_i$. Since $b$ is non-zero, [Without loss of generality]{} $b_1$ is non-zero. Hence ${\mathrm{Her}}(b_1)$ contains no non-zero projection. Since the ideals are permuted transitively by the action of $G$, we can choose $g_i$ such that ${\alpha}_{g_i}(I_1)=I_i$, for each $i$. Let $b_i'={\alpha}_{g_i}(b_1)$, consider the element $b'=(b_1',\dots, b_n')$. Since $b_1'$ is a full element in $I_1$, we can see that $b'$ is a full element in $A$. But ${\mathrm{Her}}(b')={\mathrm{Her}}(b_1')\oplus\cdots \oplus{\mathrm{Her}}(b_n')$ contains no non-zero projections. Now if we choose Rokhlin projections correspond to $b'$, the defect projection will be forced to be 0, hence the Rokhlin projections must sum up to 1 and therefore ${\alpha}$ has the strict Rokhlin property.

It should be pointed out that to the author’s knowledge, so far no versions of Rokhlin properties are known that could extend Theorem \[Ph-TR0\] in full generality, except the strict Rokhlin property:

\[SRP-TR\] Let $A$ be an unital separable [C\*-algebra]{} with tracial rank $\leq k$. Let ${\alpha}\colon G\rightarrow Aut(A)$ be an action with the strict Rokhlin property. Then $C^*(A, G, {\alpha})$ has tracial rank $\leq k$

The proof of the above theorem is based on the following lemma, which can be extracted from the proof of Theorem 2.2 in [@Ph-F]:

\[SRP-C\] Let $A$ be a unital [C\*-algebra]{} ${\alpha}\colon G\rightarrow {{\mathrm{Aut}}}(A)$ be an action with the strict Rokhlin property. Let $n={{\mathrm{card}}}(G)<\infty$. Then for any finite set $F$in the crossed product $C^*(G,A,{\alpha})$, any ${\varepsilon}>0$, there exists a projection $f\in A$ and a unital homomorphism $\phi\colon M_n(fAf)\rightarrow C^*(G,A,{\alpha})$ such that ${{\mathrm{dist}}}(b,\phi(M_n(fAf))<{\varepsilon}$, for any $b\in F$.

$\mathbb{Proof of Theorem \ref{SRP-TR}}\colon$ The property of having traical rank less or equal to $k$ passes to unital hereditary subalgebra, matrix algebra and sub-quotients, by Proposition 5.1, Theorem 5.3 and Theorem 5.8 of [@Lin-TR1]. Hence Proposition \[SRP-C\] together with Proposition 4.8, proves our Theorem \[SRP-TR\].

In Theorem \[Main\], the assumption of Property (SP) on $A$ is used to ensure that the crossed product has Property (SP). The proof of this fact depends on the following theorem:

\[O1\] (Theorem 2.1 of [@Os1]) Let $1\in A\subset B$ be a pair of C\*-algebras. Suppose that $A$ has Property (SP). If there is a faithful conditional expectation ${\mathrm{E}}$ from $B$ to $A$, such that for any non-zero positive element $x$ in $B$ and any ${\varepsilon}>0$, there is an element $y$ in $A$ satisfying: $$\|y^*(x-{\mathrm{E}}(x))y\|<{\varepsilon}, \quad \|y^*{\mathrm{E}}(x)y\|\geq \|{\mathrm{E}}(x)\|-{\varepsilon},$$ then $B$ also has Property (SP). Moreover, every non-zero hereditary [C\*-algebra]{} of $B$ has a projection which is equivalent to some projection in $A$ in the sense of Murray-von Neumann.

\[SP-cross\] Let $A$ be a [C\*-algebra]{} with Property (SP) and let ${\alpha}\colon G\rightarrow Aut(A)$ be an action with the weak tracial Rokhlin property. Then $C^*(A, G, {\alpha})$ also has Porperty (SP). Moreover, every non-zero hereditary [C\*-algebra]{} of $C^*(A, G, {\alpha})$ has a projection which is equivalent to some projection in $A$ in the sense of Murray-von Neumann.

Let $B$ be the crossed product $C^*(A, G, {\alpha})$. Let $\{u_g\}$ be the canonical unitaries. Then every element of $B$ can be written as $\sum_{g\in G}b_gu_g$, where $b_g\in A, \forall g\in G$. Let $1$ be the identity element of $G$, then a natural faithful expectation ${\mathrm{E}}$ from $B$ to $A$ can be defined as ${\mathrm{E}}(\sum_{g\in G}b_gu_g)=b_1$.

Now we check that ${\mathrm{E}}$ satisfy the conditions in Theorem \[O1\]. Let $x=\sum_{g\in G}b_gu_g$ be a non-zero positive element of $B$. Then $b_1={\mathrm{E}}(x)$ must be a non-zero positive element of $A$: write $x=zz^*$ where $z=\sum_{g\in G}c_gu_g$, then $b_1=\sum_{g\in G}c_gc_g^*\neq 0$. Without loss of generality, we can assume that $b_1$ has norm 1. Since ${\alpha}$ has the weak tracial Rokhlin property, Let $F=\{b_g\mid g\in G\}$, $b_1$ be the positive element of $A$ with norm 1 and ${\delta}=\frac{{\varepsilon}}{(|G|^2-|G|+1)}$, we can find mutually orthogonal projections $e_g\in A$ for $g\in G$ such that:

(1) $\|{\alpha}_g(e_h)-e_{gh}\|<{\delta}$ for all $g, h\in G$.

(2) $\|e_g a-ae_g\|<{\delta}$ for all $g\in G$ and all $a\in F$.

(3) With $e=\sum_{g\in G}e_g$, $\|eb_1e\|>1-{\delta}$.

Since $\|eb_1-b_1e\|<{\delta}$, we see that: $$\|eb_1e-\sum_{g\in G}e_gb_1e_g)\|=\|\sum_{g\neq h}e_gb_1e_h\|\leq (|G|^2-|G|){\delta}+\|\sum_{g\neq h}e_ge_hb_1\|=(|G|^2-|G|){\delta}.$$ Note that since $e_gb_1e_g$ for $g\in G$ are orthogonal to each other, we have $$\|\sum_{g\in G}e_gb_1e_g\|=\max\{\|e_gb_1e_g\|\mid g\in G\}.$$ Hence there exists some $h\in G$, such that $$\|e_hb_1e_h\|=\|\sum_{g\in G}e_gb_1e_g\|>\|eb_1e\|-(|G|^2-|G|)dt>1-{\varepsilon}.$$ Let $y=e_h$, then $\|y{\mathrm{E}}(x)y\|>1-{\varepsilon}$. Also we have: $$\begin{aligned}
\|y*(x-{\mathrm{E}}(x))y\|\\
&=\|e_h(\sum_{g\neq 1}b_gu_g)e_h\|\\
&=\|(\sum_{g\neq 1}e_hb_g{\alpha}_g(e_h)u_g\|\\
&\leq  (\sum_{g\neq 1}\|e_hb_ge_{gh}\|\\
&\leq (\sum_{g\neq 1}(\|(e_hb_g-b_ge_h)e_{gh}\|+\|b_ge_he_{gh}\|)\\
&\leq (|G|-1)({\delta}+0)<{\varepsilon}\end{aligned}$$ Hence the conditions in Theorem  \[O1\] are met.Note that the comparison condition is not used in the above proof.

We can extract the following technical lemma from the proof of Theorem 2.2, [@Ph-F]:

\[matrix\] Let ${\alpha}\colon G\rightarrow {{\mathrm{Aut}}}(A)$ be a finite group action. Let $F$ be a finite subset of $A$ and let $u_g$, $g\in G$ be the canonical unitaries implementing the action. Set $n={{\mathrm{card}}}(G)$. For any ${\varepsilon}>0$, there exist ${\delta}>0$ such that for any family of [mutually orthogonal [projection]{}s]{} $e_g\in A$, for $g\in G$ with:

(1) $\|{\alpha}_g(e_h)-e_{gh}\|<{\delta}$,

(2) $\|e_ga-ae_g\|<{\delta}$ for any $a\in F$ and

(3) $e=\sum_{g\in G}e_g$ is ${\alpha}-$invariant,

then there exists a unital homomorphism $\phi_0\colon M_n\rightarrow C^*(G,A,{\alpha})$ such that $\phi_0(v_{g,g})=e_g$, where $v_{g,h}$ is the standard (g,h)- matrix units of $M_n$. Furthermore, let $1=1_G$ be the identity of $G$, if we define an unital homomorphism $\phi\colon M_n\otimes e_1Ae_1\rightarrow eC^*(G,A,{\alpha})e$ by: $$\phi(v_{g,h}\otimes a)=\phi_0(v_{g,1}a\phi_0(v_{1, h}),\quad \text{for} g, h\in G \quad text{and} \quad a\in e_1Ae_1.$$ There is a finite subset $T$ of $M_n\otimes e_1Ae_1$ such that for every $a\in F\cup\{u_g\mid g\in G\}$, there is some $b\in T$ such that $\|\phi(b)-eae\|<{\varepsilon}$.

$\mathbb{Proof of Theorem \ref{Main}\colon}$ The proof is actually a modification of Theorem 2.6 of [@Ph-F]. Let $B=C^*(A, G, {\alpha})$. Since the action is ${\alpha}$-simple, $B$ is simple by Lemma \[simple\]. Note that for simple C\*-algebras, tracial topological rank can be simplified as in Theorem \[TR-S\]. By Lemma \[SP-SRP2\] and Theorem \[SRP-TR\], we can assume that $A$ has Property (SP).

Let $S$ be a finite subset of $B$. [Without loss of generality]{} we may assume that $S$ is of the form $F\cup \{u_g\colon g\in G\}$, where $F$ is a finite subset of the unit ball of $A$ and $u_g\in B$ are the canonical unitaries implementing the automorphism ${\alpha}_g$. Let ${\varepsilon}>0$ be a positive number, and let $x$ be a nonzero positive element of $B$.\
Set $n=|G|$, By Lemma \[SP-cross\], $B$ has Property (SP). Also $B$ is non-elementary since it’s infinite dimensional unital simple. By Lemma \[SP2\], we can find $2n$ non-zero mutually orthogonal and equivalent projections $p_1, p_2, \cdots, p_{2n}$ in ${\mathrm{Her}}(x)$. Then by Lemma \[SP-cross\] again, we can find a projection $p'\in A$ such that $p'{\precapprox_s}p_1$.

Now we are going to find a non-zero sub-projection $p$ of $p'$ so that ${\alpha}_g(p){\precapprox_s}p_1$ in $B$, for every $g\in G$. List the elements of $G$ as $g_1,g_2,\cdots,g_n$. Let $f_0\leq p_1$ such that $p'\sim f_0$. Since $B$ is simple, by Lemma 3.5.6 of [@Lin-C], there exists non-zero projections $f_1'\leq {\alpha}_{g_1}(p')$ and $f_1\leq f_0\leq p_1$ such that $f_1'\sim f_2$. Inductively, for $i=1,2,\dots,n$, we can find non-zero projections $f_i$ and $f_i'$, such that： $$f_i'\leq {\alpha}_{g_ig_{i-1}^{-1}}(f_{i-1}')\leq {\alpha}_{g_i}(p'),\quad f_i\leq f_{i-1} \quad\text{and}\quad f_i'\sim f_i.$$ Let $p={\alpha}_{g_n^{-1}}f_n'$. Then $p$ is a non-zero subprojection of $p'$ such that ${\alpha}_{g_i}(p){\precapprox_s}p_1$, for any $i$.

Since $B$ is simple, there exists $s_1,s_2,\dots, s_n$ in $B$ such that $\sum_{i=1}^ns_ips_i^*=1$. Write $s_i=\sum_{g\in G}s_{i,g}u_g$. Do a computation we can show that $$\sum_{i=1}^n\sum_{g\in G}s_{i,g}{\alpha}_g(p)s_{i,g}^*=1$$ Set $\hat{p}=\sum_{g\in G}{\alpha}_g(p)$, then $$\sum_{g,i}s_{i,g}\hat{p} s_{i,g}^*>\sum_{g,i} s_{i,g}{\alpha}_g(p)s_{i,g}^*=1$$ Hence $\hat{p}$ is full in $A$. Therefore there exists $\{z_i | 1\leq i \leq m\}\subset A$ such that $\sum_{i=1}^{m}z_ipz_i^*=1$. Let $M=\max\{\|z_i\|\mid 1\leq i \leq m\}$. Set ${\varepsilon}_0={\varepsilon}/4$, then choose ${\delta}_0>0$ according to Lemma \[matrix\] for $n$ as given and for ${\varepsilon}_0$ in place of ${\varepsilon}$. Let $${\delta}=\min \{\frac{1}{2nmM},\; {\delta}_0,\; \frac{{\varepsilon}}{8n}\}.$$ Let $F'=F\cup \{z_i | 1\leq i \leq m\}$ be a finite subset of $A$, $\hat{p}$ be a full positive element of $A$ and ${\delta}>0$. By Lemma \[wTRP-inv\], we can obtain [mutually orthogonal [projection]{}s]{} $e_g$ in $A$ for $g\in G$, such that:

(1) $\|{\alpha}_g(e_h)-e_{gh}\|<{\delta}<{\delta}_0$ for all $g, h\in G$.

(2) $\|e_g a-ae_g\|<{\delta}<{\delta}_0$ for all $g\in G$ and all $a\in F'$

(3) Let $e=\sum_{g\in G}e_g$, $e$ is ${\alpha}-$invariant.

(4) $1-e{\precapprox_s}\hat{p}$

Let $v_{g,h}$ be the standard matrix units for $M_n$. By the choice of ${\delta}$, there exists a unital homomorphism $\phi_0\colon M_n\rightarrow eBe$ such that $\phi_0(v_{g,g})=e_g$ for all $g\in G$. Furthermore,if we define a unital homomorphism $\phi\colon M_n\otimes e_1Ae_1\rightarrow eBe$ by $\phi(v_{g,h}\otimes a)=\phi_0(v_{g,1}a\phi_0(v_{1, h})$ for $g, h\in G$ and $a\in e_1Ae_1$, then there is a finite subset $T$ of $M_n\otimes e_1Ae_1$ such that for every $a\in F'\cup{u_g\mid g\in G}$, there is $b\in T$ such that $\|\phi(b)-eae\|\leq {\varepsilon}_0$.

Now $e_1Ae_1$ is an hereditary C\*-subalgebra of $A$ and $TR(A)\leq k$, we have $TR(M_n\otimes e_1Ae_1)\leq k$, by Theorem 5.3 and Theorem 5.8 of [@Lin-TR1]. In particular, $TR_w(M_n\otimes e_{g_0}Ae_{g_0})\leq k$. ($TR_w(\cdot)$ is the tracial weak rank, see Definition 3.4 of [@Lin-TR1] for the definition; Corollary 5.7 of [@Lin-TR1] says that $TR(A)\leq k$ implies $TR_w(A)\leq k$ ) Now consider the element $r=e_{11}\otimes e_{1}\hat{p}e_{1}$. Since $\sum_{i=1}^nz_i\hat{p}z_i^*=1$, using the fact $\|e_1z_i-z_ie_1\|<{\delta}$, we see that: $$\begin{aligned}
&\|e_1-\sum_{i=1}^me_1z_ie_1\hat{p}e_1z_i^*e_1\|\\
=&\|\sum_{i=1}^me_1z_i\hat{p}z_i^*e_1-\sum_{i=1}^me_1z_ie_1\hat{p}e_1z_i^*e_1\|\\
\leq& \|\sum_i(e_1(e_1z_i-z_ie_1)\hat{p})z_i^*e_1\|+\|\sum_i(e_1z_ie_1)\hat{p})(z_i^*e_1-e_1z_i^*)e_1\|\\
\leq& mnM{\delta}+mnM{\delta}<1\end{aligned}$$ This shows that the ideal generated by $e_1\hat{p}e_1$ in $e_1Ae_1$ contains an invertible element, hence $e_{1}\hat{p}e_{1}$ is full in $e_{1}Ae_{1}$. Therefore $r$ is a full element of $M_n\otimes e_{1}Ae_{1}$. By the definition of tracial weak rank, there is a projection $p_0\in M_n\otimes e_1Ae_1$ and an $E_0\in \mathscr{I}^{(k)}$ with $1_{E_0}=p_0$ such that

1.  $\|p_0b-bp_0\|<{\varepsilon}_0$ for all $b\in T.$

2.  For every element $b\in T$, there is an element $b'\in E_0$ such that $\|p_0bp_0-b'\|<{\varepsilon}_0$

3.  $1-p_0{\precapprox_s}r $.

Set $q=\phi(p_0)$ and $E=\phi(E_0)$. Note that the identity of $E$ is equal to $e$, the sum of the Rokhlin projections. Since $E$ is isomorphic to a sub-quotient of $E_0$ and $E_0\in \mathscr{I}^k$, by the same argument as in Proposition 5.1 of  [@Lin-TR1], there exists an increasing sequence of C\*-algebras $C_i$, such that the union $\cup_{i=1}^{\infty}C_i$ is dense in $E$. Therefore, we can choose some large $i=N$, such that $1_{C_N}=1_E$ and for every $b\in T$, there is an element $b'\in E_0$ and a $b''$ in $C_N$ so that $\|p_0bb_0-b'\|<{\varepsilon}_0$ and $\|\phi(b')-b''\|<{\varepsilon}_0$.

Let $a\in S$. Choose $b\in T$ such that $\|\phi(b)-eae\|<{\varepsilon}_0$. Then, using $qe=eq=q$, $$\begin{aligned}
\|qa-aq\| &\leq 2\|ea-ae\|+\|qeae-eaeq\|\\
&\leq 2\|ea-ae\|+2\|eae-\phi(b)\|+\|p_0b-bp_0\|\\
&<2n{\delta}+2{\varepsilon}_0+{\varepsilon}_0\leq{\varepsilon}\end{aligned}$$

Further, choosing $b'\in E_0$ such that $\|p_0bp_0-b'\|<{\varepsilon}_0$, and then choose $b''$ in $C_N$ such that $\|\phi(b')-b''\|<{\varepsilon}_0$. then the element $b''\in C_N$ satisfies $$\begin{aligned}
\|qaq-b''\|&\leq \|qaq-q\phi(b)q\|+\|q\phi(b)q-\phi(b')\|+\|\phi(b')-b''\|\\
&\leq \|eae-\phi(b)\|+\|\phi(p_0bp_0-b')\|+\|\phi(b')-b''\|\\
&\leq {\varepsilon}_0+{\varepsilon}_0+{\varepsilon}_0\leq {\varepsilon}.\\\end{aligned}$$

Finally, for the comparison condition, since $\phi(r)=e_1\hat{p}e_1$: $$\begin{aligned}
1-q&=(1-e)+(e-q){\precapprox_s}hat{p}\oplus\phi{1-p_0}\\
&{\precapprox_s}hat{p}\oplus e_1\hat{p}e_1\\
&{\precapprox_s}\oplus_{g\in G}{\alpha}_g(p)\oplus_{g\in G}{\alpha}_g(p)\\
&{\precapprox_s}p_1\oplus p_2\oplus\cdots\oplus p_2n{\precapprox_s}x.\end{aligned}$$ Hence $B=C^*(G,A,{\alpha})$ has tracial rank less or equal to $k$, by Theorem \[TR\].

Actually we could replace tracial rank by weak tracial rank in Theorem \[Main\] if $TR_w(eAe)\leq TR_w(A)$, for any projection $e\in A$. But unfortunately this is not true in general. See Example 4.7 of [@Lin-TR1] for a counterexample. We can also see that the norm condition is not officially used in the proof of Theorem \[Main\]. It is used in Proposition \[SP-cross\] which is an essential ingredient of the proof. It’s possible to find a weak condition so that Proposition \[SP-cross\] still holds, in which case Theorem \[Main\] is still valid.

Weak tracial Rokhlin property and tracial approximation
=======================================================

In this section, we assume that all classes of C\*-algebras that we consider has the property that, if $A\cong B$ and $A$ belongs to the class, then so is $B$. Following the spirit of tracially AF algebras, Elliott and Niu made the following definition of tracial approximation:

\[TA\] (Definition 2.2, [@EN-TA]) Let $\mathscr{I}$ be a class of C\*-algebras. A unital C\*-algebra $A$ is said to be in the class ${\mathrm{TA}}\mathscr{I}$, [if and only if]{} for any ${\varepsilon}>0$, any finite subset $F$ of $A$, and any nonzero $a\in A^+$, there exist a non-zero projection $p\in A$ and a sub C\*-algebra $C\subset A$ such that $C\in \mathscr{I}$, $1_C=p$, and for all $x\in F$,

1.  $\|xp-px\|<{\varepsilon}$,

2.  $pxp\in_{{\varepsilon}} C$, and

3.  $1-p{\precapprox_s}a$

By the same argument as in Example \[wTRP-exa\], we can see that if $A, B$ are two C\*-algebras such that $A\oplus B\in {\mathrm{TA}}\mathscr{I}$, then both $A$ and $B$ are in $\mathscr{I}$. Hence the comparison condition in Definition \[TA\] may be too strong for non-simple C\*-algebras. We could make the following alternative definition:

(Weak tracial approximation) Let $\mathscr{I}$ be a class of C\*-algebras. Then we define $w{\mathrm{TA}}\mathscr{I}$ to be the class of C\*-algebra $A$ obtained the same way as in Definition \[TA\] with the additional requirement that the positive element $a$ be full.

The class $w{\mathrm{TA}}\mathscr{I}$ properly contains ${\mathrm{TA}}\mathscr{I}$, and it contains more C\*-algebras of interest. But in contrast with ${\mathrm{TA}}\mathscr{I}$, even if the class $\mathscr{I}$ is closed under taking hereditary sub-algebra, $w{\mathrm{TA}}\mathscr{I}$ may not have the same property. Hence we need make this assumption in the following proposition:

\[wTRP-Main\] Let $A$ be an infinite dimensional unital C\*-algebra with Property (SP). Let $G$ be a finite group. Let ${\alpha}\colon G\rightarrow {{\mathrm{Aut}}}(A)$ be an action with the weak tracial Rokhlin property such that the crossed product $C^*(G,A,{\alpha})$ is simple. Suppose $A$ belongs to a sub-class $\mathscr{I}'$ of $w{\mathrm{TA}}\mathscr{I}$, for some class of C\*-algebras $\mathscr{I}$. If $\mathscr{I}'$ is closed under taking hereditary sub-algebras and tensoring with matrix algebras, then $C^*(G, A, {\alpha})$ belongs to ${\mathrm{TA}}\mathscr{I}$. In particular, if $A$ belongs to ${\mathrm{TA}}\mathscr{I}$, and $\mathscr{I}$ is closed under taking hereditary subalgebras and tensoring with matrix algebras, then $C^*(G,A,{\alpha})$ belongs to ${\mathrm{TA}}\mathscr{I}$.

Let $F$ be a finite subset of $C^*(G,A,{\alpha})$, let $a$ be a non-zero element of $C^*(G,A,{\alpha})^+$, and let ${\varepsilon}>0$. Let $e_g$, $g\in G$ be the Rokhlin projections corresponds to $F$, $a$ and ${\varepsilon}$. Let $e=\sum_{g\in G}e_g$. From the proof of Theorem \[Main\], we can find a unital homomorphism $\phi: M_n\otimes (e_1Ae_1) \rightarrow eC^*(G,A,{\alpha})e$, and a subalgebra $C$ of $M_n\otimes (e_1Ae_1)$ with $1_C=p_0$ which is in the class $\mathscr{I}$, such that:

1.  $\|x\phi(p_0)-\phi(p_0)x\|<{\varepsilon}$, for every $x\in F$.

2.  $\phi(p_0)x\phi(p_0)\in_{{\varepsilon}}\phi(C)$, for every $x\in F$.

3.  $1-\phi(p_0){\precapprox_s}a$

It’s not hard to see that the homomorphism $\phi_0$ defined in the proof of Theorem \[Main\] is actually injective if ${\delta}$ is sufficiently small. Since $\mathscr{I}$ contains isomorphic copies of its member, we see that $C^*(G,A,{\alpha})$ belongs to ${\mathrm{TA}}\mathscr{I}$. By Lemma 2.3 of [@EN-TA], if $\mathscr{I}$ is closed under taking unital hereditary sub-algebras and tensoring with matrix algebras, so is ${\mathrm{TA}}\mathscr{I}$, hence the theorem follows.

As a corollary, we have the following:

Let $A$ be an infinite dimensional unital separable C\*-algebra. Let ${\alpha}\colon G\rightarrow {{\mathrm{Aut}}}(A)$ be a finite group action with the weak tracial Rokhlin property such that the crossed product $C^*(G,A,{\alpha})$ is simple. Suppose $A$ has stable rank one, then $C^*(G,A,{\alpha})$ also has stable rank one.

First of all, the class of stable rank one C\*-algebras is preserved by strict Rokhlin actions. Hence by \[SP-SRP2\], we may assume that $A$ has Property (SP). By Theorem 3.18 and Theorem 3.19 of [@Lin-C], the class of unital C\*-algebras with stable rank one is closed under taking unital hereditary sub-algebras and tensoring with matrix algebras. It follows from Theorem \[wTRP-Main\] that the crossed product $C^*(G,A,{\alpha})$ is tracially of stable rank 1. By our assumption, $C^*(G,A,{\alpha})$ is simple. By Theorem 4.3 of [@EN-TA], $C^*(G,A,{\alpha})$ actually has stable rank one.

For real rank, with some modification of Theorem 4.3, we could get the following:

\[RR0\] Let $\mathscr{I}$ be the class of unital C\*-algebras with real rank 0. Let $A$ be a simple C\*-algebra in ${\mathrm{TA}}\mathscr{I}$, then $A$ has real rank 0.

Any finite dimensional C\*-algebra has real rank 0, hence we may assume that $A$ is infinite dimensional. We may also assume that $A$ has Property (SP). Otherwise $A$ will be locally have real rank 0 and therefore $A$ itself has real rank 0. Let $x$ be a non-zero self-adjoint element in $A$ and let ${\varepsilon}>0$. Assume that $x$ is not invertible, otherwise there’s nothing to prove. We can find a some ${\sigma}>0$ such that $\|f_{{\sigma}}^1(x)-x\|<{\varepsilon}/2$. We write $f=f_{{\sigma}}^1$. Since $x$ is not invertible, the spectrum of $x$ contains 0. Choose a non-negative continuous function $g$ supported in $[-{\sigma}, {\sigma}]$ such that $g(0)=1$. Then $g(x)$ is non-zero. Since $A$ has Property (SP), there exists a non-zero projection $p$ in ${\mathrm{Her}}(g(x))$. Also that $A$ is simple, by Lemma 3.5.6 or [@Lin-C], there exist non-zero projections $p_1\leq p$ and $q_1 \leq 1-p$, such that $p_1\sim q_1$. A corner of real rank 0 C\*-algebra is again a real rank 0 C\*-algebra, hence by Lemme 2.3 of [@EN-TA], $(1-p)A(1-p)$ belongs to ${\mathrm{TA}}\mathscr{I}$. By the definition of ${\mathrm{TA}}\mathscr{I}$, there exist a projection $q\in (1-p)A(1-p)$ and C\*-subalgebra $C\subset A$ of real rank 0, such that $1_C=q$ and:

(1) $\|qf(x)q-y\|<{\varepsilon}/4$, for some self-adjoint element $y\in C$.

(2) $1-p-q{\precapprox_s}q_1$.

Since $q_1\sim p_1\leq p$, there exist some projection $r\leq p$ and a partial isometry $v$ such that $vv^*=1-p-q$ and $v^*v=r$. Now the identity of $A$ can be decomposed into the sum of orthogonal projections: $1=(p-r)+r+(1-p-q)+q$. We can write $f(x)$ into a matrix form according to this decomposition. Note that $f(x)=(1-p)f(x)(1-p)$, we have: $$f(x)=
\begin{pmatrix}
0&0&0&0\\
0&0&0&0\\
0&0& (1-p-q)f(x)(1-p-q) & (1-p-q)f(x)q\\
0&0&qf(x)(1-p-q) & qf(x)q \\
\end{pmatrix}$$ Since $C$ has real rank 0 and $\|qf(x)q-y\|<{\varepsilon}/4$ for some self-adjoint element $y\in C$, we could find a invertible self-adjoint element $b\in C$ such that $\|qf(x)q-b\|<{\varepsilon}/2$. Let $a=(1-p-q)f(x)(1-p-q)$, $c=(1-p-q)f(x)q$. Let $Z$ be the matrix: $$\begin{pmatrix}
p-r&0&0&0\\
0&r&0&0\\
0&0& 1-p-q & -cb^{-1}\\
0&0& 0 & q \\
\end{pmatrix}$$ Then by the same computation as in Lemma 3.1.5 of [@Lin-C], we can show that: $$f(x)=
\begin{pmatrix}
0&0&0&0\\
0&0&0&0\\
0&0& a & c\\
0&0&c^* & b \\
\end{pmatrix}
\,=\,Z
\begin{pmatrix}
0&0&0&0\\
0&0&0&0\\
0&0& a-cb^{-1}c^* & 0\\
0&0& 0  & b \\
\end{pmatrix}
Z^*$$ Now if we consider the element: $$x'\,=\,Z
\begin{pmatrix}
({\varepsilon}/2)(p-r)&0&0&0\\
0&0&({\varepsilon}/2) v*&0\\
0&({\varepsilon}/2) v& a-cb^{-1}c^* & 0\\
0&0& 0  & b \\
\end{pmatrix}
Z^*,$$ We can check that $x'$ is an invertible self-adjoint element such that $\|f(x)-x'\|< {\varepsilon}/2$. Hence $\|x-x'\|\leq \|x-f(x)\|+\|f(x)-x'\|<{\varepsilon}$. Therefore $A$ has real rank 0.

Hence we have the following corollary:

Let $A$ be an unital C\*-algebra. Let ${\alpha}\colon G\rightarrow {{\mathrm{Aut}}}(A)$ be a finite group action with the weak tracial Rokhlin property, such that the crossed product $C^*(G,A,{\alpha})$ is simple. Suppose $A$ has real rank 0, then $C^*(G,A,{\alpha})$ also has real rank 0.

$A$ has real rank 0 implies that $A$ has Property (SP). We need only to consider the case that $A$ is infinite dimensional, because any finite dimensional C\*-algebra has real rank 0. Therefore the above statement follows from Theorem \[wTRP-Main\] and Lemma \[RR0\]

Acknowledgement {#acknowledgement .unnumbered}
===============

I would like to express my deep gratitude to Prof Phillips and Prof Weaver, my research supervisors, for their patient guidance, valuable suggestions and enthusiastic encouragement of this research work. I also would like to thank Prof McCarthy for encouraging me to publish this paper.

[14]{} N.Christopher Phillips, [*Ottawa Summer School Course on Crossed Product C\*-algebras*]{}, Lecture notes. N.Christopher Phillips, [*Finite Cyclic Group Actions With The Tracial Rokhlin Property*]{}, arXiv:math/06090785v1 Siegfried Echterhoff, Wolfgang Lueck, N. Christopher Phillips, Samuel Walters, [*The structure of crossed products of irrational rotation algebras by finite subgroups of $SL_2 (Z)$*]{}, Journal für die reine und angewandte Mathematik, arXiv:math/0609784 N.Christopher Phillips, [*The tracial Rokhlin property for actions of finite groups on C\*-algebras*]{}, American Journal of Mathematics - Volume 133, Number 3, June 2011, pp. 581-636 Masaki Izumi, [*Finite group action on C\*-algebras with Rokhlin property I*]{}, Duke Math, J. 122(2004), no.2, 233-180 M. R$\o$rdam, E. St$\o$mer, [*Classification of Nuclear C\*-Algebras. Entropy in Operator Algebras*]{}, Encyclopedia of Mathematical Sciences, Springer, ISBN-10: 3540423052 J. Cuntz, [*The structure of multiplication and addition in simple C\*-algebras*]{}, Math. Scand. 40 (1977), 215223. 9 Hiroyuki Osaka, [*SP-Property For a Pair of C\*-algebras*]{}, J.Operator theory 46(2001), 159-171 Huaxin Lin, [*The tracial topological rank of C\*-algebras,*]{} Proc. London Math. Soc. (3) **83** (2001), no. 1, 199–234. Shanwen Hu, Huaxin Lin and Yifeng Xue, [*The tracial topological rank of C\*-algebras II*]{}, Indiana Univ. Math. J. **53** (2004), no. 6, 1578–1603. Huaxin Lin, [ *An introduction to the classification of amenable C\*-algebras,*]{} World Scientific Publishing Co., Inc., River Edge, NJ, 2001. xii+320 pp. ISBN: 981-02-4680-3 Eduard Ortega, Mikael Rordam, Hannes Thiel, [*The Cuntz semigroup and comparison of open projections*,]{} Journal of Functional Analysis Volume 260, Issue 12, 15 June 2011, Pages 3474–3493 arXiv:1008.3497 \[math.OA\] G.A.Elliott, Z Niu, [*On tracial approximation*, ]{} Journal of Functional Analysis Volume 254, Issue 2, 15 Jan 2008, Pages 396-440. Dorte Olesen, Gert K Pedersen, [*Applications of the Connes spectrum to C\*-dynamical systems III,*]{} Journal of Functional Analysis Volume 45, Issue 3, 15 February 1982, Pages 357–390. Adam Sierakowski, [*The ideal structure of reduced crossed products*]{}, M$\ddot{u}$nster Journal of Mathematics 3 (2010), 237–262 Rieffel, Marc A, [*Actions of finite groups on C\*-algebras*]{}. Math Scand. 47 (1980), 157-176
