环R的理想P称为Pierce理想，如果R／P是R的Pierce茎．令Pier（R）={P｜P是R的Pierce理想}．可证Pier（R）是拓扑空间．若R是幂等元中心的置换环，则K0（R）≌{......