Associative Local Function Rings

TL;DR

This paper characterizes complete associative algebras over a field as 'r-pointed' with exactly r maximal two-sided ideals, and introduces a new algebraic construction that generalizes localization without the Ore condition.

Contribution

It proves the structure of complete associative algebras over a field and introduces a new subalgebra that generalizes localization in non-Ore cases.

Findings

Complete associative algebras over a field have exactly r maximal two-sided ideals.

Introduces a subalgebra that generalizes localization without Ore condition.

Establishes a connection between simple modules and algebra homomorphisms.

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.