## Countably Generated Matrix Algebras

## Arvid Siqveland

October 23, 2024

## Abstract

We define the completion of an associative algebra A in a set M = { M ,..., M 1 r } of r right A -modules in such a way that if a ⊆ A is an ideal in a commutative ring A the completion A in the (right) module A/ a is ˆ A M /similarequal ˆ A . a This works by defining ˆ A M as a formal algebra determined up to a computation in a category called GMMP-algebras. From deformation theory we get that the computation results in a formal algebra which is the prorepresenting hull of the noncommutative deformation functor, and this hull is unique up to isomorphism.

## 1 Introduction

All vector spaces and algebras will be over an arbitrary field k. All algebras will be associative and unital. We say left or right ideal when necessary, the word ideal is reserved for two-sided ideals. When M is a right module over an associative ring A, we let ρ M : A → End ( Z M ) denote the structure morphism, that is ρ a ( )( m ) = ma.

In the article [5] we constructed schemes by using only completions of rings in maximal ideals. The goal of this paper is to find an alternative definition of the completion in an ideal that can be generalized to the completion of an associative k -algebra A in a set M = { M ,..., M 1 r } of r simple right A -modules.

We define a category L called GMMP-algebras with a functor ˆ : A L → Alg k . For the set M = { M ,... , M 1 r } of r simple right A -modules we associate a GMMP-algebra L M . ( ) Then we define the completion of A in M as

$$\hat { A } _ { M } = \hat { A } ( L ( M ) ).$$

These completions are associative rings ˆ A M fitting in the diagram

/d47

/d47

/d32

/d32

/d15

/d15

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.01034v2-figure-fbb40a8b-f4d8-4a9f-9561-2741a878713f.jpg)

such that ˆ A M = lim ← n A/ (ker π ) n , justifying the word completions, and such that the following diagram commutes:

/d47

/d47

/d40

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.01034v2-figure-311715f4-703d-4b36-a684-2ad3fc02bb0e.jpg)

/d40

/d15

/d15

which justify that this is a generalization of the completion in a single maximal ideal m ⊆ C of a commutative k -algebra C such that M 1 = C/ m /similarequal k.

## 2 Linear Algebra

Let B W = { w i } n i =1 be a basis for a vector space W and let W κ → V → 0 be a quotient such that B V = { v i = κ w ( i ) 1 | ≤ i ≤ d ≤ n } is a basis for V. Then we have a system of unique relations

$$\begin{matrix} \alpha _ { 1 1 } v _ { 1 } & + \alpha$$

Bring this system of equations to its reduced row-echelon form. Up to renumbering of the basis B W this can be written in the form:

$$\begin{array} {$$

Definition 1. We define the relation morphism d V W : W → W as the linear transformation given by

$$d _ { V W } ( w _ { j } ) = \begin{cases} w _ {$$

Due to the minus sign, we have that the r expressions in (1) can be written

$$f _ { i } = \sum _ { j = 1 } ^ { n } w _ { i$$

where { w , . . . , w 1 r } is a basis for W/ im d V W . If another basis of W/ im d. is chosen, this amounts to a linear change of variables. It follows that the elements

{ f , . . . , f 1 r } are linearly independent, and so we consider the subspace F = ( f , . . . , f 1 r ) ⊆ W with basis { f , . . . , f 1 r ) . We also let F : W → W denote the map F w ( i ) = { f , i 1 ≤ i ≤ r, 0 , i &gt; r . We then have the following.

Lemma 1. With the notation above, there is an exact sequence

$$W \stackrel { F } { \rightarrow } W \stackrel { \kappa } { \rightarrow } V \rightarrow 0,$$

in particular V /similarequal W/F.

Proof. This follows because F maps to the defining relations of V as quotient of W.

When we generalize to the situation where W is infinite dimensional, we will be in two different situations in the following. This leads to the concept of formal vector spaces.

$$\hat { V } _ { B } = \prod _ { b \in B } k \ni ( \alpha _ { b } ) _ { b \in B }, \alpha _ { b } \in k, b \in B, \\ ; \text{these are infinite products contrary to the direct} \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \colon$$

Let B be a basis for a vector space V over a field k. Let ̂ V B be the direct product and notice that these are infinite products contrary to the direct sum ∑ b ∈ B k = ∑ b ∈ B α b b in which only a finite number of the α b are different from 0 . It is clear that ̂ V B is a vector space under component-wise addition and scalar multiplication. As every vector space has a basis, this also holds for ̂ V B , but we see that if B is infinite, then B is a linearly independent set, but not a basis.

Definition 2. The completion of a vector space V over k with respect to a basis B is the vector space ̂ V B = ∏ v ∈ B k. A vector space which is isomorphic to a completion is called complete, or formal.

## 3 k -Algebras

Let V = ⊕ n i =1 kx i be an n -dimensional vector space. Let T i ( V ) = V ⊗ i i times for i ≥ 1 and let T 0 ( V ) = k. The free associative algebra in n variables over the field k is the tensor-algebra

$$F = \oplus _ { i = 0 } ^ { \infty } T ^ { i } ( V ).$$

We use the notation

$$k \langle n \rangle = k \langle x _ { 1 }, \dots, x _ { n } \rangle \stackrel { \rho } { \to } k,$$

and we let m = ker ρ. With respect to the choice of base-point, we see that F is augmented over k by sending x i to 0 , 1 ≤ i ≤ n. Interpreting m 0 = k n , 〈 〉 we can write the vector space

$$k \langle n \rangle = \oplus _ { i = 0 } ^ { \infty } \mathfrak { m } ^ { i } / \mathfrak { m } ^ { i + 1 }.$$

Each n i -dimensional vector space m i / m i +1 has a basis consisting of all monomials of degree i which corresponds bijectively to the set B i = { w : | w | = i } of words in the alphabet with n letters of length i.

We denote the free associative algebra generated by a countable arbitrary set S over k by k S 〈 〉 = k x 〈 s ; s ∈ S 〉 and we say that k 〈 N 〉 is countably generated. We still have the augmentation ρ : k S 〈 〉 → k, ρ x ( s ) = 0 , s ∈ S, and m = ker ρ.

Definition 3. Let A be an associative k -algebra. A subset S ⊆ A is called a generating set if there exists a surjective algebra homomorphism k S 〈 〉 → A. If S has no subsets that are generating, S is called a minimal generating set.

For each chain { S i } i ∈ ⊆ I N , S i ⊆ S i +1 , of generating sets we have that S = ∩ i ∈ I S i is a generating set so that by Zorn's Lemma, every k -algebra A has a minimal generating set S. This S is necessarily a linearly independent set. There is a surjection φ : k S 〈 〉 → A and k S / 〈 〉 ker φ /similarequal A. If the ideal ker φ is finitely generated, we say that A is finitely presented.

Let A be a countably generated k -algebra, generated over a countable set S . Then A is a vector space over k spanned by all monomials B which are products of elements in S. This says

$$B = \{ s _ { 1 } ^ { n _ { 1 } } s _ { 2 } ^ { n _ { 2 } } \cdots s _ { m } ^ { n _ { m } } | s _ { i } \in S, \ n \in \mathbb { N }, \ 1 \leq i \leq m \}.$$

We choose an admissible ordering on the basis B consisting of the monomials in k S , 〈 〉 resulting in the relation morphism from Definition 1,

$$d \colon k \langle S \rangle \rightarrow k \langle S \rangle.$$

For each basis element in a basis { y i } i ∈ I for k S / 〈 〉 im d we define the polynomial f i = ∑ n ∈ B y ∗ i ( n n ) and consider the ideal F = ( f i ; i ∈ I ) . Then by Lemma 1 we have that

$$A \simeq k \langle S \rangle / F.$$

## 4 Formal Algebras

The free formal associative algebra in n variables over the field k is the tensoralgebra

We use the notation

$$F = \prod _ { i = 0 } ^ { \infty } T ^ { i } ( V ).$$

$$k \langle \langle n \rangle \rangle = k \langle \langle x _ { 1 }, \dots, x _ { n } \rangle \rangle \stackrel { \rho } { \to } k,$$

and we let m = ker ρ. With respect to the choice of base-point, we see that F is augmented over k by sending x i to 0 , 1 ≤ i ≤ n. Interpreting m 0 = k n , 〈 〉 we can write the vector space

$$k \langle \langle n \rangle \rangle = \prod _ { i = 0 } ^ { \infty } \mathfrak { m } ^ { i } / \mathfrak { m } ^ { i + 1 }.$$

An algebra A over k with minimal generating set S is a formal k -algebra if there exists a k -linear surjective homomorphism

$$\sigma \colon k \langle \langle S \rangle \rangle & = \prod _ { i = 0 } ^ { \infty } \mathfrak { m } ^ { i } / \mathfrak { m } ^ { i + 1 } \twoheadrightarrow A \\ \dots \dots \quad \overbrace { \infty } \infty \quad \nu \quad i \nu \quad \nu$$

so that the vector-space A is A = ∑ ∞ i =1 σ ( m i / m i +1 ) . For a monomial m ∈ k S 〈 〉 we will refer to σ m ( ) as a monomial in A, and we note that the set of monomials in A spans this vector-space. Choose successively a monomial basis for ⊕ n i =1 σ ( m i / m i +1 ) . Every element in A can be written as a formal sum of the elements in the successive basis, but we do not claim that this is a monomial basis for A = ∑ ∞ i =1 σ ( m i / m i +1 ) . This choice of successive basis defines the relation morphism

$$d \colon k \langle \langle S \rangle \rangle \rightarrow k \langle \langle S \rangle \rangle$$

as in Definition 1. It is important to see that σ is an algebra homomorphism, but d might not be more than a k -linear map.

Next, we will use a choice of successive basis and resulting relation morphism d above to give a presentation of the algebra A with finite generator set S, | S | = n.

Let H 0 = k, H 1 = k x , . . . , x 〈 1 n 〉 / m 2 . Put B 0 = { 1 } , B 1 = { x , . . . , x 1 n } , B 1 = B 0 ∪ B . 1 Then B 0 is a basis for H , B 0 1 is a basis for m m / 2 and B 1 is a basis for H . 1 We have the following diagram,

/d47

/d47

/d15

/d15

/d15

/d15

/d47

$$k \langle \langle S \rangle \rangle \xrightarrow { \sigma } A \\ \boxed { H } _ { 1 } \xrightarrow { \sigma _ { 1 } } A / \sigma ( \mathfrak { m } ^ { 2 } ),$$

/d47

and by the minimality of S the induced homomorphism σ 1 is an isomorphism.

Put H 2 = k x , . . . , x 〈 1 n 〉 / m 3 π ′ 2 → H 1 and let B ′ 2 = { x x i j | 1 ≤ i, j ≤ n . } Then B ′ 2 is a basis for ker π / ′ 2 m 3 and B ′ 2 = B 1 ∪ B ′ 2 is a basis for H . 2 This says that for each monomial s ∈ H 2 we have a unique relation

$$\dots \cdots \cdots \cdots \cdots \cdots \\ s = \sum _ { t \in \overline { B } _ { 2 } ^ { \prime } } \beta _ { s, t } t.$$

For each t ∈ B ′ 2 let

$$\cdot \cdots \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \colon \\ \langle S, t \rangle & = \sum _ { s \in \overline { B } _ { 2 } ^ { \prime } } \sum _ { t _ { 1 }, \, t _ { 2 } } \beta _ { s, t } t _ { 1 } t _ { 2 } \in k \oplus \mathfrak { m } / \mathfrak { m } ^ { 2 } \oplus \mathfrak { m } ^ { 2 } / \mathfrak { m } ^ { 3 } \subseteq k \langle S \rangle / \mathfrak { m } ^ { 3 }.$$

Let { y i } i ∈ I be a basis for k 〈〈 S 〉〉 / im d where I is an index set. Consider the following element in k 〈〈 S 〉〉 / im d ⊗ H 2 :

$$\text{following element in $k(\langle S\rangle)\rangle/\text{im} d\otimes H_{2} \colon$} \\ \sum _ { n \in \overline { B } _ { 2 } ^ { \prime } } \langle S, n \rangle \otimes n & = \sum _ { n \in \overline { B } _ { 2 } ^ { \prime } } ( \sum _ { i \in I } y _ { i } ^ { * } ( \langle S, n \rangle ) y _ { i } ) \otimes n = \sum _ { n \in \overline { B } _ { 2 } ^ { \prime } } ( \sum _ { i \in I } y _ { i } ^ { * } ( \langle S, n \rangle ) y _ { i } \otimes n ) \\ & = \sum _ { i \in I } y _ { i } \otimes ( \sum _ { n \in \overline { B } _ { 2 } ^ { \prime } } y _ { i } ^ { * } ( \langle S, n \rangle ) n ). \\ \text{For each $i \leq I$ was not}$$

For each i ∈ I we put

$$\Phi _ { i } ^ { 2 } = \sum _ { t \in \overline { B } _ { 2 } ^ { \prime } } y _ { i } ^ { * } \langle S, t \rangle t \in H _ { 2 }$$

where y ∗ i denotes the dual of y i ∈ k 〈〈 S 〉〉 . Let F 2 = ( f 2 i : i ∈ I ) and let

$$\overline { H } _ { 2 } = H _ { 2 } / F ^ { 2 } = k \langle x _ { 1 }, \dots, x _ { n } \rangle / ( \mathfrak { m } ^ { 3 } + F ^ { 2 } ) \stackrel { \pi _ { 2 } } { \to } \overline { H } _ { 1 }$$

and choose a basis B 2 ⊆ B ′ 2 for ker π . 2 Then B 2 = B 1 ∪ B 2 is a basis for H 2 and we have a unique relation in H . 2 For each s ∈ H , 2 s = ∑ t ∈ B 2 β s,t t. We now have the diagram

/d47

/d47

/d15

/d15

/d15

/d15

/d47

$$\begin{smallmatrix} k \langle \langle S \rangle \rangle & \sigma \\ \downarrow & \downarrow \\ \overline { H } _ { 2 } & \stackrel { \sigma _ { 2 } } { \longrightarrow } A / \sigma ( \mathfrak { m } ^ { 3 } ) \\ \dots & \dots \\ \end{smallmatrix}$$

/d47

and σ 2 is a k -linear isomorphism because of the dimensions of the finite dimensional linear spaces. The condition in H 2 saying that f 2 i = 0 , i ∈ I, says that in k 〈〈 S 〉〉 / im d ⊗ H 2 we have

$$0 = \sum _ { i \in I } y _ { i } \otimes f _ { i } ^ { 2 } & = \sum _ { i \in I } y _ { i } \otimes \sum _ { t \in \overline { B } _ { 2 } ^ { \prime } } y _ { i } ^ { * } \langle S, t \rangle t = \sum _ { t \in \overline { B } _ { 2 } ^ { \prime } } \langle S, t \rangle \otimes t = \sum _ { t \in \overline { B } _ { 2 } ^ { \prime } } \langle S, t \rangle \otimes \sum _ { u \in \overline { B } _ { 2 } } \beta _ { t, u } u \\ & = \sum _ { u \in \overline { B } _ { 2 } } \left ( \sum _ { u \in \overline { B } _ { 2 } ^ { \prime } } \beta _ { t, u } \langle S, t \rangle \right ) \otimes u = \sum _ { u \in \overline { B } _ { 2 } } d ( \sigma ( u ) ) \otimes u. \\ \text{For each } u \subset R _ { * } \text{ was have that}$$

For each u ∈ B 2 we have that

$$\dots \times \dots \times \\ d ( \sigma ( u ) ) = \sum _ { t \in \overline { B } _ { 2 } ^ { \prime } } \beta _ { t, u } \langle S, t \rangle.$$

For N ≥ 2 , assume that H N = k 〈〈 S 〉〉 / F ( N + m N +1 ) has been constructed together with monomial bases B N , B N . Put

$$H _ { N + 1 } = k \langle x _ { 1 }, \dots, x _ { n } \rangle / ( \mathfrak { m } ^ { N + 2 } + \mathfrak { m } F ^ { N } + F ^ { N } \mathfrak { m } ) \stackrel { \pi ^ { \prime } _ { N } + 1 } { \rightarrow } \overline { H } _ { N }$$

and notice that ker π ′ N +1 is spanned by the set of monomials M = x i · B N ∪ B N · x , i 1 ≤ i ≤ n. We can write

$$\ker \pi _ { N + 1 } ^ { \prime } & = \mathfrak { m } ^ { N + 1 } / ( \mathfrak { m } ^ { N + 2 } + \mathfrak { m } ^ { N + 1 } \cap ( \mathfrak { m } F ^ { N } + F ^ { N } \mathfrak { m } ) ) \bigoplus F ^ { N } / ( \mathfrak { m } F ^ { N } + F ^ { N } \mathfrak { m } ) \\ & = I _ { N + 1 } \oplus F ^ { N } / ( \mathfrak { m } F ^ { N } + F ^ { N } \mathfrak { m } ).$$

Choose a monomial basis B ′ N +1 ⊆ M for I N +1 . By definition the generating polynomials f , i i ∈ I are linearly independent such that when B ′ N +1 = B N ∪ B ′ N +1 then B ′ N +1 ∪ { f i : i ∈ I } is a basis for H N +1 . This says that every monomial s ∈ H N +1 can be uniquely written

$$\Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d p \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ }d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } e _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Ph i _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \PhI _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phis _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Ph } \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Philon _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phicon _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phic _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Ph I _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phip _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phigma _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phid _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phribute _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ } d \Phi _ { \ }$$

For each t ∈ B ′ N +1 let

$$\langle S, t \rangle = \sum _ { s \in \overline { B } ^ { \prime } _ { N + 1 } } \sum _ { t _ { 1 }, \, t _ { 2 } \in \overline { B } _ { N } } \beta _ { s, t } d ( \sigma ( t _ { 1 } t _ { 2 } ) ) \in \oplus _ { i = 0 } ^ { N } \mathfrak { m } ^ { i } / \mathfrak { m } ^ { i + 1 } \subseteq k \langle \langle S \rangle \rangle / \mathfrak { m } ^ { N + 1 }.$$

Then consider the following element in k 〈〈 S 〉〉 / im d ⊗ H N +1 :

$$\sum _ { n \in \overline { B } ^ { \prime } _ { N + 1 } } \langle S, n \rangle \otimes n & = \sum _ { n \in \overline { B } ^ { \prime } _ { N + 2 } } ( \sum _ { i \in I } y _ { i } ^ { * } ( \langle S, n \rangle ) y _ { i } ) \otimes n = \sum _ { n \in \overline { B } ^ { \prime } _ { N + 1 } } ( \sum _ { i \in I } y _ { i } ^ { * } ( \langle S, n \rangle ) y _ { i } \otimes n ) \\ & = \sum _ { i \in I } y _ { i } \otimes ( f _ { i } ^ { N } + \sum _ { n \in B ^ { \prime } _ { N + 1 } } y _ { i } ^ { * } ( \langle S, n \rangle ) n ). \\ \text{For each } i \subseteq I \text{ runt}$$

For each i ∈ I put

$$r \dashrightarrow \\ f _ { i } ^ { N + 1 } = f _ { i } ^ { N } + \sum _ { t \in B ^ { \prime } _ { N + 1 } } y _ { i } ^ { * } ( \langle S, t \rangle ) t$$

and define

$$\overline { H } _ { N + 1 } = H ^ { \prime } _ { N + 1 } / ( f _ { i } \colon i \in I ) = k \langle \langle S \rangle \rangle / F _ { N + 1 } \stackrel { \pi _ { N } + 1 } { \rightarrow } \overline { H } _ { N }.$$

Choose a monomial basis B N +1 for ker π N +1 so that B N +1 = B N +1 ∪ B N is a monomial basis for H N +1 . We have the diagram

/d47

/d47

/d15

/d15

/d15

/d15

$$k \langle \langle S \rangle \rangle \xrightarrow { \sigma } A \\ \downarrow \overbrace { H } _ { N + 1 } \xrightarrow { \sigma _ { N + 1 } } A / \sigma ( \mathfrak { m } ^ { N + 2 } )$$

/d47

/d47

and σ N +1 is a k -linear isomorphism because of the dimensions of the finite dimensional linear spaces. Notice the condition in H N +1 saying that f N +1 i = 0 , i ∈ I, says that for each u ∈ B N +1 we have that

$$\alpha \mu \in \mathcal { U } _ { N + 1 } \text{ we have one} \\ d ( \sigma ( u ) ) = & - \sum _ { t \in \overline { B } _ { 2 } ^ { \prime } } \beta _ { t, u } \langle S, t \rangle. \\ & - \nabla$$

By induction, it follows that lim ←-n ≥ 1 H N +1 /similarequal ˆ A.

## 5 Matrix Polynomial Algebras

Let V = { V ij } 1 ≤ i,j ≤ r be vector spaces with basis { x ij ( ) l } 1 ≤ ≤ l n ij ⊂ V ij . We put T i k r ( V ) = ( V ij ) ⊗ k r i for i &gt; 0 and T 0 k r = k . r

We define the (certainly not) free matrix polynomial algebra by the following:

Definition 4. The Free r × r Matrix Polynomial Algebra in N = ( n ij ) variables is the algebra

$$k \langle N \rangle = \oplus _ { i \geq 0 } T _ { k ^ { r } } ^ { i } ( V ).$$

We see that this is a k r -algebra which is augmented over k r by sending x ij ( ) l to 0 for all i, j, l, so that k N 〈 〉 fits in the diagram

/d47

/d47

/d34

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.01034v2-figure-20b005a7-2c46-4aed-b860-b5d756ec0692.jpg)

/d34

/d15

/d15

We let m = ker ρ and can copy the algorithms from Sections 3 and 4 word by word.

Lemma 2. Let A be a k r -algebra augmented over k , r and let a ⊆ A be an ideal. Then a = ⊕ 1 ≤ i,j ≤ r a ij ⊆ A ij where a ij = e i a e . j

Proof. This follows trivially because a is a (two-sided) ideal and so contains the subideal generated by de idempotents.

## 6 GMMP-algebras

Definition 5. A GMMP-algebra consists of the data ( V, W, ∪ , d ) where V, W are vector spaces over a field k and ∪ : V ⊗ k V → W, d : V → W are linear maps. A morphism from ( V, W, ∪ , d ) to ( V , W , ′ ′ ∪ ′ , d ′ ) consists of a pair of linear maps φ : V → V , ′ ψ : W → W ′ such that the following diagrams commutes:

/d47

/d47

/d47

/d47

/d15

/d15

/d15

/d15

/d15

/d15

/d15

/d15

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.01034v2-figure-a13c6d0b-1bb5-4651-bc15-21f489129189.jpg)

/d47

/d47

/d47

/d47

For a GMMP-algebra L = ( V, W, ∪ , d ) , if X = { x , . . . , x 1 n } ⊆ V is a linearly independent set, we let B = { x i 1 ∪···∪ x i l | l ≥ 0 , 1 ≤ i d ≤ n, 1 ≤ d ≤ } l . Then B is the set of all monomials in W under the product ∪ .

Definition 6. A GMMP-algebra L = ( V, W, ∪ , d ) is called polynomial with respect to a linearly independent set X ⊆ V if the set B is a basis for a vector space W s ⊇ im d. We write ̂ L = L and say that ̂ L is formal with respect to X, if there is a vector space W , s im d ⊆ W s ⊆ W which is formal with respect to B.

̂ ̂ In the following, given a finitely generated k -algebra A = k x , . . . , x 〈 1 n 〉 / a , we will use m = ( x , . . . , x 1 n ) ⊆ A, and we will always use the name monomial for an element x m 1 1 · · · x m n n ∈ A, m i ∈ N (where we assume 0 ∈ N ). A monomial basis for some subvector space in A means a basis consisting of monomials. Finally, for v , v 1 2 ∈ V we write v v 1 2 = v 1 ∪ v 2 for short.

Definition 7. Let L = ( V, W, ∪ , d ) be a GMMP-algebra and assume that

$$X = \{ v _ { 1 }, \dots, v _ { n } \} \subseteq V$$

is a linearly independent subset.

If L is polynomial with respect to X, let F = k X . 〈 〉 Then the set of monomials in F is a basis of this vector space. For a monomial x = x n 1 1 x n 2 2 · · · x n r r where x i ∈ V, n i ∈ N , 1 ≤ i ≤ r we let m x ( ) = x n 1 1 ∪ · · · ∪ x n 1 r . We use the notation x n = ∪ n i =1 x. Let W s ⊆ W be the subspace spanned by all m x , x ( ) ∈ B, and choose a basis { y i } i ∈ I for W / s im d ∩ W . s Let

$$\mathbb { \Lambda } \cdot \mathbb { \Lambda } \cdot \mathbb { \Lambda } \cdot \mathbb { \Lambda } \cdot \mathbb { \Lambda } \cdot \\ f _ { i } = \sum _ { x \in B } y _ { i } ^ { * } ( m ( x ) ) x \in F, i \in I. \\ \cdot \quad \mathbb { \Lambda } \cdot \mathbb { \Lambda } \cdot \mathbb { \Lambda } \cdot \mathbb { \Lambda } \cdot \mathbb { \Lambda } \cdot \mathbb { \Lambda } \cdot \mathbb { \Lambda } \cdot \mathbb { \Lambda } \cdot \mathbb { \Lambda } \cdot \mathbb { \Lambda } \cdot \mathbb { \Lambda } \cdot \mathbb { \Lambda } \cdot \mathbb { \Lambda } \cdot \mathbb { \Lambda } \cdot \mathbb { \Lambda } \cdot \mathbb { \Lambda } \cdot \mathbb { \Lambda } \cdot \mathbb { \LambDA } \cdot \mathbb { \Lambda } \cdot \mathbb { \Lambda } \cdot \mathbb { \Lambda } \cdot \mathbb { \Lambda } \cdot \mathbb { \Lambda } \cdot \mathbb { \Lambda } \cdot \mathbb { \Lambda } \cdot \mathbb { \Lambda } \cdot \mathbb { \Lambda } \cdot \mathbb { \Lambda } \cdot \mathbb { \Lambda } \cdot \mathbb { \Lambda } \cdot \mathbb { \Lambda } \cdot \mathbb { \Lambda } \cdot \mathbb { \Lambda } \cdot \mathbb { \Lambda } \cdot \mathbb{ \Lambda } \cdot \mathbb { \Lambda } \cdot \mathbb { \Lambda } \cdot \mathbb { \Lambda } \cdot \mathbb { \Lambda } \cdot \mathbb { \Lambda } \cdot \mathbb { \Lambda } \cdot \mathbb { \Lambda } \cdot \mathbb { \Lambda } \cdot \mathbb { \Lambda } \cdot \mathbb { \Lambda } \cdot \mathbb { \Lambda } \cdot \mathbb { \Lambda } \cdot \mathbb { \Lambda } \cdot \mathbb { \Lambda } \cdot \mathbb { \Lambda } \cdot \mathbb { \Lambda } \cd�$$

We define the algebra of A L ( ) to be the algebra F/ f ( i ; i ∈ I ) .

We use the procedure in Section 4 to define a formal algebra ˆ ( A L ) inductively. Let

If W is formal with respect to X , let ˆ = F k 〈〈 X 〉〉 .

$$\overline { H } _ { 0 } = k, \ \overline { H } _ { 1 } = k \langle x _ { 1 }, \dots, x _ { n } \rangle / \mathfrak { m } ^ { 2 }, \ \mathfrak { m } = ( x _ { 1 }, \dots, x _ { n } ).$$

Put B 0 = { 1 } , B 1 = { x , . . . , x 1 n } , B 1 = B 0 ∪ B . 1 Then B 0 is a basis for H , B 0 1 is a basis for m m / 2 and B 1 is a basis for H . 1 We let v 0 = 1 and v x i = v , i 1 ≤ i ≤ n.

Put H 2 = k x , . . . , x 〈 1 n 〉 / m 3 π ′ 2 → H 1 and let B ′ 2 = { x x i j | 1 ≤ i, j ≤ n . } Then B ′ 2 is a basis for ker π / ′ 2 m 3 and B ′ 2 = B 1 ∪ B ′ 2 is a basis for H . 2 This says that for each monomial s ∈ H 2 we have a unique relation

$$\dots \cdots - \dots \cdots \cdots \\ s = \sum _ { t \in \overline { B } _ { 2 } ^ { \prime } } \beta _ { s, t } t.$$

For each t ∈ B ′ 2 let

$$\langle X, t \rangle = \sum _ { s \in \overline { B } _ { 2 } ^ { \prime } } \sum _ { t _ { 1 }, \, t _ { 2 } \in \overline { B } _ { 1 } } \beta _ { s, t } v _ { t _ { 1 } } v _ { t _ { 2 } } \in k \oplus W.$$

Let { y i } i ∈ I be a basis for W/ im d where I is an index set. Let y ∗ i denote the dual of y i and consider the following element in W ⊗ H 2 :

$$d u a l \, o f \, y _ { i } \, a n d \, c o n s i d e r \, t h e \, f o l l o w i n g \, e l e m e n t \, i n \, W \otimes H _ { 2 } \colon \\ \sum _ { n \in \overline { B } _ { 2 } ^ { \prime } } \langle X, n \rangle \otimes n & = \sum _ { n \in \overline { B } _ { 2 } ^ { \prime } } ( \sum _ { i \in I } y _ { i } ^ { * } ( \langle X, n \rangle ) y _ { i } ) \otimes n = \sum _ { n \in \overline { B } _ { 2 } ^ { \prime } } ( \sum _ { i \in I } y _ { i } ^ { * } ( \langle X, n \rangle ) y _ { i } \otimes n ) \\ & = \sum _ { i \in I } y _ { i } \otimes ( \sum _ { n \in \overline { B } _ { 2 } ^ { \prime } } y _ { i } ^ { * } ( \langle X, n \rangle ) n ). \\ \mathcal { E } _ { \infty } \, e a c h \, i \in I \, \text{me out}$$

For each i ∈ I we put

$$\Phi _ { i } ^ { 2 } = \sum _ { t \in \overline { B } _ { 2 } ^ { \prime } } y _ { i } ^ { * } \langle X, t \rangle t \in H _ { 2 }.$$

Let F 2 = ( f 2 i : i ∈ I ) and let

$$\overline { H } _ { 2 } = H _ { 2 } / F ^ { 2 } = k \langle x _ { 1 }, \dots, x _ { n } \rangle / ( \mathfrak { m } ^ { 3 } + F ^ { 2 } ) \stackrel { \pi _ { 2 } } { \to } \overline { H } _ { 1 }$$

and choose a basis B 2 ⊆ B ′ 2 for ker π . 2 Then B 2 = B 1 ∪ B 2 is a basis for H 2 and we have a unique relation in H . 2 For each s ∈ H , 2 s = ∑ t ∈ B 2 β s,t t. The condition in H 2 saying that f 2 i = 0 , i ∈ I, says that for each u ∈ B 2 we can choose an element v u ∈ V such that

$$\Phi \cdot \Phi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi\cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdots \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Phi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi\cdot \Psi\cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdot \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Phi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi\cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdot \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Phi \cdots \Phi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi\cdots \Psi\cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdts \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi \cdots \Psi$$

For N ≥ 2 , assume that H N = k X / F 〈 〉 ( N + m N +1 ) has been constructed together with monomial bases B N , B N . Put

$$H _ { N + 1 } = k \langle x _ { 1 }, \dots, x _ { n } \rangle / ( \mathfrak { m } ^ { N + 2 } + \mathfrak { m } F ^ { N } + F ^ { N } \mathfrak { m } ) \stackrel { \pi ^ { \prime } _ { N } + 1 } { \rightarrow } \overline { H } _ { N }$$

and notice that ker π ′ N +1 is spanned by the set of monomials M = x i · B N ∪ B N · x , i 1 ≤ i ≤ n. We can write

$$\ker \pi _ { N + 1 } ^ { \prime } & = \mathfrak { m } ^ { N + 1 } / ( \mathfrak { m } ^ { N + 2 } + \mathfrak { m } ^ { N + 1 } \cap ( \mathfrak { m } F ^ { N } + F ^ { N } \mathfrak { m } ) ) \bigoplus F ^ { N } / ( \mathfrak { m } F ^ { N } + F ^ { N } \mathfrak { m } ) \\ & = I _ { N + 1 } \oplus F ^ { N } / ( \mathfrak { m } F ^ { N } + F ^ { N } \mathfrak { m } ).$$

Choose a monomial basis B ′ N +1 ⊆ M for I N +1 . By definition the generating polynomials f , i i ∈ I are linearly independent such that when B ′ N +1 = B N ∪

B ′ N +1 then B ′ N +1 ∪ { f i : i ∈ I } is a basis for H N +1 . This says that every monomial s ∈ H N +1 can be uniquely written

$$& \text{and} \, \infty \, \text{and} \, \infty \, \text{by} \, \text{where} \, \text{in} \, \\ & s = \sum _ { t \in \overline { B } _ { N + 1 } ^ { \prime } } \beta _ { s, t } t + \sum _ { i \in I } \beta _ { s, i } f _ { i }.$$

For each t ∈ B ′ N +1 let

$$\ast \times \underset { s \in \overline { B } ^ { \prime } _ { N + 1 } } { \sum } \sum _ { t _ { 1 }, \, t _ { 2 } \, \in \frac { s } { B } ^ { \prime } _ { N } } \beta _ { s, t } v _ { t _ { 1 } } v _ { t _ { 2 } } \in \oplus _ { i = 0 } ^ { N } \mathfrak { m } ^ { i } / \mathfrak { m } ^ { i + 1 } \subseteq k \langle S \rangle / \mathfrak { m } ^ { N + 1 }.$$

Then consider the following element in k X / 〈 〉 im d ⊗ H N +1 :

$$\sum _ { n \in \overline { B } _ { N + 1 } } \langle X, n \rangle \otimes n & = \sum _ { n \in \overline { B } _ { N + 2 } ^ { \prime } } ( \sum _ { i \in I } y _ { i } ^ { * } ( \langle X, n \rangle ) y _ { i } ) \otimes n = \sum _ { n \in \overline { B } _ { N + 1 } } ( \sum _ { i \in I } y _ { i } ^ { * } ( \langle X, n \rangle ) y _ { i } \otimes n ) \\ & = \sum _ { i \in I } y _ { i } \otimes ( f _ { i } ^ { N } + \sum _ { n \in B _ { N + 1 } ^ { \prime } } y _ { i } ^ { * } ( \langle X, n \rangle ) n ). \\ & \text{For each } i \in I \ p u t$$

For each i ∈ I put

$$\ p u _ { i } & & f _ { i } ^ { N + 1 } = f _ { i } ^ { N } + \sum _ { t \in B ^ { \prime } _ { N + 1 } } y _ { i } ^ { * } ( \langle X, t \rangle ) t$$

and define

$$\overline { H } _ { N + 1 } = H ^ { \prime } _ { N + 1 } / ( f _ { i } \, \colon i \in I ) = k \langle X \rangle / F _ { N + 1 } \stackrel { \pi _ { N + 1 } } { \rightarrow } \overline { H } _ { N }.$$

Choose a monomial basis B N +1 for ker π N +1 so that B N +1 = B N +1 ∪ B N is a monomial basis for H N +1 . The condition in H N +1 saying that f N +1 i = 0 , i ∈ I, says that for each u ∈ B N +1 we can choose an element v u ∈ V such that

$$\kappa _ { N + 1 } \ w \circ \alpha n \, \cos \cos \alpha n \, \cos \cos \cos n \, \cos \cos n \, \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \sin \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \ cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \ sin \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \tan \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \colon \\ d ( v _ { u } ) = - \sum _ { t \in \sqrt { B _ { 2 } ^ { \prime } } } \beta _ { t, u } \langle X, t \rangle.$$

Now we define

$$\hat { A } ( L ) = \lim _ { \overleftarrow { n \geq 1 } } \overline { H } _ { N + 1 }.$$

Lemma 3. If there exists n ∈ N such that the v u 's chosen above can be chosen such that v u is zero in all degrees less that /ceilingleft n 2 /ceilingright , then L X /llbracket /rrbracket is algebraic of degree at most n +1 .

Theorem 1. There is a fully faithful functor between the category of k -algebras with countable generator set X and the category of GMMP-algebras with linearly independent set X, L ˆ : Alg k ( X ) → GMMP k ( X , ) with a left inverse

$$\hat { A } _ { X } \colon \text{GMMP} _ { k }$$

i.e. such that ˆ A X ( ˆ L X ( ˆ A X )) /similarequal ˆ A.

Proof. The construction in Section 3 gives the GMMP-algebra with S ⊆ A = V and W = k S . 〈 〉 This also give the reverse equivalence.

Remark 1. Note that ˆ ( ˆ ) A L is unique up to non-unique isomorphism. This is due to the choices of monomial bases at each stage.

Example 1. We give a polynomial GMMP-algebra L = ( V, W, ∪ , d ) with linearly independent set v , v 1 2 by the following.

$$\ v y \ n a e p e n a e n u \ s e t \ v _ {$$

The matrix has the following interpretation: The vector space V is infinite dimensional, with linearly independent subset X = { x, y } . The vector space W is equal to V and both have basis { 1 , x, y, x 2 , xy, yx, y 2 , .. } and further on, where mn = m ∪ n for m,n ∈ V = W. This gives the full description of a GMMPalgebra, and by Definition 7 the computation amounts to compute the relation morphism d WW , choose a basis { y i } i ∈ N for W/ im d WW and then put

$$\begin{array} {$$

$$A ( L ) = k \langle x, y \rangle / ( f _ { i }$$

where f i = ∑ m y ∗ i ( m m ) where m runs through all the monomials in x, y. In this example we find

$$A ( L ) = k \langle x, y \rangle / ( 1 - x ^ {$$

## 7 Completions of Associative Algebras

In commutative algebra, we use the topological concept of completions to form the a -adic completion ˆ A a of a commutative ring in an ideal a ⊂ A. We observe that when we take the completion in a maximal ideal m ⊂ A we obtain a local ring ˆ which by the universal property of localization contains the image of the A local ring A . m This also works for completions in prime ideals p ⊂ A, this is because A p is a local ring. Thus A f ↪ → ˆ A p for each f / ∈ p and so A p ↪ → ˆ A . p For our constructions it is sufficient to consider completion in simple modules.

Let A be an associative k -algebra, let M = { M i } r i =1 be a set of r simple right A -modules.Put

$$V = ( \text{Hom} _ { k } ( A, \text{Hom} _ { k } ( V _ { i }, V _ { j } ) ) ), \ W = ( \text{Hom} _ { k } ( A ^ { \otimes 2 }, \text{Hom} _ { k } ( V _ { i }, V _ { j } ) ) ).$$

Let d : V → W be given by d φ ( )( a 1 ⊗ a 2 ) = a φ a 1 ( 2 ) -φ a ( 1 ) a , 2 and ∪ : V ⊗ k V → W by φ ∪ ψ a ( ⊗ b ) = φ a ( ) ◦ φ b . ( ) Then L = ( V, W, ∪ , d ) is a GMMP-algebra, and it is proved in [1] that if we let X = ( { x ij ( ) l } 1 ≤ ≤ l l ij ) 1 ≤ i,j ≤ r ⊂ V be representatives for a basis for V/ ker d, then the formal GMMP-algebra generated by X.

Theorem 2. With the notation above, let

$$\hat { H } ( M ) = \hat { A } ( X \subset V, W, \cup, d )$$

and put ˆ A M = End ( ˆ ( k H M ) ⊗ k r ⊕ r i =1 M . ) Then there exists an algebra homomorphism ι : A → ˆ A M commuting in the diagram

/d47

/d47

/d37

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.01034v2-figure-a9f33fa7-32d8-43cc-aef1-28f1b8113abb.jpg)

/d37

/d15

/d15

where ρ i : A → End ( k M i ) is the structure morphism and δ is the diagonal.

Proof. This can be proven directly by working in the Hochschild complex, and then it is proved in [1].

Definition 8. Let A be an associative algebra and let M = { M ,... , M 1 r } be a set of r simple right A -modules. Then the completion of A in M is defined as

$$\hat { A } _ { M } = \text{End} _ { k } ( \hat { H } ( M ) \otimes _ { k ^ { r } } \oplus _ { i = 1 } ^ { r } M ),$$

where ˆ ( H M ) = ˆ ( A X ⊂ C 1 ( A,M ,C ) 2 ( A,M , ) ∪ , d ) .

Notice that by Remark 1, ˆ ( H M , ) and thereby ˆ A M is determined upto (nonunique)isomorphism.

Proposition 1. If A is a commutative k -algebra and m ⊂ A a maximal ideal, let M = A/ m . Then we have that ˆ A M /similarequal ˆ A . m

Proof. This follows directly from the fact that the representatives X is a generating set of the maximal ideal m ⊂ A, and so the algebra of the GMMP-algebra is formed by all power-series in variables from X which coincides with the completion in the commutative situation.

## 8 Deformations of modules

Let A be an associative k -algebra, and let M = { M ,... , M 1 r } be a set of right A -modules. We let Art k be the category of r -pointed k -algebras, the objects being k -algebras fitting in the diagram

/d47

/d47

/d32

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.01034v2-figure-182589e1-1f43-490e-a779-c069bbadeb89.jpg)

/d32

/d15

/d15

and such that ker n ρ = (ker ρ ) n = 0 for some n ≥ 1 . The morphisms are algebra homomorphisms commuting with ι and ρ. The category of formal r -pointed k -algebras ̂ Art k consists of r -pointed algebras ˆ such that for all A n ≥ 0 , A/ ker n ρ

is an object in Art k . This says that the objects in ̂ Art k are projective limits of objects in Art k .

Definition 9. A deformation of the set M = { M ,..., M 1 r } to the formal r -pointed algebra S is an S ⊗ k r A -module M S such that M S /similarequal S ⊗ k r ( ⊕ r i =1 M i ) as S -module (which is proved to be equivalent to M S being S -flat in [1]), and such that k r ⊗ S M S /similarequal ⊕ r i =1 M . i This defines the (covariant) noncommutative deformation functor

Proposition 2. ˆ A M is a prorepresenting hull for the deformation functor Def M .

$$\text{Def} _ { M } & \colon \widehat { \text{Art} } _ { k } \rightarrow \text{Sets} \\ \text{prorepresenting hull for the } d \\ \iota \dots \iota \dots \iota \dots \dots \iota \iota \dots \dots$$

Proof. This is proved by direct calculation in [1] by using two different complexes ( C · ( A,M ,d ) ) computing (Ext i A ( M ,M i j )) 1 ≤ i,j ≤ r .

## 8.1 Deformation of GMMP-algebras

Let L = ( X ⊆ V, W, ∪ , d ) be a GMMP algebra, and assume that X is finite. The data of a GMMP-algebra consists of a linear homomorphism ∪ : V ⊗ k V → W, and a linear homomorphism d : V → W. We assume that we can choose ordered bases B ,V V W for V, W respectively, and with this choice of bases the GMMPdata are determined by their matrices with respect to the chosen bases. This says that the pair of (possibly infinite dimensional) matrices

$$( \cup, d ) \in M ( B _ { V } \times B _ { V }, B _ { W } ) \times M ( B _ { V }, B _ { W } )$$

represents a GMMP-algebra.This is a point in

$$k ^ { ( ( B _ { V } \times B _ { V } ) B _ { W } + B _ { V } B _ { W } ) } = k ^ { B }$$

which corresponds to a closed point in A B k . Different choices of bases results in different points representing isomorphic GMMP-algebras. Thus the orbits under the natural action of G = GL ( B V ) × GL ( B W ) on A B k are the isomorphism classes of the GMMP-algebras. Thus we have a commutative ring A on which the abelian group G acts, and each isomorphism class of a GMMP-algebra corresponds to a A G [ ]-module where A G [ ] is the skew polynomial algebra. Then we can deform any GMMP-algebra as an A G [ ]-module. This is described in the book [4].

## 9 Deformation of Algebras

A deformation of any object in any category is a particular kind of lifting of the object in a moduli. The form of the deformation, e.g. the flatness in the situation of modules, is a necessity for existence of a particular kind of moduli.

Given an associative algebra A. Then we can prove that the deformations of L A ( ) stays in the class of moduli of algebras, that is, if L H is a deformation of L A ( ) to H , then L H = L A ( ′ ) for some algebra A ′ and thus A ′ is a deformation of A.

Lemma 4. A deformation of L A ( ) to S ∈ ̂ Art k is a on the form L A ( ′ ) with A ′ a deformation of A to S.

Proof. This follows directly from the requirement of flatness of deformations of modules. All relations must be conserved when deforming.

Corollary 1. To give a deformation of an algebra A to S is equivalent to give a deformation of L A ( ) to S.

Proof. The only thing left to prove is that if A ′ is a deformation of A, then L A ( ′ ) is a deformation of L A . ( ) This follows from the definition on the generators of A.

## References

- [1] E. Eriksen, O. A. Laudal, A. Siqveland, Noncommutative Deformation Theory. Monographs and Research Notes in Mathematics. CRC Press, Boka Raton, FL, 2017
- [2] T. Y. Lam, A first course in noncommutative rings. Second edition. Graduate Texts in Mathematics, 131. Springer-Verlag, New York, 2001. xx+385 pp. ISBN: 0-387-95183-0 MR1838439
- [3] O. A. Laudal, Mathematical models in science, World Scientific Publishing Co. Pte. Ltd., Hackensack, NJ, 2021
- [4] Arvid Siqveland, Associative Algebraic Geometry, World Scientific Publishing Co. Pte. Ltd., Hackensack, NJ, 2023 ISBN: 977-1-80061-354-6
- [5] Arvid Siqveland, Associative Schemes, arXiv:2302.13843
Arvid Siqveland
Countably Generated Matrix Algebras
We define the completion of an associative algebra $A$ in a set
$M=\{M_1,\dots,M_r\}$ of $r$ right $A$-modules in such a way that if $\mathfrak
a\subseteq A$ is an ideal in a commutative ring $A$ the completion $A$ in the
(right) module $A/\mathfrak a$ is $\hat A^M\simeq \hat A^{\mathfrak a}.$ This
works by defining $\hat A^M$ as a formal algebra determined up to a computation
in a category called GMMP-algebras. From deformation theory we get that the
computation results in a formal algebra which is the prorepresenting hull of
the noncommutative deformation functor, and this hull is unique up to
isomorphism.