• Kyungpook Mathematical Journal
• /
• v.61 no.4
• /
• pp.711-725
• /
• 2021

Let R be a commutative ring with nonzero identity, 𝓘(𝓡) the set of all ideals of R and δ : 𝓘(𝓡) → 𝓘(𝓡) an expansion of ideals of R. In this paper, we introduce the concept of 2-absorbing δ-semiprimary ideals in commutative rings which is an extension of 2-absorbing ideals. A proper ideal I of R is called 2-absorbing δ-semiprimary ideal if whenever a, b, c ∈ R and abc ∈ I, then either ab ∈ δ(I) or bc ∈ δ(I) or ac ∈ δ(I). Many properties and characterizations of 2-absorbing δ-semiprimary ideals are obtained. Furthermore, 2-absorbing δ₁-semiprimary avoidance theorem is proved.

• Bulletin of the Korean Mathematical Society
• /
• v.61 no.1
• /
• pp.83-92
• /
• 2024

Let R be a commutative ring with nonzero identity and M be an R-module. In this paper, we first introduce the concept of S-idempotent element of R. Then we give a relation between S-idempotents of R and clopen sets of S-Zariski topology. After that we define S-pure ideal which is a generalization of the notion of pure ideal. In fact, every pure ideal is S-pure but the converse may not be true. Afterwards, we show that there is a relation between S-pure ideals of R and closed sets of S-Zariski topology that are stable under generalization.

• Communications of the Korean Mathematical Society
• /
• v.39 no.1
• /
• pp.45-58
• /
• 2024

Let R be a commutative ring with identity. If the nilpotent radical N il(R) of R is a divided prime ideal, then R is called a ϕ-ring. Let R be a ϕ-ring and S be a multiplicative subset of R. In this paper, we introduce and study the class of nonnil-S-coherent rings, i.e., the rings in which all finitely generated nonnil ideals are S-finitely presented. Also, we define the concept of ϕ-S-coherent rings. Among other results, we investigate the S-version of Chase's result and Chase Theorem characterization of nonnil-coherent rings. We next study the possible transfer of the nonnil-S-coherent ring property in the amalgamated algebra along an ideal and the trivial ring extension.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.9 no.10
• /
• pp.4250-4267
• /
• 2015

Although many revocable group signature schemes has been proposed in vehicular ad hoc networks (VANETs), the existing schemes suffer from long computation delay on revocation that they cannot adapt to the dynamic VANETs. Based on Chinese remainder theorem and Schnorr signature algorithm, this paper proposes an efficient revocable group signature scheme in VANETs. In the proposed scheme, it only need to update the corresponding group public key when a member quits the group, and in the meanwhile the key pairs of unchanged group members are not influenced. Furthermore, this scheme can achieve privacy protection by making use of blind certificates. Before joining to the VANETs, users register at local trusted agencies (LTAs) with their ID cards to obtain blind certificates. The blind certificate will be submitted to road-side units (RSUs) to verify the legality of users. Thus, the real identities of users can be protected. In addition, if there is a dispute, users can combine to submit open applications to RSUs against a disputed member. And LTAs can determine the real identity of the disputed member. Moreover, since the key pairs employed by a user are different in different groups, attackers are not able to track the movement of users with the obtained public keys in a group. Furthermore, performance analysis shows that proposed scheme has less computation cost than existing schemes.

• Bulletin of the Korean Mathematical Society
• /
• v.35 no.4
• /
• pp.641-652
• /
• 1998

Chung and et al. ([2].1991) introduced a new concept of a manifold, denoted by $^{\ast}g-SEX_n$, in Einstein's n-dimensional $^{\ast}g$-unified field theory. The manifold $^{\ast}g-SEX_n$ is a generalized n-dimensional Riemannian manifold on which the differential geometric structure is imposed by the unified field tensor $^{\ast}g^{\lambda \nu}$ through the SE-connection which is both Einstein and semi-symmetric. In this paper, they proved a necessary and sufficient condition for the unique existence of SE-connection and sufficient condition for the unique existence of SE-connection and presented a beautiful and surveyable tensorial representation of the SE-connection in terms of the tensor $^{\ast}g^{\lambda \nu}$. Recently, Chung and et al.([3],1998) obtained a concise tensorial representation of SE-curvature tensor defined by the SE-connection of $^{\ast}g-SEX_n$ and proved deveral identities involving it. This paper is a direct continuations of [3]. In this paper we derive surveyable tensorial representations of constracted curvature tensors of $^{\ast}g-SEX_n$ and prove several generalized identities involving them. In particular, the first variation of the generalized Bianchi's identity in $^{\ast}g-SEX_n$, proved in theorem (2.10a), has a great deal of useful physical applications.

• Honam Mathematical Journal
• /
• v.35 no.3
• /
• pp.445-506
• /
• 2013

Let ${\sigma}_s(N)$ denote the sum of the s-th power of the positive divisors of N and ${\sigma}_{s,r}(N;m)={\sum_{d{\mid}N\\d{\equiv}r\;mod\;m}}\;d^s$ with $N,m,r,s,d{\in}\mathbb{Z}$, $d,s$ > 0 and $r{\geq}0$. In a celebrated paper [33], Ramanuja proved $\sum_{k=1}^{N-1}{\sigma}_1(k){\sigma}_1(N-k)=\frac{5}{12}{\sigma}_3(N)+\frac{1}{12}{\sigma}_1(N)-\frac{6}{12}N{\sigma}_1(N)$ using elementary arguments. The coefficients' relation in this identity ($\frac{5}{12}+\frac{1}{12}-\frac{6}{12}=0$) motivated us to write this article. In this article, we found the convolution sums $\sum_{k<N/m}{\sigma}_{1,i}(dk;2){\sigma}_{1,j}(N-mk;2)$ for odd and even divisor functions with $i,j=0,1$, $m=1,2,4$, and $d{\mid}m$. If N is an odd positive integer, $i,j=0,1$, $m=1,2,4$, $s=0,1,2$, and $d{\mid}m{\mid}2^s$, then there exist $u,a,b,c{\in}\mathbb{Z}$ satisfying $\sum_{k& lt;2^sN/m}{\sigma}_{1,i}(dk;2){\sigma}_{1,j}(2^sN-mk;2)=\frac{1}{u}[a{\sigma}_3(N)+bN{\sigma}_1(N)+c{\sigma}_1(N)]$ with $a+b+c=0$ and ($u,a,b,c$) = 1(Theorem 1.1). We also give an elementary problem (O) and solve special cases of them in (O) (Corollary 3.27).