Contravariantly finite resolving subcategories of the category of finitely generated modules have been playing an important role in the representation theory of algebras. In this paper we study contravariantly finite resolving subcategories over commutative rings. The main purpose of this paper is to classify contravariantly finite resolving subcategories over a henselian Gorenstein local ring;...

This paper provides computational algorithms for a Korean reflexive caki, for which both sentence-bound and long-distance readings are possible. Its analyses are based on Chierichia's theory in Categorial Grammar, and a CCG-like system is introduced for the implementation. In this system, we can get both readings of caki with the same resolution mechanisms, while the difference is where the ref...

In continuation of the recent developments on extended reversibilities on rings, we initiate here a study on reversible rings with involutions, or, in short, ∗-reversible rings. These rings are symmetric, reversible, reflexive, and semicommutative. In this note we will study some properties and examples of ∗-reversible rings. It is proved here that the polynomial rings of ∗-reversible rings may...

We present a wide class of reflexive, precompact, non-compact, Abelian topological groupsG determined by three requirements. They must have the Baire property, satisfy the open refinement condition, and contain no infinite compact subsets. This combination of properties guarantees that all compact subsets of the dual group G are finite. We also show that many (non-reflexive) precompact Abelian ...

in the present paper‎, ‎we propose an iterative algorithm for‎ ‎solving the generalized $(p,q)$-reflexive solution of the quaternion matrix‎ ‎equation $overset{u}{underset{l=1}{sum}}a_{l}xb_{l}+overset{v} ‎{underset{s=1}{sum}}c_{s}widetilde{x}d_{s}=f$‎. ‎by this iterative algorithm‎, ‎the solvability of the problem can be determined automatically‎. ‎when the‎ ‎matrix equation is consistent over...

In the present paper‎, ‎we propose an iterative algorithm for‎ ‎solving the generalized $(P,Q)$-reflexive solution of the quaternion matrix‎ ‎equation $overset{u}{underset{l=1}{sum}}A_{l}XB_{l}+overset{v} ‎{underset{s=1}{sum}}C_{s}widetilde{X}D_{s}=F$‎. ‎By this iterative algorithm‎, ‎the solvability of the problem can be determined automatically‎. ‎When the‎ ‎matrix equation is consistent over...

Let R be an associative ring with 1 and R the multiplicative group of invertible elements of R. In the paper, subgroups of R which may be regarded as analogues of the similitude group of a non-degenerate sesquilinear reflexive form and of the isometry group of such a form are defined in an abstract way. The main result states that a unipotent abstractly defined similitude must belong to the cor...

Let R be a commutative Noetherian local ring with residue field k. X resolving subcategory of finitely generated R-modules. This paper mainly studies when contains k or consists totally reflexive modules. It is proved that does so if closed under cosyzygies. A conjecture Dao and Takahashi also shown to hold in several cases.

We study the following question: Given two semidualizing complexes B and C over a commutative noetherian ring R, does the vanishing of Ext R (B, C) for n ≫ 0 imply that B is C-reflexive? This question is a natural generalization of one studied by Avramov, Buchweitz, and Şega. We begin by providing conditions equivalent to B being C-reflexive, each of which is slightly stronger than the conditio...

By the Quillen-Suslin theorem [Qui76, Sus76], we know that projective modules over a polynomial ring over a field are free. One way of saying this is, that if two projective modules of the same rank are stably isomorphic, then they are isomorphic. That, projective modules of given rank over polynomial rings are stably isomorphic was well known at the time Quillen and Suslin proved their theorem...