No label defined (Q4709869)

Let \(X\) be a compact set and \(C(X)\) be the algebra of continuous functions on \(X\) with values in a non-Archimedean field. It is shown that global dimension and bidimension of this algebra are equal to zero if the set \(X\) consists of a finite number of isolated points and are equal to one if this is not true. The evaluation of dimensions is given as a corollary of the following more general theorem established in the paper. Let \(I\) be an ideal in the algebra \(C(X)\), where \(X\) is an ultrametric compactum. Then \(I\) is projective as a \(C(X)\)-module, and its homological dimension as a bimodule is less than or equal to 1. The ideal \(I\) is projective as a bimodule if and only if its spectrum \(X\backslash P\) splits as a finite number of isolated points. The above results show that the homological properties of \(C(X)\) in the non-Archimedean case are much simpler as compared with the ordinary case where left global dimension and bidimension remain unknown.