• 대한수학회보
• /
• 제54권3호
• /
• pp.993-1002
• /
• 2017

Let ${\Omega}$ be a bounded, uniformly totally pseudoconvex domain in ${\mathbb{C}}^2$ with the smooth boundary b${\Omega}$. Assuming that ${\Omega}$ satisfies the negative ${\bar{\partial}}$ property. Let M be a positive, finite area divisor of ${\Omega}$. In this paper, we will prove that: if ${\Omega}$ admits a maximal type F and the ${\check{C}}eck$ cohomology class of the second order vanishes in ${\Omega}$, there is a bounded holomorphic function in ${\Omega}$ such that its zero set is M. The proof is based on the method given by Shaw [27].

• 대한수학회보
• /
• 제53권5호
• /
• pp.1309-1325
• /
• 2016

This note focuses on a ring property in which upper and lower nilradicals coincide, as a generalizations of symmetric rings. The concept of symmetric ideal and ring in the noncommutative ring theory was initially introduced by Lambek, as an extension of the usual commutative ideal theory. The investigation of symmetric rings provided many useful results to the study in the noncommutative ring theory. So the results obtained from this study may be applicable to observing the structure of zero divisors in various kinds of algebraic systems containing matrix rings and polynomial rings.

• Korean Journal of Mathematics
• /
• 제30권1호
• /
• pp.53-60
• /
• 2022

Let R be a finite commutative ring with non zero identity. The unit graph of R denoted by G(R) is the graph obtained by setting all the elements of R to be the vertices of a graph and two distinct vertices x and y are adjacent if and only if x + y ∈ U(R), where U(R) denotes the set of units of R. In this paper, we find the commutative rings R for which G(R) is a line graph. Also, we find the rings for which the complements of unit graphs are line graphs.

• 대한수학회지
• /
• 제56권4호
• /
• pp.869-915
• /
• 2019

Let H be a Krull monoid with class group G such that every class contains a prime divisor. Then every nonunit $a{\in}H$ can be written as a finite product of irreducible elements. If $a=u_1{\cdot}\;{\ldots}\;{\cdot}u_k$ with irreducibles $u_1,{\ldots},u_k{\in}H$, then k is called the length of the factorization and the set L(a) of all possible k is the set of lengths of a. It is well-known that the system ${\mathcal{L}}(H)=\{{\mathcal{L}}(a){\mid}a{\in}H\}$ depends only on the class group G. We study the inverse question asking whether the system ${\mathcal{L}}(H)$ is characteristic for the class group. Let H' be a further Krull monoid with class group G' such that every class contains a prime divisor and suppose that ${\mathcal{L}}(H)={\mathcal{L}}(H^{\prime})$. We show that, if one of the groups G and G' is finite and has rank at most two, then G and G' are isomorphic (apart from two well-known exceptions).

• Journal of applied mathematics & informatics
• /
• 제30권3_4호
• /
• pp.365-380
• /
• 2012

Non-negative matrix factorization (NMF) is a very efficient method to explain the relationship between functions for finding basis information of multivariate nonnegative data. The multiplicative update (MU) algorithm is a popular approach to solve the NMF problem, but it fails to approach a stationary point and has inner iteration and zero divisor. So the elementwisely alternating projected gradient (eAPG) algorithm was proposed to overcome the defects. In this paper, we use the fact that the equilibrium point is stable to prove the convergence of the eAPG algorithm. By using a classic model, the equilibrium point is obtained and the invariant sets are constructed to guarantee the integrity of the stability. Finally, the convergence conditions of the eAPG algorithm are obtained, which can accelerate the convergence. In addition, the conditions, which satisfy that the non-zero equilibrium point exists and is stable, can cause that the algorithm converges to different values. Both of them are confirmed in the experiments. And we give the mathematical proof that the eAPG algorithm can reach the appointed precision at the least iterations compared to the MU algorithm. Thus, we theoretically illustrate the advantages of the eAPG algorithm.

• 대한수학회보
• /
• 제44권3호
• /
• pp.407-414
• /
• 2007

In [12], McCoy proved that if R is a commutative ring, then whenever g(x) is a zero-divisor in R[x], there exists a nonzero c $\in$ R such that cg(x) = 0. In this paper, first we extend this result to monoid rings. Then for a monoid M, we give some examples of M-quasi-Armendariz rings which are a generalization of quasi-Armendariz rings. Every reduced ring is M-quasi-Armendariz for any unique product monoid M and any strictly totally ordered monoid $(M,\;{\leq})$. Also $T_4(R)$ is M-quasi-Armendariz when R is reduced and M-Armendariz.

• 대한수학회지
• /
• 제39권4호
• /
• pp.611-620
• /
• 2002

The aim of the Paper is to Obtain information about the flat covers and minimal flat resolutions of Artinian modules over a Noetherian ring. Let R be a commutative Noetherian ring and let A be an Artinian R-module. We prove that the flat cover of a is of the form $\prod_{p\epsilonAtt_R(A)}T-p$, where $Tp$ is the completion of a free R$_{p}$-module. Also, we construct a minimal flat resolution for R/xR-module 0: $_AX$ from a given minimal flat resolution of A, when n is a non-unit and non-zero divisor of R such that A = $\chiA$. This result leads to a description of the structure of a minimal flat resolution for ${H^n}_{\underline{m}}(R)$, nth local cohomology module of R with respect to the ideal $\underline{m}$, over a local Cohen-Macaulay ring (R, $\underline{m}$) of dimension n.

• Journal of applied mathematics & informatics
• /
• 제8권3호
• /
• pp.855-867
• /
• 2001

This note we give a construction of a quotient ring $R/{\mu}$ induced via a fuzzy ideal ${\mu}$ in a ring R. The Fuzzy First, Second and Third Isomorphism Theorems are established. For some applications of this construction of quotient rings, we show that if ${\mu}$ is a fuzzy ideal of a commutative ring R, then $\mu$ is prime (resp. $R/{\mu}$ is a field, every zero divisor in $R/{\mu}$ is nilpotent). Moreover we give a simpler characterization of fuzzy maximal ideal of a ring.

• 대한수학회논문집
• /
• 제38권1호
• /
• pp.55-67
• /
• 2023

In this paper we obtain a new structure of a k-annihilating ideal hypergraph of a reduced ring R, by determine the order and size of a hypergraph 𝒜𝒢_k(R). Also we describe and count the degree of every nontrivial ideal of a ring R containing in vertex set 𝒜(R, k) of a hypergraph 𝒜𝒢_k(R). Furthermore, we prove the diameter of 𝒜𝒢_k(R) must be less than or equal to 2. Finally, we determine the minimal dominating set of a k-annihilating ideal hypergraph of a ring R.

• 대한수학회보
• /
• 제61권3호
• /
• pp.797-811
• /
• 2024

In this paper, we define the torsion graph determined by equivalence classes of torsion elements and denote it by A_E(M). The vertex set of A_E(M) is the set of equivalence classes {[x] | x ∈ T(M)^*}, where two torsion elements x, y ∈ T(M)^* are equivalent if ann(x) = ann(y). Also, two distinct classes [x] and [y] are adjacent in A_E(M), provided that ann(x)ann(y)M = 0. We shall prove that for every torsion finitely generated module M over a Dedekind domain R, a vertex of A_E(M) has degree two if and only if it is an associated prime of M.