We show that if $M\,\bar{\rtimes }_{\unicode[STIX]{x1D6FC}}\,\unicode[STIX]{x1D6E4}$ has the weak Haagerup property, then both $M$ and $\unicode[STIX]{x1D6E4}$ have the weak Haagerup property, and if $\unicode[STIX]{x1D6E4}$ is an amenable group, then the weak Haagerup property of $M$ implies that of $M\,\bar{\rtimes }_{\unicode[STIX]{x1D6FC}}\,\unicode[STIX]{x1D6E4}$. We also give a condition under which the weak Haagerup property for $M$ and $\unicode[STIX]{x1D6E4}$ implies that of $M\,\bar{\rtimes }_{\unicode[STIX]{x1D6FC}}\,\unicode[STIX]{x1D6E4}$.

Let $\unicode[STIX]{x1D6E4}$ be a countable discrete group that acts on a unital $C^{\ast }$ -algebra $A$ through an action $\unicode[STIX]{x1D6FC}$ . If $A$ has a faithful $\unicode[STIX]{x1D6FC}$ -invariant tracial state $\unicode[STIX]{x1D70F}$ , then $\unicode[STIX]{x1D70F}^{\prime }=\unicode[STIX]{x1D70F}\circ {\mathcal{E}}$ is a faithful tracial state of $A\rtimes _{\unicode[STIX]{x1D6FC},r}\unicode[STIX]{x1D6E4}$ where ${\mathcal{E}}:A\rtimes _{\unicode[STIX]{x1D6FC},r}\unicode[STIX]{x1D6E4}\rightarrow A$ is the canonical faithful conditional expectation. We show that $(A\rtimes _{\unicode[STIX]{x1D6FC},r}\unicode[STIX]{x1D6E4},\unicode[STIX]{x1D70F}^{\prime })$ has the Haagerup property if and only if both $(A,\unicode[STIX]{x1D70F})$ and $\unicode[STIX]{x1D6E4}$ have the Haagerup property. As a consequence, suppose that $(A\rtimes _{\unicode[STIX]{x1D6FC},r}\unicode[STIX]{x1D6E4},\unicode[STIX]{x1D70F}^{\prime })$ has the Haagerup property where $\unicode[STIX]{x1D6E4}$ has property $T$ and $A$ has strong property $T$ . Then $\unicode[STIX]{x1D6E4}$ is finite and $A$ is residually finite-dimensional.

Let $A$ be an $\text{AI}$ algebra; that is, $A$ is the ${{\text{C}}^{*}}$-algebra inductive limit of a sequence

$${{A}_{1}}\xrightarrow{{{\phi }_{1,2}}}{{A}_{2}}\xrightarrow{{{\phi }_{2,3}}}{{A}_{3}}\to \cdot \cdot \cdot \to {{A}_{n}}\to \cdot \cdot \cdot ,$$

where ${{A}_{n}}=\oplus _{i=1}^{{{k}_{n}}}{{M}_{\left[ n,i \right]}}\left( C\left( X_{n}^{i} \right) \right),X_{n}^{i}$ are [0, 1], ${{k}_{n}}$, and $\left[ n,\,i \right]$ are positive integers. Suppose that $A$ has the ideal property: each closed two-sided ideal of $A$ is generated by the projections inside the ideal, as a closed two-sided ideal. In this article, we give a complete classification of $\text{AI}$ algebras with the ideal property.