Budi Surodjo
Department of Mathematics, Universitas Gadjah Mada

Published : 2 Documents Claim Missing Document
Claim Missing Document
Check
Articles

Found 2 Documents
Search

The Necessary and Sufficient Condition of Clean R-Coalgebra e⇀C↼e Nikken Prima Puspita; Indah E Wijayanti; Budi Surodjo
Journal of the Indonesian Mathematical Society VOLUME 28 NUMBER 2 (JULY 2022)
Publisher : IndoMS

Show Abstract | Download Original | Original Source | Check in Google Scholar | DOI: 10.22342/jims.28.2.1066.215-220

Abstract

Let R be a commutative ring with multiplicative identity and C be a coassociative and counital R-coalgebra with the α-condition. A clean comodules defined based on the cleanness on rings and modules. A C-comodule M is a clean comodule if the endomorphism ring of C-comodule M is clean. A clean R-coalgebra C is a clean comodule over itself i.e., if the endomorphism ring of C as a C-comodule is clean. For an idempotent e ∈ R, there are relations between the cleanness of eRe and R. It’s motivated us to investigate this condition for coalgebra. For any C, we can construct the R-coalgebra e ⇀C↼e where e is an idempotent element of dual algebra of C. Here, we show that the clean conditions of C implies the clean property of e ⇀C↼ e and vice versa.
Homomorphisms of Modules over Two Skew Generalized Power Series Rings Ahmad Faisol; Fitriani Fitriani; Muslim Ansori; Budi Surodjo
Journal of the Indonesian Mathematical Society Vol. 32 No. 3 (2026): SEPTEMBER
Publisher : IndoMS

Show Abstract | Download Original | Original Source | Check in Google Scholar | DOI: 10.22342/jims.v32i3.1921

Abstract

Let R and R' be rings with identity and let S be a strictly ordered monoid equipped with twisting homomorphisms into the endomorphism rings of R and R'. Using these data, we consider two skew generalized power series rings associated with R and R'. Starting from an (R,R')-module M, we construct an induced module consisting of generalized power series with coefficients in M and show that it naturally becomes a module over the two skew generalized power series rings through a suitable trilinear action. We then study homomorphisms in this framework. In particular, we prove that every (R,R')-module homomorphism between two modules induces a corresponding homomorphism between their associated generalized power series modules. Furthermore, we provide sufficient conditions describing when a generalized power series belongs to the kernel of the induced homomorphism in terms of the coefficientwise behavior of the original map. These results extend the theory of skew generalized power series modules from the classical single-ring setting to a two-ring context and provide a foundation for further developments, including generalized isomorphism results and related algebraic applications.