Gelfand-transform criterion. F∈SLn(R)F\in SL_n(R)F∈SLn(R) belongs to En(R)E_n(R)En(R) if and only if