The Construction and Analysis of Linear Ring Spaces

Daniel A. Jaffa

American Community School, Beirut, Lebanon.

DOI: 10.4236/apm.2024.149040                

Abstract

This paper proposes the novel algebraic structure of a linear ring space. A linear ring space is an order triad consisting of two rings, and a linear map between the two rings. The definition of quasi-linearity is discussed, in addition to the examination of properties and classifications of linear ring spaces. Particularly, the ring of holomorphic functions on a region of the complex plane is examined, and the manner in which it generates an iterated linear ring space under the complex derivative operator. This notion is then generalized to all rings with nth order linear and surjective operators. Basic operator theory regarding the classifications of linear ring maps is also covered.

Keywords

Ring Theory, Group Theory, Commutative Algebra, Operator Theory, Holomorphic Functions

1. Introduction

The discovery of ring morphisms by Camille Jordan in 1870 enabled the establishment of comparability in the behavior of binary operators within algebraic structures. However, such morphisms seldom establish a similarity in the elements of each ring, rather, a similarity in structural behavior. This notion provides a basis for the proposition and construction of a further algebraic structure, which establishes a correlation between the elements of two rings through a linear map. Such a structure shall be referred to as a linear ring space.

This paper proposes the aforementioned algebraic structure, whilst examining various properties and particular examples of linear ring spaces. Specifically, this paper will cover the classification of linear ring spaces that possess certain properties, with an emphasis on the ring of holomorphic functions, and the iterated linear ring space generated by said ring.

2. Preliminaries

Definition 2.1. A ring is a set, often denoted throughout the paper by X, with two binary operations, addition ($\oplus$ ) and multiplication ($\otimes$ ), such that $\left\{X,\oplus \right\}$ forms an abelian group and $\left\{X,\otimes \right\}$ forms a semigroup. The two aforementioned binary operations are connected through the distributive laws present within the ring axioms (see [1], chapter I). The ring axioms are as follows:

1) Closed and Commutative Addition: $x+y=y+x\in X$ $\forall x,y\in X$ .

2) Associative Addition: $x+\left(y+z\right)=\left(x+y\right)+z=x+y+z$ $\forall x,y,z\in X$ .

3) Additive Identity: $\exists 0_X\in X$ s.t. $x+0_X=x$ $\forall x\in X$ .

4) Additive Inverse: $\forall x\in X$ $\exists x^{-1}=-x\in X$ s.t. $x+\left(-x\right)=0_X$ .

5) Closed and Associative Multiplication:$x\left(yz\right)=\left(xy\right)z=xyz\in X$ $\forall x,y,z\in X$ .

6) Distributive Laws: $x\left(y+z\right)=xy+xz$ and $\left(x+y\right)z=xz+yz$ $\forall x,y,z\in X$ .

If $\left\{X,\otimes \right\}$ is an abelian semigroup, then $\langle X,\oplus ,\otimes \rangle$ is said to be a commutative ring. A ring with multiplicative inverses for all non-zero elements is referred to as a division ring (see [2], chapter VII). Moreover, a ring with a unique multiplicative identity is referred to as a ring with identity. Commutative division rings with identity are fields.

Throughout this paper, the term ring refers to a ring with identity, unless otherwise stated. Additionally, the notation $\langle X,\oplus ,\otimes \rangle$ will be condensed into X when referring to a ring with implied or evident binary operations that need not explicit definition.

Definition 2.2. Let X be a ring that need not have identity, and $ℳ$ an arbitrary set. The set $ℳ$ forms an X-module, denoted throughout the paper by $\left(ℳ, X\right)$ , if there exists a binary addition operation ($\oplus$ ) on $ℳ$ such that $\left\{ℳ,\oplus \right\}$ forms an abelian group. Furthermore, there must exist an action map of X on $ℳ$ , that functions as a multiplication operation, which adheres to the following axioms:

1) $\left(x+y\right)m=xm+ym$ $\forall x,y\in X$ and $m\in ℳ$ .

2) $\left(xy\right)m=x\left(ym\right)=xym$ $\forall x,y\in X$ and $m\in ℳ$ .

3) $x\left(m+n\right)=xm+xn$ $\forall x\in X$ and $m,n\in ℳ$ .

4) $1_{X}m=m$ $\forall m\in ℳ$ .

Note that axiom 4 is only imposed if X is a ring with identity, otherwise, the axiom is negated in the definition of a module. Additionally, the above axioms define a left X-module, however, the definition of a right X-module is comparable, with multiplication by elements in X on the right. If X is a commutative ring, then the above definition describes a generalized X-module.

It is crucial to note that the action map is defined as $\mu :X\times ℳ\to ℳ$ , indicating that the set $ℳ$ must be closed under X-scalar multiplication (see [3], subsection 0.3).

3. Relatively and Absolutely Linear Ring Spaces

Definition 3.1. Let X and Y be two arbitrary rings, and let $ℒ: X\to Y$ be a map between the two rings. The map $ℒ$ is said to be a quasi-linear map between the two rings if $\forall x,y\in X$ , $ℒ\left(x+y\right)=ℒ\left(x\right)+ℒ\left(y\right)\in Y$ . Whilst an absolutely linear operator must be closed under scalar field multiplication, the above definition of a quasi-linear map negates this property. Note that throughout this paper, the use of the term linear in reference to such maps truly refers to the term quasi-linear.

Definition 3.2. Let X and Y be two arbitrary rings. If there exists a linear map $ℒ$ between these two rings, then X and Y are relatively linear rings under $ℒ$ . Note that if X is relatively linear to Y, this does not necessarily imply that the converse holds true.

Definition 3.3. Let X and Y be two relatively linear rings with respect to the quasi-linear map $ℒ$ . The order triad $\langle X,Y,ℒ\rangle$ consisting of two relatively linear rings, and the linear map between the two rings forms a linear ring space, particularly, a relatively linear ring space.

To further comprehend the notion of relatively linear ring spaces, it is crucial to establish the definition of an absolutely linear ring space. As will be demonstrated further within this section, relatively linear ring spaces function as generalizations of absolutely linear ring spaces.

3.1. Absolutely Linear Ring Spaces

Definition 3.4. Let $\langle X,Y,ℒ\rangle$ be a linear ring space, and $ℛ$ an arbitrary ring of scalars. $\langle X,Y,ℒ\rangle$ is said to be a left linear ring space under $ℛ$ if $\forall x,y\in X$ and $r_1,r_2\in ℛ$ , $ℒ\left(r_{1}x+r_{2}y\right)=r_1ℒ\left(x\right)+r_2ℒ\left(y\right)\in Y$ . Similarly, $\langle X,Y,ℒ\rangle$ is said to be a right linear ring space under $ℛ$ if $\forall x,y\in X$ and $r_1,r_2\in ℛ$ , $ℒ\left(x{r}_1+y{r}_2\right)=ℒ\left(x\right)r_1+ℒ\left(y\right)r_2\in Y$ . If $ℛ$ is a commutative ring, and either of the statements above hold true, then $\langle X,Y,ℒ\rangle$ is an absolutely linear ring space under $ℛ$ , and X is absolutely linear to Y under $ℛ$ .

Theorem 3.1. For commutative, relatively linear rings X and Y, paired with the linear operator $ℒ$ , and arbitrary scalar ring $ℛ$ , if $\langle X,Y,ℒ\rangle$ is a left linear ring space under $ℛ$ , then $\left(X,ℛ\right)$ and $\left(Y,ℛ\right)$ form left $ℛ$ -modules. Similarly, if $\langle X,Y,ℒ\rangle$ is a right linear ring space under $ℛ$ , then $\left(X,ℛ\right)$ and $\left(Y,ℛ\right)$ form right $ℛ$ -modules.

Proof. The above theorem shall be proven for the left module case, as the proof for the further cases follows. Let X and Y be relatively linear commutative rings with respect to the linear map $ℒ$ , and let $ℛ$ be an arbitrary scalar ring. In order for the linear ring space $\langle X,Y,ℒ\rangle$ to be left linear under $ℛ$ , $ℒ\left(r_{1}x+r_{2}y\right)=r_1ℒ\left(x\right)+r_2ℒ\left(y\right)\in Y$ , $\forall x,y\in X$ and $r_1,r_2\in ℛ$ .

Given that $ℒ: X\to Y$ , and that $ℒ\left(r_{1}x+r_{2}y\right)\in Y$ , it must hold that $r_{1}x+r_{2}y\in X$ , which indicates that X is closed under $ℛ$ -scalar multiplication. Moreover, noting that $ℒ\left(x\right)\in Y$ $\forall x\in X$ , it additionally holds that $r_1ℒ\left(x\right)+r_2ℒ\left(y\right)\in Y$ , which further implies that, similar to X, Y is closed under $ℛ$ -scalar multiplication.

The module axioms follow as a result of the addition and multiplication binary operations in $ℛ$ , and the closure of X and Y under $ℛ$ -scalar multiplication. ∎

Example. Consider the ring of real, single-variable, globally differentiable functions, denoted by $\mathfrak{D}$ . Let ${\mathfrak{D}}^{\prime }$ denote the ring of derivatives of the elements in $\mathfrak{D}$ , and $\frac{\text{d}}{\text{d}x}$ the single-variable, real derivative operator.

The linear ring space $\langle \mathfrak{D},{\mathfrak{D}}^{\prime },\frac{\text{d}}{\text{d}x}\rangle$ is absolutely linear under the real field, $ℝ$ . This stems from the derivative being an absolutely linear operator under $ℝ$ , and the closure of $\mathfrak{D}$ and ${\mathfrak{D}}^{\prime }$ under $ℝ$ . It can also be verified that $\left(\mathfrak{D},ℝ\right)$ and $\left({\mathfrak{D}}^{\prime },ℝ\right)$ are both $ℝ$ -modules, however, the proof has been omitted due to its triviality.

3.2. Relatively Linear Ring Spaces

Absolutely linear ring spaces contain linear operators that map between two rings that are closed under a certain scalar ring, as previously discussed. Relatively linear ring spaces generalize this notion to form the broader algebraic structure of linear ring spaces.

Definition 3.5. Let $\langle X,Y,ℒ\rangle$ be a linear ring space. The rings X and Y form a relatively linear ring space under the map $ℒ$ , if $\forall x,y\in X$ , $ℒ\left(x+y\right)=ℒ\left(x\right)+ℒ\left(y\right)\in Y$ . If such a property holds, then X is relatively linear to Y.

By definition 3.5, it is evident that relatively linear ring spaces function as further abstractions of absolutely linear ring spaces.

Theorem 3.2. If X and Y are two rings with homomorphism $\varphi :X\to Y$ , then $\langle X,Y,\varphi \rangle$ forms a relatively linear ring space. i.e. If $X\cong Y\Rightarrow X$ is relatively linear to Y.

Proof. Given that $\varphi$ is a homomorphism, it holds that $\varphi \left(x+y\right)=\varphi \left(x\right)+\varphi \left(y\right)\in Y$ , $\forall x,y\in X$ . This structure preserving property of homomorphisms is exactly the property of linear maps stated in definition 3.1, necessary for the establishment of relative linearity between rings. Hence, $\langle X,Y,\varphi \rangle$ is a relatively linear ring space. ∎

Corollary. If $\varphi :X\to Y$ is an isomorphism, i.e. if X is isomorphic to Y, then X is relatively linear to Y, and Y is relatively linear to X. To restate this, both $\langle X,Y,\varphi \rangle$ and $\langle Y,X,{\varphi }^{-1}\rangle$ are relatively linear ring spaces. This is a direct result of the notion that the inverse of an isomorphism exists and is also an isomorphism.

All homomorphic rings are relatively linear, however, the converse does not necessarily hold true. Linear ring spaces, as such, function as generalizations of homomorphic rings, establishing a correspondence between the elements of distinct rings (see [4], chapter 5).

Proposition. Every ring is relatively linear to itself with respect to the identity map, $ℐ: x\mapsto x$ . Additionally, all rings are absolutely linear to themselves, under themselves, with respect to the identity map. Theorem 3.1 is demonstrated by the fact that all rings form both left and right modules over themselves. Hence, for all rings X, $\langle X,X,ℐ\rangle$ is always an absolutely linear ring space under X.

4. Iterated Linear Ring Spaces

This section discusses the ring of holomorphic functions within a region of the complex plane, and the iterated linear ring space generated by said ring. This concrete example will be utilized in order to establish a generalized definition of iterated linear ring spaces generated by a particular parent ring.

4.1. Linear Ring Space of Holomorphic Functions

Recall that all holomorphic complex valued functions are infinitely complex differentiable, and that the sum, product, and quotient of two holomorphic functions is also holomorphic (see [5]).

Lemma 4.1. Let $ℌ\left(\Omega \right):=\left\{f:\Omega \to ℂ|f\text{is}\text{holomorphic}\text{on}\Omega \right\}$ , where $\Omega \subseteq ℂ$ is a region of the complex plane. $ℌ\left(\Omega \right)$ forms a field.

Proof. As previously established, the sum, product, difference, and quotient of holomorphic functions is also holomorphic, as per the complex derivative rules. Therefore, $ℌ\left(\Omega \right)$ is closed under addition and multiplication, and the set contains both additive and multiplicative inverses (with the exception of $f=0$ ), as per its closure under differences and quotients.

The zero function behaves as the additive identity, as it is holomorphic over the entire complex plane, hence $0\in ℌ\left(\Omega \right)$ for every Ω. Similarly, the function $f=1$ is in fact holomorphic, and resultantly functions as the multiplicative identity for $ℌ\left(\Omega \right)$ .

Furthermore, $ℌ\left(\Omega \right)$ adopts the commutative and associative laws for addition and multiplication from the complex field, as both fields behave in a comparable manner, also adopting the distributive laws, as a result. It has thus been established that $ℌ\left(\Omega \right)$ is a commutative division ring with identity, and, as per definition 2.1, a field. ∎

Lemma 4.2. Let $\frac{\text{d}}{\text{d}z}$ denote the complex derivative operator, and $\widetilde{ℌ}\left(\Omega \right)$ the set of derivatives of elements in $ℌ\left(\Omega \right)$ . $\langle ℌ\left(\Omega \right),\widetilde{ℌ}\left(\Omega \right),\frac{\text{d}}{\text{d}z}\rangle$ forms an absolutely linear ring space under the set of complex numbers.

Proof. By lemma 4.1, $ℌ\left(\Omega \right)$ is a commutative ring, and, by a similar proof that has been omitted, $\widetilde{ℌ}\left(\Omega \right)$ also forms a commutative ring. The complex derivative operator is linear, as per the definition of linearity noted in definition 3.1. Moreover, the ring of holomorphic functions is closed under scalar multiplication by elements of $ℂ$ , and the derivative operator is absolutely linear with respect to said scaling.

Let f and g be two arbitrary elements of $ℌ\left(\Omega \right)$ , with $\alpha ,\beta \in ℂ$ . By the linearity of the derivative operator under complex scaling, it must hold that:

$\frac{\text{d}}{\text{d}z}\left[\alpha f+\beta g\right]=\frac{\text{d}}{\text{d}z}\left[\alpha f\right]+\frac{\text{d}}{\text{d}z}\left[\beta g\right]\in \widetilde{ℌ}\left(\Omega \right)$

which indicates that:

$\begin{array}{l}\alpha \frac{\text{d}}{\text{d}z}\left[f\right]+\beta \frac{\text{d}}{\text{d}z}\left[g\right]\in \widetilde{ℌ}\left(\Omega \right)\\ \Rightarrow \alpha \frac{\text{d}f}{\text{d}z}\in \widetilde{ℌ}\left(\Omega \right)\text{and}\beta \frac{\text{d}g}{\text{d}z}\in \widetilde{ℌ}\left(\Omega \right)\forall f,g\in ℌ\left(\Omega \right)\text{and}\alpha ,\beta \in ℂ\end{array}$

This implies that $\widetilde{ℌ}\left(\Omega \right)$ is closed under complex scalar multiplication. Also note that the commutative nature of $ℌ\left(\Omega \right)$ , $\widetilde{ℌ}\left(\Omega \right)$ , and $ℂ$ enables $ℌ\left(\Omega \right)$ and $\widetilde{ℌ}\left(\Omega \right)$ to be closed under left and right $ℂ$ -scaling. Hence, $\langle ℌ\left(\Omega \right),\widetilde{ℌ}\left(\Omega \right),\frac{\text{d}}{\text{d}z}\rangle$ forms an absolutely linear ring space under $ℂ$ . ∎

Lemma 4.3. Let ${\widetilde{ℌ}}_n\left(\Omega \right)$ denote the set of nth derivatives of elements in $ℌ\left(\Omega \right)$ , and $\frac{{\text{d}}^n}{\text{d}{z}^n}$ the nth order complex derivative operator. $\langle ℌ\left(\Omega \right),{\widetilde{ℌ}}_n\left(\Omega \right),\frac{{\text{d}}^n}{\text{d}{z}^n}\rangle$ forms an absolutely linear ring space under $ℂ$ for all $n\in \mathbb{N}$ .

Proof. This proof shall be completed through induction. The proof for the base case of $n=1$ is presented above in lemma 4.2. Suppose that for $n=k$ , $\langle ℌ\left(\Omega \right),{\widetilde{ℌ}}_k\left(\Omega \right),\frac{{\text{d}}^k}{\text{d}{z}^k}\rangle$ forms an absolutely linear ring space under $ℂ$ , i.e.:

$\frac{{\text{d}}^k}{\text{d}{z}^k}\left[\alpha f+\beta g\right]=\alpha \frac{{\text{d}}^k}{\text{d}{z}^k}\left[f\right]+\beta \frac{{\text{d}}^k}{\text{d}{z}^k}\left[g\right]\in {\widetilde{ℌ}}_k\left(\Omega \right)\forall f,g\in ℌ\left(\Omega \right)\text{and}\alpha ,\beta \in ℂ$

For $n=k+1$ :

$\begin{array}{l}\frac{{\text{d}}^{k+1}}{\text{d}{z}^{k+1}}\left[\alpha f+\beta g\right]=\frac{\text{d}}{\text{d}z}\left[\frac{{\text{d}}^k}{\text{d}{z}^k}\left[\alpha f+\beta g\right]\right]=\frac{\text{d}}{\text{d}z}\left[\alpha \frac{{\text{d}}^k}{\text{d}{z}^k}\left[f\right]+\beta \frac{{\text{d}}^k}{\text{d}{z}^k}\left[g\right]\right]\\ =\frac{\text{d}}{\text{d}z}\left[\alpha \frac{{\text{d}}^k}{\text{d}{z}^k}\left[f\right]\right]+\frac{\text{d}}{\text{d}z}\left[\beta \frac{{\text{d}}^k}{\text{d}{z}^k}\left[g\right]\right]=\alpha \frac{\text{d}}{\text{d}z}\left[\frac{{\text{d}}^k}{\text{d}{z}^k}\left[f\right]\right]+\beta \frac{\text{d}}{\text{d}z}\left[\frac{{\text{d}}^k}{\text{d}{z}^k}\left[g\right]\right]\\ =\alpha \frac{{\text{d}}^{k+1}}{\text{d}{z}^{k+1}}\left[f\right]+\beta \frac{{\text{d}}^{k+1}}{\text{d}{z}^{k+1}}\left[g\right]\in {\widetilde{ℌ}}_{k+1}\left(\Omega \right)\forall f,g\in ℌ\left(\Omega \right)\text{and}\alpha ,\beta \in ℂ\end{array}$

Therefore, the nth order complex derivative operator remains absolutely linear, and ${\widetilde{ℌ}}_n\left(\Omega \right)$ is closed under complex scaling for all $n\in \mathbb{N}$ , which implies that $\langle ℌ\left(\Omega \right),{\widetilde{ℌ}}_n\left(\Omega \right),\frac{{\text{d}}^n}{\text{d}{z}^n}\rangle$ forms an absolutely linear ring space under $ℂ$ . ∎

Corollary. The ring $ℌ\left(\Omega \right)$ generates infinitely many linear ring spaces by repeatedly applying the complex derivative operator. This indicates that $\langle {\widetilde{ℌ}}_n\left(\Omega \right),{\widetilde{ℌ}}_m\left(\Omega \right),\frac{{\text{d}}^{m-n}}{\text{d}{z}^{m-n}}\rangle$ is an absolutely linear ring space $\forall n<m\in \mathbb{N}$ .

Proof. It has been proven in lemma 4.3 that the complex derivative operator retains its linearity under repeated composition. Hence, for all $n\in \mathbb{N}$ , $\frac{{\text{d}}^n}{\text{d}{z}^n}$ is a linear operator. Since $n<m\in \mathbb{N}$ , define $k=m-n\in \mathbb{N}$ , so that $\frac{{\text{d}}^k}{\text{d}{z}^k}$ must be linear. Restating the definition of the two rings:

${\widetilde{ℌ}}_m\left(\Omega \right):=\left\{f:\Omega \to ℂ|f=\frac{{\text{d}}^{m}g}{\text{d}{z}^m}=\frac{{\text{d}}^{n+k}g}{\text{d}{z}^{n+k}}\text{for}\text{some}g\in ℌ\left(\Omega \right)\right\}$

${\widetilde{ℌ}}_n\left(\Omega \right):=\left\{f:\Omega \to ℂ|f=\frac{{\text{d}}^{n}g}{\text{d}{z}^n}\text{for}\text{some}g\in ℌ\left(\Omega \right)\right\}$

This indicates that in order to map ${\widetilde{ℌ}}_n\left(\Omega \right)$ to ${\widetilde{ℌ}}_m\left(\Omega \right)$ , the derivative operator must be applied k times on the elements of ${\widetilde{ℌ}}_n\left(\Omega \right)$ . As noted above, $\frac{{\text{d}}^k}{\text{d}{z}^k}$ is a linear operator, and, as per lemma 4.3, ${\widetilde{ℌ}}_m\left(\Omega \right)$ and ${\widetilde{ℌ}}_n\left(\Omega \right)$ are both closed under $ℂ$ . Therefore, $\langle {\widetilde{ℌ}}_n\left(\Omega \right),{\widetilde{ℌ}}_m\left(\Omega \right),\frac{{\text{d}}^{m-n}}{\text{d}{z}^{m-n}}\rangle$ must be an absolutely linear ring space under $ℂ$ for all $n<m\in \mathbb{N}$ . ∎

In summary, the ring of holomorphic functions on a region Ω of the complex plane is absolutely linear under the complex field to the ring of complex derivatives of $ℌ\left(\Omega \right)$ , with respect to the complex derivative operator. As a matter of fact, $ℌ\left(\Omega \right)$ is absolutely linear to ${\widetilde{ℌ}}_n\left(\Omega \right)$ for all $n\in \mathbb{N}$ , with respect to the nth order complex derivative operator, as it retains its linearity under infinite composition.

Moreover, $\langle {\widetilde{ℌ}}_n\left(\Omega \right),{\widetilde{ℌ}}_m\left(\Omega \right),\frac{{\text{d}}^{m-n}}{\text{d}{z}^{m-n}}\rangle$ forms an absolutely linear ring space under $ℂ$ for all $n<m\in \mathbb{N}$ , and this linear ring space is generated by the parent ring, $ℌ\left(\Omega \right)$ . The ring $ℌ\left(\Omega \right)$ is said to generate an infinitely iterated linear ring space under the infinitely linear complex derivative operator, $\frac{\text{d}}{\text{d}z}$ . This notion shall be further explored and generalized within the following subsection.

4.2. Finitely and Infinitely Iterated Linear Ring Spaces

Definition 4.1. Let $ℒ: X\to Y$ be a linear map between two rings, and ${ℒ}^n$ the composition of $ℒ$ n times. $ℒ$ is said to be an nth order linear operator if it retains its linearity under n compositions for some $n\in \mathbb{N}$ , i.e. ${ℒ}^n$ and all lower order compositions are linear. If $n=\infty$ , then $ℒ$ is said to be an infinitely linear operator.

Definition 4.2. Let $\mathcal{T}: A\to B$ be a surjective operator that maps between two arbitrary sets, and let ${\mathcal{T}}^n$ denote the composition of $\mathcal{T}$ n times. $\mathcal{T}$ is said to be an nth order surjective operator if it remains surjective after n compositions for some $n\in \mathbb{N}$ , i.e. ${\mathcal{T}}^n$ and all lower order compositions are surjective. If $n=\infty$ , then $\mathcal{T}$ is said to be an infinitely surjective operator.

Definition 4.3. Let $\langle X,Y,ℒ\rangle$ be a linear ring space, and let ${\tilde{X}}_n:=codomain\left({ℒ}^n\right)$ . The ring X is said to generate an nth order iterated linear ring space under $ℒ$ if $\langle {\tilde{X}}_a,{\tilde{X}}_b,{ℒ}^{b-a}\rangle$ forms a linear ring space for all $a<b\le n\in \mathbb{N}$ . If $n=\infty$ , then X is said to generate an infinitely iterated linear ring space under $ℒ$ .

Theorem 4.1. Let $\langle X,Y,ℒ\rangle$ be a linear ring space. If $ℒ$ is an nth order linear and surjective operator, then X generates an nth order iterated linear ring space, for some $n\in \mathbb{N}$ .

Proof. This theorem shall be proven for the finite case, however, the proof for the case of $n=\infty$ follows in a comparable manner.

Given that $ℒ$ is an nth order linear and surjective operator, it must hold that $im\left({ℒ}^m\right)=codomain\left({ℒ}^m\right)={\tilde{X}}_m$ for all $m\le n\in \mathbb{N}$ , for some $n\in \mathbb{N}$ , by definition 4.2. Moreover, it must also hold that ${ℒ}^m\left(x+y\right)={ℒ}^m\left(x\right)+{ℒ}^m\left(y\right)$ for all $x,y\in X$ and $m\le n\in \mathbb{N}$ . Hence, $\langle X,{\tilde{X}}_m,{ℒ}^m\rangle$ forms a linear ring space for all $m\le n$ .

Consider the ring ${\tilde{X}}_a$ for some arbitrary $a<n$ . Since $ℒ$ is an nth order surjective operator, describe the ring as ${\tilde{X}}_a:=\left\{{ℒ}^a\left(x\right)|x\in X\right\}$ . Pick some $b\in \mathbb{N}$ , so that $a<b\le n$ . The ring ${\tilde{X}}_b$ may be defined as ${\tilde{X}}_b:=\left\{{ℒ}^b\left(x\right)|x\in X\right\}$ .

Note that for all $x,y\in {\tilde{X}}_a$ , ${ℒ}^{b-a}\left(x+y\right)={ℒ}^{b-a}\left(x\right)+{ℒ}^{b-a}\left(y\right)$ , by definition 4.1. Also recall that $ℒ$ is nth order surjective, so that x and y may be described as $x={ℒ}^a\left(x^{\prime }\right)$ and $y={ℒ}^a\left(y^{\prime }\right)$ for some $x^{\prime },y^{\prime }\in X$ . Substituting yields:

$\begin{array}{c}{ℒ}^b\left(x^{\prime }\right)+{ℒ}^b\left(y^{\prime }\right)={ℒ}^{b-a}\left({ℒ}^a\left(x^{\prime }\right)+{ℒ}^a\left(y^{\prime }\right)\right)\\ ={ℒ}^{b-a}\left({ℒ}^a\left(x^{\prime }\right)\right)+{ℒ}^{b-a}\left({ℒ}^a\left(y^{\prime }\right)\right)\\ ={ℒ}^{b-a}\left(x\right)+{ℒ}^{b-a}\left(y\right)={ℒ}^{b-a}\left(x+y\right)\end{array}$

which implies that ${\tilde{X}}_b$ may be defined as ${\tilde{X}}_b:=\left\{{ℒ}^{b-a}\left(x\right)|x\in {\tilde{X}}_a\right\}$ , and that in order to map from ${\tilde{X}}_a\to {\tilde{X}}_b$ , the operator $ℒ$ must be applied $b-a$ times.

Since $b-a\in \mathbb{N}\le n$ , ${ℒ}^{b-a}$ is a linear and surjective operator for all a and b that adhere to the aforementioned conditions. Therefore, $\langle {\tilde{X}}_a,{\tilde{X}}_b,{ℒ}^{b-a}\rangle$ forms a linear ring space for all $a<b\le n$ . ∎

Proposition. The ring of holomorphic functions $ℌ\left(\Omega \right)$ , as defined in lemma 4.1, generates an infinitely iterated linear ring space under the complex derivative operator, $\frac{\text{d}}{\text{d}z}$ . The proof of this proposition is presented throughout subsection 4.1.

Theorem 4.2. Let $ℒ: A\to B$ be a linear, surjective operator between two arbitrary sets A and B. If $ℒ$ is idempotent, i.e., ${ℒ}^2=ℒ$ , then $ℒ$ is an infinitely linear and surjective operator.

Proof. This proof shall be completed through induction. It is given that ${ℒ}^2=ℒ$ , which indicates that ${ℒ}^2$ is linear and surjective, as $ℒ$ is both linear and surjective. Suppose that for $n=k$ , ${ℒ}^k=ℒ$ . For $n=k+1$ :

${ℒ}^{k+1}={ℒ}^kℒ=ℒℒ={ℒ}^2=ℒ$

This indicates that $ℒ$ is surjective and linear for all $n\in \mathbb{N}$ , which roots from the linearity and surjectivity of $ℒ$ itself. Therefore, $ℒ$ is an infinitely linear and surjective operator. ∎

Corollary. Let $ℒ: X\to Y$ be an idempotent, linear and surjective map between two rings. X generates an infinitely iterated linear ring space under $ℒ$ . Since $ℒ$ is idempotent, such an iterated ring space may be written as ${\tilde{X}}_a,{\tilde{X}}_b,ℒ$ for all $a<b\in \mathbb{N}$ . The proof of this corollary has been omitted due to its triviality.

It is crucial to note that it is not necessary for a linear operator to be idempotent in order to be infinitely (or finitely) linear and surjective. This notion is prevalent in the example of the complex derivative operator, as demonstrated in lemma 4.3.

5. Discussion

A linear ring space is an ordered triad consisting of two rings and a linear map between the two rings. This algebraic structure establishes that two distinct rings share a comparability in elements, along with a similarity in the behavior of the addition binary operation in the two rings, functioning as a generalization of ring homomorphisms. This notion is demonstrated within theorem 3.2 and its corollary. Moreover, particular types of linear ring spaces possess properties that allow the formation of modules and iterations, as is prevalent in the ring of holomorphic functions. The concept of linear ring spaces provides a basis for applications to idempotent and Boolean algebras, and the structural preservation of quasi-linear operators is a powerful generalization of further structure preserving group morphisms.

Acknowledgements

I would like to greatly thank and acknowledge the American Community School of Beirut for consistently providing an excellent educational and research environment.

Conflicts of Interest

The author declares no conflicts of interest regarding the publication of this paper.

References

[1]	Anderson, F.W. and Fuller, K.R. (1992) Rings and Categories of Modules (Graduate Texts in Mathematics, Vol. 13). 2nd Edition, Springer.
[2]	Jacobson, N. (1964) Structure of Rings (Colloquium Publications, Vol. 37). 2nd Edition, AMS Bookstore.
[3]	Eisenbud, D. (1995) Commutative Algebra with a View Toward Algebraic Geometry, Graduate Texts in Mathematics. Springer.
[4]	Cohn, P.M. (1999) Introduction to Ring Theory. Springer.
[5]	Drumea, B. (2023) An Introduction to Holomorphic Functions.