Skip to main content
tex corrected
Source Link
Andreas Thom
  • 25.5k
  • 4
  • 82
  • 142

Let $A$ denote a unital commutative ring. Given a system of ideals $(I_p)$$(I_p)_{p\in P}$ indexed by a partially ordered set $P$ such that if p <= q$p \leq q$, then $I_p$ is contained in $I_q$, when is

$GL_n(projlim(A/{I_p})) \cong projlim( GL_n(A/{I_p}) ) ?  

$$GL_n \left(\lim_{\leftarrow} (A/{I_p}) \right) \cong \lim_{\leftarrow} \ GL_n(A/{I_p}) ?$$

Of course this is true when $A$ is $I$-adically complete.

What happens when $A$ is a topological ring and the $GL_n$ 's are endowed with "suitable" topologies making them toplogical groups?

Let $A$ denote a unital commutative ring. Given a system of ideals $(I_p)$ indexed by a partially ordered set $P$ such that if p <= q, then $I_p$ is contained in $I_q$, when is

$GL_n(projlim(A/{I_p})) \cong projlim( GL_n(A/{I_p}) ) ?  

Of course this is true when $A$ is $I$-adically complete.

What happens when $A$ is a topological ring and the $GL_n$ 's are endowed with "suitable" topologies making them toplogical groups?

Let $A$ denote a unital commutative ring. Given a system of ideals $(I_p)_{p\in P}$ indexed by a partially ordered set $P$ such that if $p \leq q$, then $I_p$ is contained in $I_q$, when is

$$GL_n \left(\lim_{\leftarrow} (A/{I_p}) \right) \cong \lim_{\leftarrow} \ GL_n(A/{I_p}) ?$$

Of course this is true when $A$ is $I$-adically complete.

What happens when $A$ is a topological ring and the $GL_n$ 's are endowed with "suitable" topologies making them toplogical groups?

Source Link

Commutation of $GL_{n}$ with projective limits

Let $A$ denote a unital commutative ring. Given a system of ideals $(I_p)$ indexed by a partially ordered set $P$ such that if p <= q, then $I_p$ is contained in $I_q$, when is

$GL_n(projlim(A/{I_p})) \cong projlim( GL_n(A/{I_p}) ) ?  

Of course this is true when $A$ is $I$-adically complete.

What happens when $A$ is a topological ring and the $GL_n$ 's are endowed with "suitable" topologies making them toplogical groups?