UHF algebra