Homological dimension of Rees matrix semigroups in intelligent fuzzy systems

Abstract

We shall consider intelligent homological dimensions of 0-direct union of finite Rees matrix semigroups. First we give some characterizations of Rees matrix semigroup algebras. Then if K is a ring and S has a Rees matrix ideal M, we give the bounds of r.gl.dim K[S] in terms of r.gl.dim K [T_i] and r.gl.dim K[S/M]. The bounds for r.gl.dim K[S] are given, supposing that the finite monoid S is a 0-direct union of some finite Rees matrix semigroups which are in forms of S_i = M (T_i ; I_i ; Λ_i ; P_i). In addition, it is determined that K[S] has finite homological dimension if and only if each T_i has finite homological dimension.

Keywords

Homological dimension *-ideal chain primitively decomposable abundant semigroups inverse semigroup intelligent

1 Introduction

Let Y be a left R-module. The projective dimension pd(Y) is a minimum integer n in order that there exists a resolution of Y by projective modules. $0 \to X_{n} \to \dots \to X_{1} \to X_{0} \to Y \to 0 .$

The definitions of the injective dimension id (Y) and flat dimension fd(Y) are given Similarly. If no finite resolution exists, we set pd(Y), id(Y) or fd(Y) equal to.

Global Dimension Theorem the numbers are the same in the following situations for any ring R:

sup {id(Y): Y any left R-module}

sup {pd(Y): Y any left R-module}

sup {pd(Y/L): L is a left ideal of Y}

sup { $d : {Ext}_{R}^{d} (A, B) \neq 0$ for some left modules A, B}.

This common number (possibly^∞) is called the (left) global dimension of R, which is described by l.gl.dim R. Bourbaki calls it the homological dimension.

In the similar way, we have the definition of the right global dimension. Assume that R is a commutative ring, l.gl.dim R=r.gl.dim R. Clearly l.gl.dim R=0 means that ring R is both semisimple and Artinian.

The upper bound of l.gl.dim K[S] is given, where S is a finite regular semigroup and ring K is commutative (Nico. W.R.1971, 1972). In (Kuzmanovich. J., Teply. M.L. 1997), Kuzmanovich, etc. discussed bounds of l.gl.dim K[S], where S is a monoid with a series of ideals in order that every factor is a finite nonnull Rees matrix semigroup. Jespers and Wang discovered an upper bound of the l.gl.dim of the contracted semigroup algebra, where the monoid has a chain of ideals which factors are nonnull Rees matrix semigroups (Jespers. E., Wang. Q. 2000). S.Margolis, B.Steinberg applied homological methods to exactly obtain the quiver of a right regular band (Margolis. S., Steinberg. B. 2011).

In this paper, for S a finite monoid, first we give some characterizations of Rees matrix semigroup algebras. Then if K is a ring and S has a Rees matrix ideal M, we give the bounds of r.gl.dim K[S] in terms of r.gl.dim K [T_i] and r.gl.dim K[S/M]. If a finite monoid S is a 0-direct union of some finite Rees matrix semigroups, which are in the forms of S_i = M (T_i ; I_i ; Λ_i ; P_i), we obtain bounds for r.gl.dim K[S] in terms of r.gl.dim K [T_i] and K where T_i ⊂ S_i is a monoid. In addition, it is determined that K[S] has finite homological dimension if and only if each T_i has finite homological dimension.

2 Rees matrix semigroups

In the paper we use the notions and terminologies of Howie (Howie. J.M. 1976) and Weibel.

Assume that S is a monoid which has identity 1, zero element 0 and group of units U (S). Assume that Λ, I are sets which are not empty and P is a Λ × I matrix over S with entries p_λi where (λ, i) ∈ Λ × I. Then semigroup M = X (S ; I ; Λ ; P) is the set of triples I × S × Λ with a adjoint zero element. The elements in the form of (i, 0, λ) are also described as 0. A multiplication in M is defined as follows: $(i, x, λ) (j, y, μ) = {\begin{matrix} (i, {xp}_{λ j} y, μ) & if p_{λ j} \neq 0, \\ 0 & otherwise . \end{matrix}$

The matrix P is named regular if every column and every row have an element from U (S). All of these type semigroups can be supposed to be over a monoid and to have regular sandwich matrices. The set of idempotents is described by E or E (M). Let $P (M) = {(i, x, λ) : x = p_{λ i}^{- 1}, p_{λ i} \in U (S)} \cup {0} .$

A monoid which is with a unique idempotent is called unipotent monoid.

Relations and are defined as follows: $\begin{matrix} (i, x, λ) \tilde{L} (j, y, μ) if and only if \\ (for every e \in P), \\ (i, x, λ) e = (i, x, λ) \Leftrightarrow (j, y, μ) e = (j, y, μ) \end{matrix}$

$\begin{matrix} (i, x, λ) \tilde{R} (j, y, μ) if and only if \\ (for every e \in P), \\ e (i, x, λ) \Leftrightarrow e (j, y, μ) = (j, y, μ) \end{matrix}$

Obviously, $\tilde{L}$ and $\tilde{R}$ is equivalence relation on S. Moreover, we have the two equivalences $\tilde{H} = \tilde{L} \land \tilde{R}$ and $\tilde{D} = \tilde{L} \lor \tilde{R}$ .

The following lemmas give the properties of Rees matrix semigroups.

Lemma 1.1. (Lawson. M. 1990) If (i, x, λ), (j, y, μ) ∈ S, then $\begin{matrix} (1) (i, x, λ) \tilde{L} (j, y, μ) if and only if \\ (i, x, λ) = (j, y, μ) = 0 \end{matrix}$ or both elements are nonzero and λ = μ. or both elements are nonzero and i = j. $\begin{matrix} (2) (i, x, λ) \tilde{R} (j, y, μ) if and only \\ if (i, x, λ) = (j, y, μ) = 0 \end{matrix}$ $\begin{matrix} (3) If (a, b) \in \tilde{L}, y \in M, and ay, by \neq 0, \\ then (ay, by) \in \tilde{L} . \end{matrix}$ $\begin{matrix} (4) If (a, b) \in \tilde{R}, y \in M, and ya, yb \neq 0, \\ then (ya, yb) \in \tilde{R} . \end{matrix}$

Lemma 1.2. (Lawson. M. 1990)

All the elements of P (S) ∖ {0} are D-related.

If e ∈ P (S) , e ≠ o, then eSe ≅ M.

Lemma 1.3. Let M = M⁰ (S ; I ; Λ ; P), where S is a monoid with zero and P is a Λ × I-matrix in order that every column and every row contains at least one invertible element from S, containing at least one $\tilde{L}$ -class and at least one $\tilde{R}$ -class. Then for every $\tilde{L}$ of M, there is a $\tilde{R}$ satisfying:

$\tilde{L} \tilde{R} = M$ .

$\tilde{R} \tilde{L}$ is a monoid with zero.

Proof. (i) Since M = M⁰ (S ; I ; Λ ; P), then $M ∖ {0} = \cup {{\tilde{H}}_{i λ} : (i, λ) \in I \times Λ}$ , where ${\tilde{H}}_{i λ}$ is a nonzero $\tilde{H}$ -class of M. Assume $\tilde{L}$ is a $\tilde{L}$ -class of M. Since P is regular, choose a $\tilde{R}$ -class $\tilde{R}$ such that $\tilde{H}$ which contains an idempotent e coincidence to the identity of M. By the proof of Theorem 3.6 in (Lawson. M. 1990), there exists left or right multiplication by regular elements from ${\tilde{H}}_{e}$ to other $\tilde{H}$ -classes, Hence $\tilde{L} \tilde{R} = M$ .

We have now chosen $\tilde{R}$ such that $\tilde{L} \tilde{R} = M$ . Notice that $\tilde{R} \tilde{L} \subseteq \tilde{R} \cap \tilde{L}$ . Let $a \in \tilde{R} \cap \tilde{L}$ . By the hypothesis, since M is Rees matrix semigroup, there exists an idempotent e of M in order that e $\tilde{R}$ a. Since $e \in \tilde{R}$ , $a \in \tilde{L}$ so that $a = ea \in \tilde{R} \tilde{L}$ . Hence $\tilde{R} \tilde{L} = \tilde{R} \cap \tilde{L}$ , that is $\tilde{R} \tilde{L}$ is a $\tilde{H}$ -class of M with identity e. So $\tilde{R} \tilde{L}$ is a monoid with zero.□

Lemma 1.4. (Weibel. C.A. 1994) Let f : M → R be a ring map, A be an R-module. Then as an M-module ${pd}_{M} (A) \leq {pd}_{R} (A) + {pd}_{M} (R)$ equality holds for every A iff it holds for every A such that pd_R (A) ≤1.

Lemma 1.5. (Nico. W.R.1971) Assume that S is a finite semigroup with identity and zero, K is any field, l.gl.dim K[S] = l.gl.dim K₀ [S].

Let {S_α : α ∈ A} be a set of semigroups which have the same zero element 0 in order that S_α ∩ S_β = {0}. Let S = ∪ _α∈AS_α. In the following, we give a multiplication on S: for each x ∈ S_α, y ∈ S_β, $xy = {\begin{matrix} xy, & α = β, \\ 0, & α \neq β . \end{matrix}$

Therefore S is a semigroup and S_αS_β = {0} if α ≠ β. Clearly S is the 0-direct union of the semigroups S_α, α ∈ A.

3 Algebras of Rees matrix semigroup

Let S be a monoid. K[S] is the semigroup algebra. If S has a zero m, then the contracted semigroup algebra is K₀ [S] = K[S]/K[m] and if L is an ideal of S, then K₀ [S/I] = K [S]/K [L].

Assume that M = M⁰ (S ; I ; Λ ; P) is a Rees matrix semigroup, the algebra K[M] can be characterized in the form of matrix type algebras.

Let P be a Λ × I matrix over K. Let M be the set of all I × Λ matrices over K. Then M is a ring, and a multiplication which is given similarly to that of a Rees matrix semigroup; namely $AC = A \circ P \circ C A, C \in M$ where ∘ is the matrix multiplication. Therefore M is the matrix type algebra with sandwich matrix P and is in the form of M = M (K ; I ; Λ ; P).

Lemma 2.1. Assume that M = M⁰ (S ; I ; Λ ; P) is a Rees matrix semigroup over a monoid S. Then the semigroup algebra K [M⁰ (S ; I ; Λ ; P)] is isomorphic to the matrix type algebra M (K [S] ; I, Λ ; P) of the semigroup algebra K[S].

Proof. First of all, define a mapping $\begin{matrix} ϑ : M^{0} (S; I, Λ; P) \to M (K [S]; I, Λ; P), \\ ϑ ((i, x, λ)) \to (a_{jn}) \end{matrix}$

Where a_jn = x if j = i, n = λ and in other case a_jn = 0. It is clear to show that ϑ is a homomorphism into the semigroup of M (K [S] ; I, Λ ; P). Since the images of the elements of M⁰ (S ; I ; Λ ; P) which are nonzero are independent, therefore the extension of ϑ to a homomorphism of K₀ [M⁰ (S ; I, Λ ; P)] → M (K [S] ; I, Λ ; P) is an isomorphism.□

Proposition 2.2. If M = M⁰ (S ; I ; Λ ; P). Then we have

The algebra K₀ [M] has a identity.

I, Λ are finite sets which have the same cardinality, also P is an invertible matrix in M_|I| (K [S]). Moreover, if (1), (2) both hold, therefore K₀ [M] ≅ M_|I| (K [S]).

Proof. Assume that K₀ [M] has a identity element E. Then $XE = X \circ P \circ E = X EY = E \circ P \circ Y = Y$ for every X, Y ∈ M. Hence I = Λ. For if I > Λ, there is a nonzero Λ × I matrix over S such that X ∘ P = 0, which contradicts X ∘ P ∘ E = X ≠ 0. Similarly, Λ > I leads to a contradiction with E ∘ P ∘ Y = Y. It is that P is neither a left nor right divisor of zero in M_|I| (K [S]). Hence M_|I| (K [S]) has an identity and P is invertible.□

Conversely, assume that I, Λ are finite sets which have the same cardinality, Let P be an invertible matrix in M_|I| (K [S]). If P^-1 is an inverse of P in M_|I| (K [S]), E = P^-1 is the identity element in Rees matrix semigroup M.

Following the above lemma, we can have

Proposition 2.3. If S is a monoid with an ideal M satisfied that M is isomorphic to a semigroup which is in the form of M (T ; I, Λ ; P) where T is a monoid having zero and P is a Λ × I-matrix in order that every row and every column contains at least one invertible element from T. Let U = K[M]. Then L is an ideal of K₀ [S] that is satisfied the following properties:

L has an idempotent e satisfied that U = UeU = K₀ [S] eK₀ [S] and eU = eK₀ [S].

U_K₀[S] ≅ ⊕ eU and consequently U_Λ is projective.

The multiplication map Ue ⊗ _{ek₀[S]_e}eU → U is an isomorphism.

ek₀ [S] e^U is projective.

eK₀ [S] e ≅ K [S].

4 The homological dimension of some Rees matrix semigroups algebra

Lemma 3.1. Asuume that S is a semigroup, M = M (T ; I, Λ ; P) is an ideal of a S, where T is a monoid which has zero and P is a Λ × I-matrix satisfied that every row and every column contains at least one invertible element from T. Then max {r.gl.dim eK₀ [S] e, r.gl.dim K₀ [S/M]}≤ r.gl.dim (K₀ [S]) ≤ max {r . gl . dimeK₀ [S] e, r.gl.dim K₀ [S/M] +1} +1.

Proof. Since M = M (T ; I, Λ ; P) is a ideal of S, U = K [M] = M (K [T] ; I, Λ ; P) is an ideal of K[S]. Using Theorem 2.4., U contains an idempotent e such that U = UeU = K₀ [S] eK₀ [S], U_K₀[S] is projective, and ek₀ [S] e^U is projective. Also by Lemma Theorem 2.3. (5), we have that eK₀ [S] e ≅ K [T].□

By Proposition 1.2 of (Shapiro. J. 1993), r.gl.dim K = r.gl.dim eK₀ [S] e $\begin{matrix} \leq r . gl . dim {eK}_{0} [S] e + pd ({Ue}_{{eK}_{0} [S] e}) \\ + fd (_{{eK}_{0} [S] e} eU) = r . gl . \dim K_{0} [S] \end{matrix}$

Assume that M is a right K₀ [S/M]-module with pd (M_K₀[S/M])< ∞. Then by Lemma 1.4,

pd (M_K₀[S])≤ pd (M_K₀[S/M]) +1 < ∞. Apply M ⊗ _K₀[S] to the following short exact sequence $0 \to U \to K_{0} [S] \to K_{0} [S / M] \to 0$ to have the following long exact sequence $\begin{matrix} 0 \to {Tor}_{1}^{K_{0} [S]} (M, K_{0} [S / M]) \to M \otimes_{K_{0} [S]} U \\ \to M \otimes_{K_{0} [S]} K_{0} [S] \to M \otimes_{K_{0} [S]} K_{0} [S / M] \to 0 \end{matrix}$

Since U² = U and since MU = 0, we have M ⊗ _K₀[S]U = 0 and hence ${Tor}_{1}^{K_{0} [S]}$ (M, K₀ [S/M]) =0 .

Since pd (K₀ [S/M]) _K₀[S] ≤ 1, ${Tor}_{p}^{K_{0} [S]} (M, K_{0}$ [S/M]) =0 for all p > 0. If we apply ⊗_K₀[S] (K₀ [S/M]) to a K₀ [S]-projective resolution of the semigroup M, we get a K₀ [S/M]-projective resolution of M; hence pd (M_{K₀[S/M])≤pd(M_K₀[S]}). Thus r.gl.dim K₀ [S/M]≤r.gl.dim K₀ [S].

For the other side, if f = 1-e, by Theorem 1.4 of (Shapiro. J. 1993) we can have that $\begin{matrix} r . gl . dim K_{0} [S] \leq max {r . gl . dim {eK}_{0} [S] e + 1, \\ r . gl . dim {fK}_{0} [S] f / fUf + pd (K_{0} [S / M]_{k_{0} [s]}) + 1} . \end{matrix}$

The result follows since ${fK}_{0} [S] f / fUf ≅ K_{0} [S] / U$ If $S = \cup_{i = 1}^{n} S_{i}$ be the 0-direct union of Rees matrix semigroups S_i which is in the forms of S_i = M (T_i ; I_i, Λ_i ; P_i), then $S = I_{0} \supseteq I_{1} = \cup_{k = 1}^{n - 1} S_{k} \supseteq \dots \supseteq I_{n} = S_{n}$ is an ideal chain of S.

Theorem 3.2. If S is a monoid which is the 0-direct union of finite Rees matrix semigroups S_i = (T_i ; I_i, Λ_i ; P_i) and if K is a commutative ring, then:

r.gl.dim K ≤ r.gl.dim K₀ [S]≤ r.gl.dim K+2n-2.

The r.gl.dim K₀ [S]≤ is finite iff every T_i has the finite global dimension.

Proof. We apply the induction method on n.□

Assume n = 1, then S = (T ; I, Λ ; P). Since T is a monoid which has an identity, and in this case I = Λ = 1, Hence S is a semigroup with identity. By Lemma 3.1, we can obtain $\begin{matrix} r . gl . dim {eK}_{0} [S] e \leq r . gl . dim (K_{0} [S]) \\ \leq r . gl . dim {eK}_{0} [S] e + 1 \end{matrix}$

Hence r . gl . dim (K₀ [S]) = r . gl . dim eK₀ [S] e = r . gl . K. Inductively, assume that the result is right for every monoids which is a union of less than n of finite Rees matrix semigroups. If U = K₀ [S_n], then U is an ideal of K₀ [S] and by Theorem 2.3.(5), U has an idempotent e such that U = UeU = K₀ [S] eK₀ [S], U_K₀[S] is projective, and _{_eK0 [S] e}U is projective. Also by Theorem 2.3. (5), we have that eK₀ [S] ≅ K [T_n]. By Lemma 3.1, r . gl . dim eK₀ [S] e = r . gl . dim K. Since K₀ [S]/U ≅ K₀ [S/S_n] , S/S_n has a series of ideals with Rees matrix semigroup factors and by hypothesis the length of the sequence is less than n, the induction hypothesis gives that $\begin{matrix} r . gl . \dim K_{0} [S] / U \leq r . gl . \dim K + 2 (n - 1) - 2 \\ = r . gl . \dim K + 2 n - 4 \end{matrix}$

Consequently, Lemma 3.1 implies that $\begin{matrix} r . gl . \dim K_{0} [S] \leq r . gl . \dim K + 2 n - 4 + 2 \\ = r . gl . \dim K + 2 n - 2 \end{matrix}$

To see the other inequality, observe that again by Lemma 3.1, r . gl . dim K₀ [S] ≥ r . gl . dim eK₀ [S] e = r . gl . dim K. The same method gives a proof of (2), from Lemma 3.1, K₀ [S] has finite global dimension if both eK₀ [S] e and K₀ [S/S_n] do.

Conflict of interest

The author states that there is no conflict of interest in the publication of the paper.

Footnotes

Acknowledgments

This research was supported by Henan Provincial Natural Science Foundation of China (No. 162300410066) and the Doctor Foundation of Henan University of Technology (2013BS031).

References

Nico

W.R.

, Homological dimension in semigroup algebras, J Algebra 18 (1971), 404–413.

Nico

W.R.

, An improved upper bound for global dimensionof semigroup algebras, Proc Am Math Soc 35 (1972), 34–36.

Kuzmanovich

and Teply

M.L.

, Homological dimensions ofsemigroup rings, Commun Algebra 25 (1997), 2817–2837.

Jespers

and Wang

, Hereditary semigroup algebras, J Algebra 229 (2000), 532–546.

Margolis

and Steinberg

, The quiver of an algebra associated to theMantaci-Reutenauer descent algebra and the homology of regularsemigroups, Algebras and Representation Theory 14 (2011), 131–159.

Rota

G.C.

, An introduction to semigroup theory: J.M. Howie, Academic Press, 1976, 272 pp. Advances in Mathematics, 28 (1978), 87–0.

Lawson

, Rees matrix semigroups, Proceedingsof the Edinburgh Mathematical Society 33 (1990), 23–37.

Liu

W.P.

and Li

H.M.

, Normal Rees matrix semigroups over R-left cancellative monoid, Journal of University of Shanghai for Science & Technology 35 (2013), 536–540.

Soroushmehr , Weighted Rees matrix semigroup algebras and their applications, Archiv Der Mathematik 100 (2013), 139–147.

10.

Hila

and Pisha

, On Lattice-Ordered Rees Matrix |£-Semigroups, Annals of the Alexandru Ioan Cuza University - Mathematics 59 (2013), 209–218.

11.

Billhardt

, Giraldes

, Smith

Marques-P.

, et al., A class of unary semigroups admitting a Rees matrix representation, Semigroup Forum 87 (2013), 639–652.

12.

Kilibarda

, Maltcev

and Craik

, Ends for subsemigroups of finite index, Semigroup Forum 91 (2015), 401–414.

13.

Jespers

and Shahzamanian

M.H.

, Finite semigroups that are minimal for not being Malcev nilpotent, Journal of Algebra and Its Applications 13 (2014), 1450063.

14.

Borodzik

and Livingston

, Semigroups, d-invariants and deformations of cuspidal singular points of plane curves, Journal of the London Mathematical Society 93 (2016), 439–463.

15.

Lawson and Mark

, Rees matrix semigroups, Proceedings of the Edinburgh Mathematical Society 33 (1990), 23.

16.

Rahimi

, Ideal extension of semigroups and their compactifications, Mathematical Sciences 8 (2014), 1–4.

17.

, The Translational Hulls of Rees Matrix Semigroups over Monoids, Southeast Asian Bulletin of Mathematics 34 (2010), 309–320.

18.

Indu

R.S.

and John

, Principal ideal graphs of Rees matrix semigroups, Int math forum 57–60 (2012), 2953–2960.

19.

and Yonghua

L.I.

, PCA Blocked Rees Matrix Semigroups, Journal of South China Normal University 1 (2011), 33–38.

20.

Abawajy

, Kelarev

A.V.

, Miller

, et al., Rees semigroups of digraphs for classification of data, Semigroup Forum 92 (2016), 121–134.