Completed Functor 𝑆−1 () of the Localization Functor 𝑆−1(), Isomorphism and Adjunction

This article serves as a continuation of our previous work 1, which remains our primary reference for investigating specific homological properties with completion. Let the rings not be necessarily commutative and the modules be the unitary left (resp. right) modules. Let (G, (Gn) N element of N) be a filtered normal group equipped with the group topology associated with the filtration (Gn)nEN formed of normal subgroups and C(G) the set of Cauchy sequences with values in G. We define an equivalence relation R on C(G) by: (xn)R(yn) (xn)-(yn)= (xn-yn) converges to 0, noted by (xn-yn) 0. The quotient set C(G)/R:+{(xn)| (xn)element of C(G)} denoted G is equipped with a group structure and is called the completed groupe of G. For any filtered ring (resp. left A-module) (A, (In)nelement ofN (resp.(M,(Mn)nelement of N), the completed group A (resp. M) is equipped with a ring structure (resp. A-module) by (an ) x (bn ) = (anbn ) (resp.(an).(mn)=(an.mn)) where (an), (bn) element of A(resp. (mn ) element of M) called completed ring (resp. module) of A (resp. M). And for all saturated multiplicative subset S of A that satisfies the left Ore conditions, S = {(xn) element of A ∣ (xn ) not-equal 0 and ∃ n0 element of N, n greater than or equal to n0,xn element of S} is a saturated multiplicative subset of A that satisfies the left Ore conditions 1. Among the main results of this article, we have : – the functors S-1 () is isomorphic toS-1(A) tensor product A−. and S-1 () is isomorphic to S-1(A) tensor productA−. – the functors Home A(S-1A tensor productAM,−) and HOM A(S-1Atensor productA M,−) are isomorphic. – the functors S-1Atensor productA – and HomA(S-1A,−) are adjoints. This Study Allows How Establish a Relationship Between Completion [2] and Localization [4] Under the Assumptions of a Topological Structure.

Authors

Publication Details

Journal
Indian Journal of Advanced Mathematics
Published
2025-10-29
DOI
https://doi.org/10.54105/ijam.b1214.05021025
Primary Topic
Rings, Modules, and Algebras
Type
article
Field-Weighted Citation Impact
0.00
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

Completed Functor 𝑆−1 () of the Localization Functor 𝑆−1(), Isomorphism and Adjunction

Mamadou Sangharé, Mohamed Ben Faraj Ben Maaouia, Abdoulaye Mane
Indian Journal of Advanced Mathematics
Rings, Modules, and Algebras
article

Completed Functor 𝑆−1 () of the Localization Functor 𝑆−1(), Isomorphism and Adjunction

Mamadou Sangharé, Mohamed Ben Faraj Ben Maaouia, Abdoulaye Mane
article en

Abstract

This article serves as a continuation of our previous work 1, which remains our primary reference for investigating specific homological properties with completion. Let the rings not be necessarily commutative and the modules be the unitary left (resp. right) modules. Let (G, (Gn) N element of N) be a filtered normal group equipped with the group topology associated with the filtration (Gn)nEN formed of normal subgroups and C(G) the set of Cauchy sequences with values in G. We define an equivalence relation R on C(G) by: (xn)R(yn) (xn)-(yn)= (xn-yn) converges to 0, noted by (xn-yn) 0. The quotient set C(G)/R:+{(xn)| (xn)element of C(G)} denoted G is equipped with a group structure and is called the completed groupe of G. For any filtered ring (resp. left A-module) (A, (In)nelement ofN (resp.(M,(Mn)nelement of N), the completed group A (resp. M) is equipped with a ring structure (resp. A-module) by (an ) x (bn ) = (anbn ) (resp.(an).(mn)=(an.mn)) where (an), (bn) element of A(resp. (mn ) element of M) called completed ring (resp. module) of A (resp. M). And for all saturated multiplicative subset S of A that satisfies the left Ore conditions, S = {(xn) element of A ∣ (xn ) not-equal 0 and ∃ n0 element of N, n greater than or equal to n0,xn element of S} is a saturated multiplicative subset of A that satisfies the left Ore conditions 1. Among the main results of this article, we have : – the functors S-1 () is isomorphic toS-1(A) tensor product A−. and S-1 () is isomorphic to S-1(A) tensor productA−. – the functors Home A(S-1A tensor productAM,−) and HOM A(S-1Atensor productA M,−) are isomorphic. – the functors S-1Atensor productA – and HomA(S-1A,−) are adjoints. This Study Allows How Establish a Relationship Between Completion [2] and Localization [4] Under the Assumptions of a Topological Structure.

Indian Journal of Advanced MathematicsVol. 5(2)
Openalex Percentile: Top 61%
Rings, Modules, and Algebras
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.