The Gelfand-transform criterion for elementary generation in Banach algebras
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
MathDB