-
Products of Idempotents in Banach Algebras of Operators
Authors:
Surender K. Jain,
André Leroy,
Ajit Iqbal Singh
Abstract:
Let $X$ be a Banach space and $\mathcal A$ be the Banach algebra $B(X)$ of bounded (i.e. continuous) linear transformations (to be called operators) on
$X$ to itself. Let $\mathcal E$ be the set of idempotents in $\mathcal A$ and $\mathcal S$ be the semigroup generated by $\mathcal E$ under composition as multiplication. If $T\in \mathcal S$ with $0\ne T\ne I_{X}$ then $T$ has a local block repr…
▽ More
Let $X$ be a Banach space and $\mathcal A$ be the Banach algebra $B(X)$ of bounded (i.e. continuous) linear transformations (to be called operators) on
$X$ to itself. Let $\mathcal E$ be the set of idempotents in $\mathcal A$ and $\mathcal S$ be the semigroup generated by $\mathcal E$ under composition as multiplication. If $T\in \mathcal S$ with $0\ne T\ne I_{X}$ then $T$ has a local block representation of the form
$\begin{pmatrix}
T_1 & T_2
0 & 0
\end{pmatrix}$ on $X=Y\oplus Z$, a topological sum of non-zero closed subspaces $Y$ and $Z$ of $X$, and any $A\in \mathcal A$ has the form $\begin{pmatrix}
A_1 & A_2
A_3 & A_4
\end{pmatrix}$
with $T_1,A_1 \in \mathcal B(Y)$, $T_2,A_2\in B(Z,Y), A_3\in B(Y,Z)$, and $A_4 \in \mathcal B(Z)$. The purpose of this paper is to study conditions for $T$ to be in $\mathcal{S}$.
△ Less
Submitted 15 November, 2024;
originally announced November 2024.
-
Decomposition of matrices into product of idempotents and separativity of regular rings
Authors:
S. K. Jain,
A. Leroy
Abstract:
Following O'Meara's result [Journal of Algebra and Its Applications Vol~\textbf{13}, No. 8 (2014)], it follows that the block matrix
$A=\begin{pmatrix}
B & 0
0 & 0
\end{pmatrix} \in M_{n+r}(R)$, $B\in M_n(R)$, $r\ge 1$,
over a von Neumann regular separative ring $R$, is a product of idempotent matrices. Furthermore, this decomposition into idempotents of $A$ also holds when $B$ is an inv…
▽ More
Following O'Meara's result [Journal of Algebra and Its Applications Vol~\textbf{13}, No. 8 (2014)], it follows that the block matrix
$A=\begin{pmatrix}
B & 0
0 & 0
\end{pmatrix} \in M_{n+r}(R)$, $B\in M_n(R)$, $r\ge 1$,
over a von Neumann regular separative ring $R$, is a product of idempotent matrices. Furthermore, this decomposition into idempotents of $A$ also holds when $B$ is an invertible matrix and $R$ is a GE ring (defined by Cohn [New mathematical monographs: {\bf 3}, Cambridge University Press (2006)]). As a consequence, it follows that if there exists an example of a von Neumann regular ring $R$ over which the matrix
$
A=\begin{pmatrix}
B & 0
0 & 0
\end{pmatrix} \in M_{n+r}(R)
$
where $B\in M_n(R)$, $r\ge 1$ , cannot be expressed as a product of idempotents, then $R$ is not separative, thus providing an answer to an open question whether there exists a von Neumann regular ring which is not separative.
The paper concludes with an example of an open question whether every totally nonnegative matrix is a product of nonnegative idempotent matrices.
△ Less
Submitted 16 July, 2024;
originally announced July 2024.
-
Remarks on separativity of regular rings
Authors:
A. Alahmadi,
S. K. Jain,
A. Leroy
Abstract:
Separative von Neumann regular rings exist in abundance. For example, all regular self-injective rings, unit regular rings, regular rings with a polynomial identity are separative. It remains open whether there exists a non-separative regular ring. In this note, we study a variety of conditions under which a von Neumann regular ring is separative. We show that a von Neumann regular ring $R$ is sep…
▽ More
Separative von Neumann regular rings exist in abundance. For example, all regular self-injective rings, unit regular rings, regular rings with a polynomial identity are separative. It remains open whether there exists a non-separative regular ring. In this note, we study a variety of conditions under which a von Neumann regular ring is separative. We show that a von Neumann regular ring $R$ is separative under anyone of the following cases: {\it (1)} $R$ is CS; {\it (2)} $R$ is pseudo injective (auto-injective); {\it (3)} $R$ satisfies the closure extension property: the essential closures in $R$ of two isomorphic right ideals are themselves isomorphic.
We also give another characterization of a regular perspective ring (Proposition 3.3)
△ Less
Submitted 19 April, 2021;
originally announced April 2021.
-
On the Development of a Coupled Non-linear Telegraph-Diffusion Model for Image Restoration
Authors:
Sudeb Majee,
Subit K. Jain,
Rajendra K. Ray,
Ananta K. Majee
Abstract:
In this work, we propose a telegraph coupled partial differential equation (TCPDE) based model for image restoration. New framework interpolates between a couple of non-linear telegraph equation and a parabolic equation. Proposed strategy can be applied to significantly preserve the oscillatory and texture pattern in an image, even in low signal-to-noise ratio. First, we prove that the present mod…
▽ More
In this work, we propose a telegraph coupled partial differential equation (TCPDE) based model for image restoration. New framework interpolates between a couple of non-linear telegraph equation and a parabolic equation. Proposed strategy can be applied to significantly preserve the oscillatory and texture pattern in an image, even in low signal-to-noise ratio. First, we prove that the present model has a unique global weak solution using Banach's fixed point theorem. Then apply our model over a set of gray-level images to illustrate the superiority of the proposed model over the recently developed hyperbolic-parabolic PDE based models as well as coupled diffusion-based model.
△ Less
Submitted 11 September, 2019; v1 submitted 30 August, 2019;
originally announced August 2019.
-
A Fuzzy Edge Detector Driven Telegraph Total Variation Model For Image Despeckling
Authors:
Sudeb Majee,
Subit K Jain,
Rajendra K Ray,
Ananta K Majee
Abstract:
Speckle noise suppression is a challenging and crucial pre-processing stage for higher-level image analysis. In this work, a new attempt has been made using telegraph total variation equation and fuzzy set theory for speckle noise suppression. The intuitionistic fuzzy divergence (IFD) function has been used to distinguish between edges and noise. To the best of the author's knowledge, most of the…
▽ More
Speckle noise suppression is a challenging and crucial pre-processing stage for higher-level image analysis. In this work, a new attempt has been made using telegraph total variation equation and fuzzy set theory for speckle noise suppression. The intuitionistic fuzzy divergence (IFD) function has been used to distinguish between edges and noise. To the best of the author's knowledge, most of the studies on multiplicative speckle noise removal process focus on only diffusion-based filters, and little attention has been paid to the study of fuzzy set theory. The proposed approach enjoy the benefits of both telegraph total variation equation and fuzzy edge detector, which is not only robust to noise but also preserves image structural details. Moreover, we establish the existence and uniqueness of a weak solution of the regularized version of the proposed model using Schauder fixed point theorem. With the proposed model, despeckling is carried out on natural and Synthetic Aperture Radar (SAR) images. The experimental results of the proposed model are reported, which found better in terms of noise suppression and detail/edge preservation, with respect to the existing approaches.
△ Less
Submitted 5 August, 2019; v1 submitted 3 August, 2019;
originally announced August 2019.
-
Analysis and Simulation of a Coupled Diffusion based Image Denoising Model
Authors:
Subit K. Jain,
Sudeb Majee,
Rajendra K. Ray,
Ananta K. Majee
Abstract:
In this study, a new coupled Partial Differential Equation (CPDE) based image denoising model incorporating space-time regularization into non-linear diffusion is proposed. This proposed model is fitted with additive Gaussian noise which performs efficient image smoothing along with the preservation of edges and fine structures. For this purpose, we propose a new functional minimization framework…
▽ More
In this study, a new coupled Partial Differential Equation (CPDE) based image denoising model incorporating space-time regularization into non-linear diffusion is proposed. This proposed model is fitted with additive Gaussian noise which performs efficient image smoothing along with the preservation of edges and fine structures. For this purpose, we propose a new functional minimization framework to remove the image noise, which results in solving a system of three partial differential equations (PDEs). Our proposed model is dissimilar from the existing CPDE models as it includes two additional evolution equations to handle edge strength function and data fidelity term. These two evolution equations control the smoothing process and force the resultant denoised solution to be close to the initial solution. To the best of our knowledge, the proposed model is the only work, which deciphers the combined effect of both the terms using separate PDEs. Furthermore, we establish the existence and uniqueness of a weak solution of the proposed system using the time discretization method with $H^1$ initial data. Finally, we used a generalized weighted average finite difference scheme to efficiently solve the coupled system and experiment results show the effectiveness of the proposed CPDE model.
△ Less
Submitted 7 August, 2019; v1 submitted 10 July, 2019;
originally announced July 2019.
-
Regular elements determined by generalized inverses
Authors:
Adel Alahmadi,
S. K. Jain,
André Leroy
Abstract:
In a semiprime ring, von Neumann regular elements are determined by their inner inverses. In particular, for elements $a,b$ of a von Neumann regular ring $R$, $a=b$ if and only if $I(a)=I(b)$, where $I(x)$ denotes the set of inner inverses of $x\in R$. We also prove that, in a semiprime ring, the same is true for reflexive inverses.
In a semiprime ring, von Neumann regular elements are determined by their inner inverses. In particular, for elements $a,b$ of a von Neumann regular ring $R$, $a=b$ if and only if $I(a)=I(b)$, where $I(x)$ denotes the set of inner inverses of $x\in R$. We also prove that, in a semiprime ring, the same is true for reflexive inverses.
△ Less
Submitted 30 June, 2018; v1 submitted 26 June, 2018;
originally announced June 2018.
-
Matrix wreath products of algebras and embedding theorems
Authors:
Adel Alahmadi,
Hamed Alsulami,
S. K. Jain,
Efim Zelmanov
Abstract:
We introduce a new construction of matrix wreath products of algebras that is similar to wreath products of groups. We then use it to prove embedding theorems for Jacobson radical, nil, and primitive algebras. In §\ref{Section6}, we construct finitely generated nil algebras of arbitrary Gelfand-Kirillov dimension $\geq 8$ over a countable field which answers a question from \cite{8}.
We introduce a new construction of matrix wreath products of algebras that is similar to wreath products of groups. We then use it to prove embedding theorems for Jacobson radical, nil, and primitive algebras. In §\ref{Section6}, we construct finitely generated nil algebras of arbitrary Gelfand-Kirillov dimension $\geq 8$ over a countable field which answers a question from \cite{8}.
△ Less
Submitted 3 April, 2017; v1 submitted 25 March, 2017;
originally announced March 2017.
-
Algebras and semigroups of locally subexponential growth
Authors:
Adel Alahmadi,
Hamed Alsulami,
S. K. Jain,
Efim Zelmanov
Abstract:
We prove that a countable dimensional associative algebra (resp. a countable semigroup) of locally subexponential growth is $M_\infty$-embeddable as a left ideal in a finitely generated algebra (resp. semigroup) of subexponential growth. Moreover, we provide bounds for the growth of the finitely generated algebra (resp. semigroup). The proof is based on a new construction of matrix wreath product…
▽ More
We prove that a countable dimensional associative algebra (resp. a countable semigroup) of locally subexponential growth is $M_\infty$-embeddable as a left ideal in a finitely generated algebra (resp. semigroup) of subexponential growth. Moreover, we provide bounds for the growth of the finitely generated algebra (resp. semigroup). The proof is based on a new construction of matrix wreath product of algebras.
△ Less
Submitted 25 March, 2017;
originally announced March 2017.
-
Indecomposable Decomposition and couniserial dimension
Authors:
A. Ghorbani,
S. K. Jain,
Z. Nazemian
Abstract:
Dimensions like Gelfand, Krull, Goldie have an intrinsic role in the study of theory of rings and modules. They provide useful technical tools for studying their structure. In this paper we define one of the dimensions called couniserial dimension that measures how close a ring or module is to being uniform. Despite their different objectives, it turns out that there are certain common properties…
▽ More
Dimensions like Gelfand, Krull, Goldie have an intrinsic role in the study of theory of rings and modules. They provide useful technical tools for studying their structure. In this paper we define one of the dimensions called couniserial dimension that measures how close a ring or module is to being uniform. Despite their different objectives, it turns out that there are certain common properties between the couniserial dimension and Krull dimension like each module having such a dimension contains a uniform submodule and has finite uniform dimension, among others. Like all dimensions, this is an ordinal valued invariant. Every module of finite length has couniserial dimension and its value lies between the uniform dimension and the length of the module. Modules with countable couniserial dimension are shown to possess indecomposable decomposition. In particular, von Neumann regular ring with countable couniserial dimension is semisimple artinian. If the maximal right quotient ring of a non-singular ring R has a couniserial dimension as an R-module, then R is a semiprime right Goldie ring. As one of the applications, it follows that all right R-modules have couniserial dimension if and only if R is a semisimple artinian ring.
△ Less
Submitted 31 July, 2014;
originally announced August 2014.
-
Finite generation of Lie algebras associated to associative algebras
Authors:
Adel Alahmedi,
Hamed Alsulami,
S. K. Jain,
Efim Zelmanov
Abstract:
Let $F$ be a field of characteristic not $2$ . An associative $F$-algebra $R$ gives rise to the commutator Lie algebra $R^{(-)}=(R,[a,b]=ab-ba).$ If the algebra $R$ is equipped with an involution $*:R\rightarrow R$ then the space of the skew-symmetric elements $K=\{a \in R \mid a^{*}=-a \}$ is a Lie subalgebra of $R^{(-)}.$ In this paper we find sufficient conditions for the Lie algebras $[R,R]$ a…
▽ More
Let $F$ be a field of characteristic not $2$ . An associative $F$-algebra $R$ gives rise to the commutator Lie algebra $R^{(-)}=(R,[a,b]=ab-ba).$ If the algebra $R$ is equipped with an involution $*:R\rightarrow R$ then the space of the skew-symmetric elements $K=\{a \in R \mid a^{*}=-a \}$ is a Lie subalgebra of $R^{(-)}.$ In this paper we find sufficient conditions for the Lie algebras $[R,R]$ and $[K,K]$ to be finitely generated.
△ Less
Submitted 28 April, 2014;
originally announced April 2014.
-
ADS modules
Authors:
Adel Alahmadi,
S. K. Jain,
André Leroy
Abstract:
We study the class of ADS rings and modules introduced by Fuchs. We give some connections between this notion and classical notions such as injectivity and quasi-continuity. A simple ring R such that R is ADS as a right R-module must be either right self-injective or indecomposable as a right R-module. Under certain conditions we can construct a unique ADS hull up to isomorphism. We introduce the…
▽ More
We study the class of ADS rings and modules introduced by Fuchs. We give some connections between this notion and classical notions such as injectivity and quasi-continuity. A simple ring R such that R is ADS as a right R-module must be either right self-injective or indecomposable as a right R-module. Under certain conditions we can construct a unique ADS hull up to isomorphism. We introduce the concept of completely ADS modules and characterize completely ADS semiperfect right modules as direct sum of semisimple and local modules.
△ Less
Submitted 9 July, 2012;
originally announced July 2012.
-
Leavitt Path Algebras of Finite Gelfand-Kirillov Dimension
Authors:
A. Alahmadi,
H. Alsulami,
S. K. Jain,
E. Zelmanov
Abstract:
Groebner-Shirshov basis and Gelfand-Kirillov dimension of the Leavitt path algebra are derived.
Groebner-Shirshov basis and Gelfand-Kirillov dimension of the Leavitt path algebra are derived.
△ Less
Submitted 23 April, 2012;
originally announced April 2012.
-
Shorted Operators Relative to a Partial Order in a Regular Ring
Authors:
Brian Blackwood,
S. K. Jain,
K. M. Prasad,
Ashish K. Srivastava
Abstract:
In this paper, the explicit form of maximal elements, known as shorted operators, in a subring of a von Neumann regular ring has been obtained. As an application of the main theorem, the unique shorted operator (of electrical circuits) which was introduced by Anderson-Trapp has been derived.
In this paper, the explicit form of maximal elements, known as shorted operators, in a subring of a von Neumann regular ring has been obtained. As an application of the main theorem, the unique shorted operator (of electrical circuits) which was introduced by Anderson-Trapp has been derived.
△ Less
Submitted 30 September, 2010;
originally announced October 2010.
-
Rings Over Which Cyclics are Direct Sums of Projective and CS or Noetherian
Authors:
Chris Holston,
Surrender Kumar Jain,
André Leroy
Abstract:
R is called a right WV -ring if each simple right R-module is injective relative to proper cyclics. If R is a right WV -ring, then R is right uniform or a right V -ring. It is shown that for a right WV-ring R, R is right noetherian if and only if each right cyclic module is a direct sum of a projective module and a CS or noetherian module. For a finitely generated module M with projective socle…
▽ More
R is called a right WV -ring if each simple right R-module is injective relative to proper cyclics. If R is a right WV -ring, then R is right uniform or a right V -ring. It is shown that for a right WV-ring R, R is right noetherian if and only if each right cyclic module is a direct sum of a projective module and a CS or noetherian module. For a finitely generated module M with projective socle over a V -ring R such that every subfactor of M is a direct sum of a projective module and a CS or noetherian module, we show M = X \oplus T, where X is semisimple and T is noetherian with zero socle. In the case that M = R, we get R = S \oplus T, where S is a semisimple artinian ring, and T is a direct sum of right noetherian simple rings with zero socle. In addition, if R is a von Neumann regular ring, then it is semisimple artinian.
△ Less
Submitted 23 January, 2010;
originally announced January 2010.
