Search arXivSearch

arXiv · math/0407497

Universal localization of triangular matrix rings

Abstract

If R is a triangular 2x2 matrix ring, the columns, P and Q, are projective left R-modules. We describe the universal localization of R which makes invertible an R-module morphism P --> Q, generalizing a theorem of A.Schofield. We also describe the universal localization of R-modules.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Desmond Sheiham. 2005-07-09. Universal localization of triangular matrix rings. https://arxiv.org/abs/math/0407497

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

On endoartinian and endonoetherian modules

We investigate endoartinian modules, which satisfy the descending chain condition on endoimages, and establish new characterizations that unify classical and generalized chain conditions. Over commutative rings, endoartinianity coincides with rings satisfying the strongly ACCR* with dim$(R)=0$ and strongly DCCR* conditions. For principally injective rings, the endoartinian and endonoetherian rings are equivalent. Addressing a question of Facchini and Nazemian, we provide a condition under which isoartinian and noetherian rings coincide, and we classify semiprime endoartinian rings as finite products of matrix rings over a division ring. We further show that endoartinianity is equivalent to the Kothe rings over principal ideal rings with central idempotents, and characterize such rings as finite products of artinian uniserial rings.

math.RA

From subtractive ideals of semirings to deductive and inductive sets in general algebras

Kernels of semiring homomorphisms are precisely the subtractive ideals. We extend this decomposition of normality to general algebras by introducing inductive and deductive sets, which turn out to correspond to the two directions of the biconditional in Mal'tsev's criterion for a congruence class. In semirings, inductivity recovers idealhood for subsets containing zero, and deductivity of an ideal recovers subtractivity. Their generation processes, described by polynomials or equivalently by reflexive compatible relations (semicongruences), give two ranks measuring the numbers of steps required uniformly in a variety. We show that apart from the trivial cases, any pair of positive integers or infinity is the inductive-deductive rank pair of some variety. For the variety of semirings, the rank pair is $(1,\infty)$, while for any non-trivial Mal'tsev variety, it is $(1,1)$. For varieties of finite-group actions, inductive rank is expressed exactly in terms of directed Cayley-graph diameters, while deductive rank is related to undirected diameters after symmetrization. We compute both ranks of these action varieties for every finite abelian group in terms of its invariant factors, and obtain their complete spectrum. We also establish special spectrum theorems for subtractive varieties and several classes of ordered algebras. Finally, we characterise structural properties of algebras and varieties by conditions on induction and deduction.

math.RA

Yang-Baxter permutation group actions on distributive Yang-Baxter algebras

Let $(X,r)$ be a distributive set-theoretical solution of the Yang-Baxter equation and $\mathcal{A}(X,r)$ the associated Yang-Baxter algebra. We prove that $\mathcal{A}(X,r)$ is isomorphic to a skew polynomial algebra and compute its Nakayama automorphism explicitly. We study the action of the permutation group $\mathcal{G}(X,r)$. It induces a subgroup $\overline{\mathcal{G}}\subseteq\operatorname{Aut}(\mathcal{A}(X,r))$, the induced automorphism group, for which $\mathcal{A}(X,r)$ is a faithful module. We characterize when $\overline{\mathcal{G}}$ is a reflection group and, in that case, describe the invariant subalgebra $\mathcal{A}(X,r)^{\overline{\mathcal{G}}}$ together with its Jacobian, reflection arrangement and discriminant. We further establish the Auslander theorem for a large class of distributive Yang-Baxter algebras. Finally, for a class of nontrivial distributive Yang--Baxter algebras, we obtain a lower bound for the pertinency of the group action induced by the permutation group.

math.RA