On the Left Perpendicular Category of the Modules of Finite Projective Dimension

In this article, we characterize several properties of commutative noetherian local rings in terms of the left perpendicular category of the category of finitely generated modules of finite projective dimension. As an application, we prove that a local ring is regular if (and only if) there exists a strong test module for projectivity having finite projective dimension. We also obtain corresponding results with respect to a semidualizing module.     

The Category of S-Posets

In this paper, we consider some category-theoretic properties of the category Pos-S of all S-posets (posets equipped with a compatible right action of a pomonoid S), with monotone action-preserving maps between them. We first discuss some general category-theoretic ingredients of Pos-S; specifically, we characterize several kinds of epimorphisms and monomorphisms. Then, we present some adjoint relations of Pos-S with Pos, Set, and Act-S. In particular, we discuss free and cofree objects. We also examine other category-theoretic properties, such as cartesian closedness and monadicity. Finally, we consider projectivity in Pos-S with respect to regular epimorphisms and show that it is the same asprojectivity, although projectives are not generally retracts of free objects over posets.     

幺半群的内射类及投射类刻画

类比于一般环上模的内射类,定义了幺半群上的S-系的内射类和投射类,并利用它们刻画了几类特殊的幺半群．证明了完全内射幺半群和完全拟内射幺半群是等价的．并且证明了对于标致幺半群S,它是完全投射的当且仅当它是完全拟投射的当且仅当它上面的投射S-系构成了一个投射类．     

弱Galois扩张与反Smash积

本文对（H,K）-余模代数A，讨论了弱Galois扩张A／C，证明了k的每个自由二次扩张是弱Galois扩张．并利用反Smash积＃op（K，A）与K－余不变子代数C之间的Morita联系讨论A的投射性、Galois扩张及其传递性．     

Free Modules over Cartesian Closed Topological Categories

The construction of free R-modules over a Cartesian closed topological category X is detailed (where R is a ring object in X), and it is shown that the insertion of generators is an embedding. This result extends the well-known construction of free groups, and more generally of free algebras over a Cartesian closed topological category. Mathematics Subject Classifications (2000) 18D15, 18D35, 18A40.     

Modules over rings with a power basis

A homological category is constructed and also a functor into it from the category of finitely generated modules over a ring with a power basis such that from an object that corresponds to a module the latter is uniquely determined to within free direct summands, and from a morphism corresponding to a module homomorphism this homomorphism can be uniquely reconstructed to within norms.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 71, pp. 259–281, 1977.     

Infinite dimensional modules for Frobenius kernels

We prove that the projectivity of an arbitrary (possibly infinite dimensional) module for a Frobenius kernel can be detected by restrictions to one-parameter subgroups. Building upon this result, we introduce the support cone of such a module, extending the construction of support variety for a finite dimensional module, and show that such support cones satisfy most of the familiar properties of support varieties. We also verify that our representation-theoretic definition of support cones admits an interpretation in terms of Rickard idempotent modules associated to thick subcategories of the stable category of finite dimensional modules.     

On monoids over which all generators satisfy a flatness property

This paper addresses conditions under which all generators in the category of right S-acts (where S is a monoid) satisfy a flatness property. There are characterizations for monoids over which all generators satisfy a flatness property α where α can stand for freeness, projectivity, strong flatness, Condition (P), principal weak flatness and torsion freeness. To our knowledge, the problem has not been studied for other flatness properties such as weak flatness, Condition (E) and regularity. The present paper addresses this gap.     

On the nonexistence of free complete distributive lattices

We prove that there is no free object over a countable set in the category of complete distributive lattices with homomorphisms preserving binary meets and arbitrary joins.     

Projectivity of the free Banach lattice generated by a lattice

We study the projectivity of the free Banach lattice generated by a lattice $${\mathbb {L}}$$ in two cases: when the lattice is finite, and when the lattice is an infinite linearly ordered set. We prove that in the first case, it is projective while in the second case, it is not.     

A tale of two categories: Inductive groupoids and cross-connections

A groupoid is a small category in which all morphisms are isomorphisms. An inductive groupoid is a specialized groupoid whose object set is a regular biordered set and the morphisms admit a partial order. A normal category is a specialized small category whose object set is a strict preorder and the morphisms admit a factorization property. A pair of ‘related’ normal categories constitutes a cross-connection. Both inductive groupoids and cross-connections were identified by Nambooripad as categorical models of regular semigroups. We explore the inter-relationship between these seemingly different categorical structures and prove a direct category equivalence between the category of inductive groupoids and the category of cross-connections.     

On Flatness Properties of Torsion Free Right Rees Factor Acts

In this paper, we investigate the monoids over which all torsion free right Rees factor acts satisfy some properties that follow from projectivity(such as (weak) flatness, strong flatness, condition (P), etc.). These results answer the questions in [1].     

Semistable principal bundles-II (positive characteristics)

Let H be a semisimple algebraic group and let X be a smooth projective curve defined over an algebraically closed field k. The principal aim of this paper is to prove the existence and projectivity of the moduli spaces of principal H-bundles on X for fields of characteristic p, p > ψ, where ψ is a certain representation-theoretic index associated to H. The projectivity is a consequence of the semistable reduction theorem for principal H-bundles.     

ON THE EXISTENCE AND NON-EXISTENCE OF COMPLEMENTARY RADICAL AND SEMISIMPLE CLASSES

ABSTRACT

In certain categories of mathematical structures, non-trivial complementary radical classes (torsion classes or connectednesses) can be found. The question is why this is true for some but not for all categories. The answer depends on the embedding of trivial objects into nontrivial objects and is given by our main result: Any ‘reasonable’ category has no non-trivial complementary radical and semisimple classes if and only if for every trivial object T and every non-trivial object A there is a morphism T → A. Roughly, a ‘reasonable’ category in our sense is one with at least one object into which a terminal object can be embedded and has finite products, coproducts or lexicographic products.     

Metrically and topologically projective ideals of Banach algebras

In the present paper, necessary conditions for the metric and topological projectivity of closed ideals of Banach algebras are given. In the case of commutative Banach algebras, a criterion for the metric and topological projectivity of ideals admitting a bounded approximate identity is obtained. The main result of the paper is as follows: a closed ideal of an arbitrary C*-algebra is metrically or topologically projective if and only if it admits a self-adjoint right identity.     

Pre-recursive categories

How can we obtain in a natural way the primitive recursive functions in categories? In this paper, we study the free ‘cartesian closed category with a natural numbers object (in the sense of the Peano-Lawvere axiom)’ generated by the empty category. In this category, every morphism 1 → N represents a natural number and every morphism N → N represents a function. Furthermore, the set of functions represented by the morphisms of this category contains strictly the set of primitive recursive functions and is strictly contained in the set of recursive functions. Then, we see that this category is a categorical version of Grzegorczyk's recursive functionals of finite type, with the addition of product types.     

On Characterization of Monoids by Properties of Generators

Kilp and Knauer in(Comm. Algebra, 1992, 20(7), 1841–1856) gave characterizations of monoids when all generators in category of right S-acts(S is a monoid) satisfy properties such as freeness, projectivity, strong flatness, Condition(P), principal weak flatness, principal weak injectivity, weak injectivity, injectivity, divisibility, strong faithfulness and torsion freeness.Sedaghtjoo in(Semigroup Forum, 2013, 87: 653–662) characterized monoids by some other properties of generators including weak flatness, Condition(E) and regularity. To our knowledge,the problem has not been studied for properties mentioned above of(finitely generated, cyclic,monocyclic, Rees factor) right acts. In this article we answer the question corresponding to these properties and also f g-weak injectivity.     

代数A在子代数A^H上投射的若干充分条件

假设Ｈ是域ｋ上的有限维Ｈｏｐｆ代数,Ａ是Ｈ－模代数,本文刻画了Ａ＾ＨＡ的投射性并给出了Ａ＾ＨＡ是投射的若干充分条件,其中Ａ＾Ｈ是Ａ的Ｈ－不变子代数。     

基于vague集投影及距离的模糊多指标决策

提出了两个vague值投影和距离的概念,并在此基础上给出了考虑指标权重影响的基于vague集投影和距离的多指标模糊决策方法.在这个方法中,利用候选方案在理想方案上的投影和距离来求出最佳方案.此方法与文献现有的应用vague集相似度度量进行决策的方法相比较,新方法更加合理且弥补了现有方法的不足之处.最后对实例进行分析计算,算例验证了该方法的有效性.