• Bulletin of the Korean Mathematical Society
• /
• v.54 no.6
• /
• pp.2165-2182
• /
• 2017

Let G be a group and $\mathbb{C}$ the field of complex numbers. Suppose ${\sigma}:G{\rightarrow}G$ is an endomorphism satisfying ${{\sigma}}({{\sigma}}(x))=x$ for all x in G. In this paper, we first determine the central solution, f : G or $G{\times}G{\rightarrow}\mathbb{C}$, of the functional equation $f(xy)+f({\sigma}(y)x)=2f(x)+2f(y)$ for all $x,y{\in}G$, which is a variant of the quadratic functional equation. Using the central solution of this functional equation, we determine the general solution of the functional equation f(pr, qs) + f(sp, rq) = 2f(p, q) + 2f(r, s) for all $p,q,r,s{\in}G$, which is a variant of the equation f(pr, qs) + f(ps, qr) = 2f(p, q) + 2f(r, s) studied by Chung, Kannappan, Ng and Sahoo in [3] (see also [16]). Finally, we determine the solutions of this equation on the free groups generated by one element, the cyclic groups of order m, the symmetric groups of order m, and the dihedral groups of order 2m for $m{\geq}2$.

• Communications of the Korean Mathematical Society
• /
• v.13 no.2
• /
• pp.243-249
• /
• 1998

In this paper, we introduce a congruence relation on a semiring and a quotient semiring, and prove some homomorphism theorems.

• Journal of the Korean Mathematical Society
• /
• v.14 no.2
• /
• pp.185-196
• /
• 1978

• Kyungpook Mathematical Journal
• /
• v.50 no.2
• /
• pp.329-336
• /
• 2010

In this paper, we introduce a partitioning subsemimodule of a semimodule over a semiring which is useful to develop the quotient structure of semimodule. Indeed we prove : 1) The quotient semimodule M=N(Q) is essentially independent of choice of Q. 2) If f : M ${\rightarrow}$ M' is a maximal R-semimodule homomorphism, then $M/kerf_{(Q)}\;\cong\;M'$. 3) Every partitioning subsemimodule is subtractive. 4) Let N be a Q-subsemimodule of an R-semimodule M. Then A is a subtractive subsemimodule of M with $N{\subseteq}A$ if and only if $A/N_{(Q{\cap}A)}\;=\;\{q+N:q{\in}Q{\cap}A\}$ is a subtractive subsemimodule of $M/N_{(Q)}$.

• 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)}$.

• Kyungpook Mathematical Journal
• /
• v.48 no.4
• /
• pp.529-543
• /
• 2008

It is shown that every almost linear mapping h : $A{\rightarrow}B$ of a unital PoissonC*-algebra A to a unital Poisson C*-algebra B is a Poisson C*-algebra homomorph when $h(2^nuy)\;=\;h(2^nu)h(y)$ or $h(3^nuy)\;=\;h(3^nu)h(y)$ for all $y\;\in\;A$, all unitary elements $u\;\in\;A$ and n = 0, 1, 2,$\codts$, and that every almost linear almost multiplicative mapping h : $A{\rightarrow}B$ is a Poisson C*-algebra homomorphism when h(2x) = 2h(x) or h(3x) = 3h(x for all $x\;\in\;A$. Here the numbers 2, 3 depend on the functional equations given in the almost linear mappings or in the almost linear almost multiplicative mappings. We prove the Cauchy-Rassias stability of Poisson C*-algebra homomorphisms in unital Poisson C*-algebras, and of homomorphisms in Poisson Banach modules over a unital Poisson C*-algebra.

• Kyungpook Mathematical Journal
• /
• v.43 no.4
• /
• pp.471-480
• /
• 2003

Let $\mathcal{R}$ be a commutative ring with 1, and Let M be a (left) R-module. M is said to be pointwise projective if for each epimorphism ${\alpha}:\mathcal{A}{\rightarrow}\mathcal{B}$, where A and $\mathcal{B}$ are any $\mathcal{R}$-modules, and for each homomorphism ${\beta}:\mathcal{M}{\rightarrow}\mathcal{B}$, then for every $m{\in}\mathcal{M}$, there exists a homomorphism ${\varphi}:\mathcal{M}{\rightarrow}\mathcal{A}$, which may depend on m, such that ${\alpha}{\circ}{\varphi}(m)={\beta}(m)$. Our mean concern in this paper is to study the relations between pointwise projectivemodules with cancellation modules and its geeralization.

• 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.

• Bulletin of the Korean Mathematical Society
• /
• v.59 no.3
• /
• pp.725-743
• /
• 2022

In this paper, the concepts of ω-linked homomorphisms, the ω_𝜙-operation, and DW_𝜙 rings are introduced. Also the relationships between ω_𝜙-ideals and ω-ideals over a ω-linked homomorphism 𝜙 : R → T are discussed. More precisely, it is shown that every ω_𝜙-ideal of T is a ω-ideal of T. Besides, it is shown that if T is not a DW_𝜙 ring, then T must have an infinite number of maximal ω_𝜙-ideals. Finally we give an application of Cohen's Theorem over ω-factor rings, namely it is shown that an integral domain R is an SM-domain with ω-dim(R) ≤ 1, if and only if for any nonzero ω-ideal I of R, (R/I)_ω is an Artinian ring, if and only if for any nonzero element α ∈ R, (R/(a))_ω is an Artinian ring, if and only if for any nonzero element α ∈ R, R satisfies the descending chain condition on ω-ideals of R containing a.

• Kyungpook Mathematical Journal
• /
• v.63 no.3
• /
• pp.355-372
• /
• 2023

We make advances towards a structural characterisation of the signed graphs H for which the list switch H-colouring problem List-S-Hom(H) can be solved in polynomial time. We conjecture two different characterisations, the second refining the first, in the case that the graph H can be switched to a graph in which every negative edge is also positive. Using a recent proof of the first characterisations for reflexive signed graphs, by Bok et. al., we prove the second characterisation for reflexive signed graphs. We also provide several tools for reducing the problem to the bipartite case, and prove a full complexity dichotomy for a related problem.