Haagerup property for C*-algebras and rigidity of C*-algebras with property (T)

We study the Haagerup property for C*-algebras. We first give new examples of C*-algebras with the Haagerup property. A nuclear C*-algebra with a faithful tracial state always has the Haagerup property, and the permanence of the Haagerup property for C*-algebras is established. As a consequence, the class of all C*-algebras with the Haagerup property turns out to be quite large. We then apply Popa's results and show the C*-algebras with property (T) have a certain rigidity property. Unlike the case of von Neumann algebras, for the reduced group C*-algebras of groups with relative property (T), the rigidity property strongly fails in general. Nevertheless, for some groups without nontrivial property (T) subgroups, we show a rigidity property in some cases. As examples, we prove the reduced group C*-algebras of the (non-amenable) affine groups of the affine planes have a rigidity property.Comment: This is the final version. 22pages, no figure

Suzuki-invariant codes from the Suzuki curve

In this paper we consider the Suzuki curve $y^q + y = x^{q_0}(x^q + x)$ over the field with $q = 2^{2m+1}$ elements. The automorphism group of this curve is known to be the Suzuki group $Sz(q)$ with $q^2(q-1)(q^2+1)$ elements. We construct AG codes over $\mathbb{F}_{q^4}$ from a $Sz(q)$-invariant divisor $D$, giving an explicit basis for the Riemann-Roch space $L(\ell D)$ for $0 < \ell \leq q^2-1$. These codes then have the full Suzuki group $Sz(q)$ as their automorphism group. These families of codes have very good parameters and are explicitly constructed with information rate close to one. The dual codes of these families are of the same kind if $2g-1 \leq \ell \leq q^2-1$

From Thompson to Baer-Suzuki: a sharp characterization of the solvable radical

We prove that an element $g$ of prime order $>3$ belongs to the solvable radical $R(G)$ of a finite (or, more generally, a linear) group if and only if for every $x\in G$ the subgroup generated by $g, xgx^{-1}$ is solvable. This theorem implies that a finite (or a linear) group $G$ is solvable if and only if in each conjugacy class of $G$ every two elements generate a solvable subgroup.Comment: 28 page