• Bulletin of the Korean Mathematical Society
• /
• v.28 no.2
• /
• pp.175-180
• /
• 1991

In [3], [4] and [5], Hochster and Huneke introduced the notions of the tight closure of an ideal and of the weak F-regularity of a ring. This notion enabled us to give new proofs of many results in commutative algebra. A regular ring is known to be F-regular, and a Gorenstein local ring is proved to be F-regular provided that one ideal generated by a system of parameters (briefly s.o.p.) is tightly closed. In fact, a Gorenstein local ring is weakly F-regular if and only if there exists a system of parameters ideal which is tightly closed [3]. But we do not know whether this fact is true or not if a ring is not Gorenstein, in particular, a ring is a Cohen Macaulay (briefly C-M) local ring. In this paper, we will prove this in the case of an 1-dimensional C-M local ring. For this, we study the F-rationality and the normality of the ring. And we will also prove that a C-M local ring is to be Gorenstein under some additional condition about the tight closure.

• Communications of the Korean Mathematical Society
• /
• v.36 no.1
• /
• pp.1-10
• /
• 2021

Let R and S be two commutative rings, J be an ideal of S and f : R → S be a ring homomorphism. The amalgamation of R and S along J with respect to f, denoted by R ⋈f J, is the special subring of R × S defined by R ⋈f J = {(a, f(a) + j) | a ∈ R, j ∈ J}. In this paper, we study some basic properties of a special kind of R ⋈f J-modules, called the amalgamation of M and N along J with respect to ��, and defined by M ⋈�� JN := {(m, ��(m) + n) | m ∈ M and n ∈ JN}, where �� : M → N is an R-module homomorphism. The new results generalize some known results on the amalgamation of rings and the duplication of a module along an ideal.

• Kyungpook Mathematical Journal
• /
• v.51 no.1
• /
• pp.69-76
• /
• 2011

In this paper, we introduce a partitioning ideal of a ternary semiring which is useful to develop the quotient structure of ternary semiring. Indeed we prove : 1) The quotient ternary semiring S/$I_{(Q)}$ is essentially independent of choice of Q. 2) If f : S ${\rightarrow}$ S' is a maximal ternary semiring homomorphism, then S/ker $f_{(Q)}$ ${\cong}$ S'. 3) Every partitioning ideal is subtractive. 4) Let I be a Q-ideal of a ternary semiring S. Then A is a subtractive ideal of S with I ${\subseteq}$ A if and only if A/$I_{(Q{\cap}A)}$ = {q + I : q ${\in}$ Q ${\cap}$ A} is a subtractive idea of S/$I_{(Q)}$.

• Bulletin of the Korean Mathematical Society
• /
• v.51 no.4
• /
• pp.1127-1133
• /
• 2014

Let S be a nonempty subset of a ring R. A map $f:R{\rightarrow}R$ is called strong commutativity preserving on S if [f(x), f(y)] = [x, y] for all $x,y{\in}S$, where the symbol [x, y] denotes xy - yx. Bell and Daif proved that if a derivation D of a semiprime ring R is strong commutativity preserving on a nonzero right ideal ${\rho}$ of R, then ${\rho}{\subseteq}Z$, the center of R. Also they proved that if an endomorphism T of a semiprime ring R is strong commutativity preserving on a nonzero two-sided ideal I of R and not identity on the ideal $I{\cup}T^{-1}(I)$, then R contains a nonzero central ideal. This short note shows that the conclusions of Bell and Daif are also true without the additivity of the derivation D and the endomorphism T.

• Journal of Korea Society of Industrial Information Systems
• /
• v.18 no.3
• /
• pp.17-26
• /
• 2013

We have developed an ideal functionality for security requirement of functional encryption schemes. The functionality is needed when we want to show the security of a functional encryption scheme in universal composable (UC) framework. A functionality $F_{fe}$ was developed to represent ideal respond of a functional encryption scheme against any polynomial time active attacker. We show that UC security notion of functional encryption scheme $F_{fe}$ is as strong as fully secure functional encryption in an indistinguishable game with chosen cipher text attack. The proof used a method that showing for any environment algorithm, it can not distinguish ideal world where the attacker play with ideal functionality $F_{fe}$ and real world where the attacker play a fully secure functional encryption scheme.

• Journal of applied mathematics & informatics
• /
• v.39 no.5_6
• /
• pp.761-768
• /
• 2021

Let I be a nonzero ideal of a prime ring R and m, n are positive integers. If R admits a generalized derivation F satisfying F(x)ⁿF(y)^m - xⁿy^m = 0 for any y, x ∈ I, then F(x) = ax for any x ∈ R and a^m+n = 1, where a ∈ C, the extended centroid of R.

• Bulletin of the Korean Mathematical Society
• /
• v.35 no.2
• /
• pp.259-268
• /
• 1998

We give several characterizations of a TV-PVMD and we show that the localization R[X;S]$_{N_{\upsilon}}$ of a semigroup ring R[X;S] is a TV-PVMD if and only if R is a TV-PVMD where $N_{\upsilon}\;=\;\{f\;{\in}\;R[X]{\mid}(A_f)_{\upsilon} = R\}$ and S is a torsion free cancellative semigroup with zero.

• Kyungpook Mathematical Journal
• /
• v.18 no.1
• /
• pp.105-107
• /
• 1978

Considering the prime z-filters on a topological space X through the structures of the ring C(X) of continuous functions. a prime z-filter is uniquely determined by a primary z-ideal in the ring C(X), i. e., they have a one-to-one correspondence. Any primary ideal is contained in a unique maximal ideal in C(X). Denoting $\mathfrak{F}(X)$, $\mathfrak{Q}(X)$, 𝔐(X) the prime, primary-z, maximal spectra, respectively, $\mathfrak{Q}(X)$ is neither an open nor a closed subspace of $\mathfrak{F}(X)$.

• Journal of applied mathematics & informatics
• /
• v.39 no.5_6
• /
• pp.617-622
• /
• 2021

Let R be a commutative ring with identity, R[X] the polynomial ring over R and S a multiplicative subset of R. Let U = {f ∈ R[X] | f is monic} and let N = {f ∈ R[X] | c(f) = R}. In this paper, we show that if S is an anti-Archimedean subset of R, then R is an S-Noetherian ring if and only if R[X]_U is an S-Noetherian ring, if and only if R[X]_N is an S-Noetherian ring. We also prove that if R is an integral domain and R[X]_U is an S-principal ideal domain, then R is an S-principal ideal domain.

• Journal of the Korean Mathematical Society
• /
• v.45 no.4
• /
• pp.965-976
• /
• 2008

In this article, we constructively prove that on a surface S with genus g$\geq$2, there exit maximal geodesic laminations with 7g-7,...,9g-9 leaves. Thus, S can have ideal cell-decompositions (i.e., S can be (ideally) triangulated by maximal geodesic laminations) with 7g-7,...,9g-9 (ideal) 1-cells. Once there is a triangulation for a compact surface, the Euler characteristic for the surface can be calculated as the alternating sum F-E+V, where F, E, and V denote the number of faces, edges, and vertices, respectively. We also prove that the same formula holds for the ideal cell decompositions.