• Bulletin of the Korean Mathematical Society
• /
• v.50 no.5
• /
• pp.1753-1763
• /
• 2013

In this paper, we show that tree products of certain subgroup separable groups amalgamating normal subgroups are cyclic subgroup separable. We then extend this result to certain graph product of certain subgroup separable groups amalgamating normal subgroups, that is we show that if the graph has exactly one cycle and the cycle is of length at least four, then the graph product is cyclic subgroup separable.

• Kyungpook Mathematical Journal
• /
• v.58 no.3
• /
• pp.433-451
• /
• 2018

In this paper, we study the toroidality of the comaximal graphs of a finite lattice.

• Bulletin of the Korean Mathematical Society
• /
• v.53 no.4
• /
• pp.1197-1211
• /
• 2016

Let R be a finite commutative ring with nonzero identity. We define ${\Gamma}(R)$ to be the graph with vertex set R in which two distinct vertices x and y are adjacent if and only if there exists a unit element u of R such that x + uy is a unit of R. This graph provides a refinement of the unit and unitary Cayley graphs. In this paper, basic properties of ${\Gamma}(R)$ are obtained and the vertex connectivity and the edge connectivity of ${\Gamma}(R)$ are given. Finally, by a constructive way, we determine when the graph ${\Gamma}(R)$ is Hamiltonian. As a consequence, we show that ${\Gamma}(R)$ has a perfect matching if and only if ${\mid}R{\mid}$ is an even number.

• Journal of IKEEE
• /
• v.3 no.2 s.5
• /
• pp.295-304
• /
• 1999

This paper presents a method of constructing the Multiple-Valued Logic Systems(MVLS) over Finite Fields(FF) using by Decision Diagram(DD) that is based on Graph Theory. The proposed method is as following. First, we derivate the Ordered Multiple-Valued Logic Decision Diagram(OMVLDD) based on the multiple-valued Shannon's expansion theorem and we execute function decomposition using by sub-graph. Next, we propose the variable selecting algorithm and simplification algorithm after apply the each isomorphism and reodering vertex. Also we propose MVLS design method.

• Journal of the Korean Mathematical Society
• /
• v.61 no.1
• /
• pp.133-147
• /
• 2024

Let G = (V, E) be a connected finite graph. We study the existence of solutions for the following generalized Chern-Simons equation on G $${\Delta}u={\lambda}e^u(e^u-1)^5+4{\pi}\sum_{s=1}^{N}\delta_{ps}$$, where λ > 0, δ_ps is the Dirac mass at the vertex p_s, and p₁, p₂, . . . , p_N are arbitrarily chosen distinct vertices on the graph. We show that there exists a critical value $\hat{\lambda}$ such that when λ > $\hat{\lambda}$, the generalized Chern-Simons equation has at least two solutions, when λ = $\hat{\lambda}$, the generalized Chern-Simons equation has a solution, and when λ < $\hat{\lambda}$, the generalized Chern-Simons equation has no solution.

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

Let G be a finite group and X be a union of conjugacy classes of G. Define C(G,X) to be the graph with vertex set X and $x,y{\in}X$ ($x{\neq}y$) joined by an edge whenever they commute. In the case that X = G, this graph is named commuting graph of G, denoted by ${\Delta}(G)$. The aim of this paper is to study the automorphism group of the commuting graph. It is proved that Aut(${\Delta}(G)$) is abelian if and only if ${\mid}G{\mid}{\leq}2$; ${\mid}Aut({\Delta}(G)){\mid}$ is of prime power if and only if ${\mid}G{\mid}{\leq}2$, and ${\mid}Aut({\Delta}(G)){\mid}$ is square-free if and only if ${\mid}G{\mid}{\leq}3$. Some new graphs that are useful in studying the automorphism group of ${\Delta}(G)$ are presented and their main properties are investigated.

• Bulletin of the Korean Mathematical Society
• /
• v.53 no.6
• /
• pp.1629-1643
• /
• 2016

Let R be a ring with identity, X be the set of all nonzero, nonunits of R and G be the group of all units of R. A ring R is called unit-duo ring if $[x]_{\ell}=[x]_r$ for all $x{\in}X$ where $[x]_{\ell}=\{ux{\mid}u{\in}G\}$ (resp. $[x]_r=\{xu{\mid}u{\in}G\}$) which are equivalence classes on X. It is shown that for a semisimple unit-duo ring R (for example, a strongly regular ring), there exist a finite number of equivalence classes on X if and only if R is artinian. By considering the zero divisor graph (denoted ${\tilde{\Gamma}}(R)$) determined by equivalence classes of zero divisors of a unit-duo ring R, it is shown that for a unit-duo ring R such that ${\tilde{\Gamma}}(R)$ is a finite graph, R is local if and only if diam(${\tilde{\Gamma}}(R)$) = 2.

• Korean Journal of Mathematics
• /
• v.29 no.1
• /
• pp.13-24
• /
• 2021

For a finite commutative ring R with identity 1 ≠ 0, the zero divisor graph ��(R) is a simple connected graph having vertex set as the set of nonzero zero divisors of R, where two vertices x and y are adjacent if and only if xy = 0. We find the signless Laplacian spectrum of the zero divisor graphs ��(ℤn) for various values of n. Also, we find signless Laplacian spectrum of ��(ℤn) for n = pz, z ≥ 2, in terms of signless Laplacian spectrum of its components and zeros of the characteristic polynomial of an auxiliary matrix. Further, we characterise n for which zero divisor graph ��(ℤn) are signless Laplacian integral.

• Bulletin of the Korean Mathematical Society
• /
• v.59 no.5
• /
• pp.1305-1315
• /
• 2022

Let u be a function on a connected finite graph G = (V, E). We consider the mean field equation (1) $-{\Delta}u={\rho}\({\frac{he^u}{\int_Vhe^ud{\mu}}}-{\frac{1}{{\mid}V{\mid}}}\),$ where ∆ is 𝜇-Laplacian on the graph, 𝜌 ∈ ℝ\{0}, h : V → ℝ⁺ is a function satisfying min_x∈V h(x) > 0. Following Sun and Wang [15], we use the method of Brouwer degree to prove the existence of solutions to the mean field equation (1). Firstly, we prove the compactness result and conclude that every solution to the equation (1) is uniformly bounded. Then the Brouwer degree can be well defined. Secondly, we calculate the Brouwer degree for the equation (1), say $$d_{{\rho},h}=\{{-1,\;{\rho}>0, \atop 1,\;{\rho}<0.}$$ Consequently, the equation (1) has at least one solution due to the Brouwer degree d_𝜌,h ≠ 0.

• Journal of the Korean Mathematical Society
• /
• v.53 no.5
• /
• pp.1167-1182
• /
• 2016

Let M be an R-module, where R is a commutative ring with identity 1 and let G(V,E) be a graph. In this paper, we study the graphs associated with modules over commutative rings. We associate three simple graphs $ann_f({\Gamma}(M_R))$, $ann_s({\Gamma}(M_R))$ and $ann_t({\Gamma}(M_R))$ to M called full annihilating, semi-annihilating and star-annihilating graph. When M is finite over R, we investigate metric dimensions in $ann_f({\Gamma}(M_R))$, $ann_s({\Gamma}(M_R))$ and $ann_t({\Gamma}(M_R))$. We show that M over R is finite if and only if the metric dimension of the graph $ann_f({\Gamma}(M_R))$ is finite. We further show that the graphs $ann_f({\Gamma}(M_R))$, $ann_s({\Gamma}(M_R))$ and $ann_t({\Gamma}(M_R))$ are empty if and only if M is a prime-multiplication-like R-module. We investigate the case when M is a free R-module, where R is an integral domain and show that the graphs $ann_f({\Gamma}(M_R))$, $ann_s({\Gamma}(M_R))$ and $ann_t({\Gamma}(M_R))$ are empty if and only if $$M{\sim_=}R$$. Finally, we characterize all the non-simple weakly virtually divisible modules M for which Ann(M) is a prime ideal and Soc(M) = 0.