Associative Local Function Rings

Abstract

We prove that for an arbitrary field $k,$ a complete, associative $k^r$-algebra $\hat H$ augmented over $k^r$ has exactly $r$ maximal two-sided ideals and deserves the name $r$-pointed. If $A$ is any $k$-algebra, $M=\{M_i\}_{i=1}^r$ is a family of simple right $A$-modules with a countable $k$-basis, and there is a homomorphism $\rho_A:A\rightarrow\enm_{\hat H}(H\hat{\otimes}_{k^r}(\oplus_{i=1}^r M_i))=:\hat O(M)$ then $\hat O(M)$ is $r$-pointed and $M$ is contained in the set of right simple $\hat O(M)$-modules. Our main result is that the subalgebra generated $\rho_A(A)$ and all $\rho_A(a)^{-1}$ whenever $\rho_A(a)$ is a unit, is a natural substitute for the localization $A(M)$ of the $k$-algebra $A$ in $M$ which only exists when the Ore condition is fulfilled.