A matrix $Pintextmd{C}^{ntimes n}$ is called a generalized reflection matrix if $P^{H}=P$ and $P^{2}=I$‎. ‎An $ntimes n$‎ ‎complex matrix $A$ is said to be a reflexive (anti-reflexive) matrix with respect to the generalized reflection matrix $P$ if $A=PAP$ ($A=-PAP$)‎. ‎In this paper‎, ‎we introduce two iterative methods for solving the pair of matrix equations $AXB=C$ and $DXE=F$ over reflexiv...

We prove that the notions of finite strict singularity, strict singularity and weak compactness coincide for operators defined on various spaces: the disc algebra, subspaces of C(K) with reflexive annihilator and subspaces of the Morse-TransueOrlicz space Mq (Ω, μ) with q > 2.

Let R be a commutative noetherian local ring that is not Gorenstein. It is known that the category of totally reflexive modules over R is representation infinite, provided that it contains a non-free module. The main goal of this paper is to understand how complex the category of totally reflexive modules can be in this situation. Local rings (R, m) with m3 = 0 are commonly regarded as the stru...

Let R be a commutative ring whose complete ring of quotients is Rinjective. We show that the category of topological R-modules contains a full subcategory that is ∗-autonomous using R itself as dualizing object. In order to do this, we develop a new variation on the category chu(D, R), where D is the category of discrete R-modules: the high wide subcategory, which we show equivalent to the cate...

We present a new implementation of a reflexive tactic which solves equalities in a ring structure inside the Coq system. The efficiency is improved to a point that we can now prove equalities that were previously beyond reach. A special care has been taken to implement efficient algorithms while keeping the complexity of the correctness proofs low. This leads to a single tool, with a single imp...

The aim of this paper is to show that the automorphism and isometry groups of the suspension of B(H), H being a separable infinite dimensional Hilbert space, are algebraically reflexive. This means that every local automorphism, respectively local surjective isometry of C0(R) ⊗ B(H) is an automorphism, respectively a surjective isometry.

a matrix $pintextmd{c}^{ntimes n}$ is called a generalized reflection matrix if $p^{h}=p$ and $p^{2}=i$‎. ‎an $ntimes n$‎ ‎complex matrix $a$ is said to be a reflexive (anti-reflexive) matrix with respect to the generalized reflection matrix $p$ if $a=pap$ ($a=-pap$)‎. ‎in this paper‎, ‎we introduce two iterative methods for solving the pair of matrix equations $axb=c$ and $dxe=f$ over reflexiv...

We define very proper intersections of modules and projective subschemes. It turns out that equidimensional locally Cohen-Macaulay modules intersect very properly if and only if they intersect properly. We prove a Bezout theorem for modules which meet very properly. Furthermore, we show for equidimensional subschemes X and Y : If they intersect properly in an arithmetically Cohen-Macaulay subsc...