• 충청수학회지
• /
• 제36권4호
• /
• pp.289-296
• /
• 2023

When G is an abelian group, we use the notation M(G, n) to denote the Moore space. The space X is the wedge product space of Moore spaces, given by X = M(ℤ_q, n+ 2) ∨ M(ℤ_q, n+ 1) ∨ M(ℤ_q, n). We determine the self-homotopy classes group [X, X] and the self-homotopy equivalence group 𝓔(X). We investigate the subgroups of [M_j , M_k] consisting of homotopy classes of maps that induce the trivial homomorphism up to (n + 2)-homotopy groups for j ≠ k. Using these results, we calculate the subgroup 𝓔^dim_#(X) of 𝓔(X) in which all elements induce the identity homomorphism up to (n + 2)-homotopy groups of X.

• Kyungpook Mathematical Journal
• /
• 제50권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)}$.

• 대한수학회논문집
• /
• 제36권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.

• Korean Journal of Mathematics
• /
• 제22권1호
• /
• pp.91-121
• /
• 2014

Let X and Y be vector spaces. It is shown that a mapping $f:X{\rightarrow}Y$ satisfies the functional equation ${\ddag}$ $$2df(\frac{x_1+{\sum}_{j=2}^{2d}(-1)^jx_j}{2d})-2df(\frac{x_1+{\sum}_{j=2}^{2d}(-1)^{j+1}x_j}{2d})=2\sum_{j=2}^{2d}(-1)^jf(x_j)$$ if and only if the mapping $f:X{\rightarrow}Y$ is additive, and prove the Cauchy-Rassias stability of the functional equation (${\ddag}$) in Banach modules over a unital $C^*$-algebra, and in Poisson Banach modules over a unital Poisson $C^*$-algebra. Let $\mathcal{A}$ and $\mathcal{B}$ be unital $C^*$-algebras, Poisson $C^*$-algebras, Poisson $JC^*$-algebras or Lie $JC^*$-algebras. As an application, we show that every almost homomorphism $h:\mathcal{A}{\rightarrow}\mathcal{B}$ of $\mathcal{A}$ into $\mathcal{B}$ is a homomorphism when $h(d^nuy)=h(d^nu)h(y)$ or $h(d^nu{\circ}y)=h(d^nu){\circ}h(y)$ for all unitaries $u{\in}\mathcal{A}$, all $y{\in}\mathcal{A}$, and n = 0, 1, 2, ${\cdots}$. Moreover, we prove the Cauchy-Rassias stability of homomorphisms in $C^*$-algebras, Poisson $C^*$-algebras, Poisson $JC^*$-algebras or Lie $JC^*$-algebras, and of Lie $JC^*$-algebra derivations in Lie $JC^*$-algebras.

• East Asian mathematical journal
• /
• 제23권1호
• /
• pp.23-36
• /
• 2007

In this paper we consider the fuzzy ideals of N-group G where N is a nearring. We introduce fuzzy ideal ${\theta}_{\mu}$ of the quotient N-group $G/{\mu}$ with respect to a fuzzy ideal $\mu$ of G. If $\mu$ is a fuzzy ideal of G and $\theta$ a fuzzy ideal of $G/{\mu}$ such that ${\theta}_{\mu}\;{\subseteq}\;{\theta}$ and ${\theta}_{\mu}(0)\;=\;{\theta}(0)$, then corresponding ${\sigma}_{\theta}\;:\;G\;{\rightarrow}\;[0,\;1]$ is defined and proved that it is a fuzzy ideal of G such that ${\mu}\;{\subseteq}\;{\sigma}_{\theta}$ and ${\mu}(0)\;=\;{\sigma}_{\theta}(0)$. We also prove some results on homomorphisms and fuzzy ideals of N-groups. The image and preimage of fuzzy ideal $\mu$ under N-group homomorphism were studied. Finally it is obtained that if $f\;:\;G\;{\rightarrow}\;G^1$ is an epimorphism of N-groups, then there is an order preserving bijection between the fuzzy ideals of $G^1$ and the fuzzy ideals of G that are constant on kerf. Some examples related to these concepts were illustrated.

• 대한수학회지
• /
• 제43권2호
• /
• pp.323-356
• /
• 2006

Let X and Y be vector spaces. It is shown that a mapping $f\;:\;X{\rightarrow}Y$ satisfies the functional equation $$mn_{mn-2}C_{k-2}f(\frac {x_1+...+x_{mn}} {mn})$$ $(\ddagger)\;+mn_{mn-2}C_{k-1}\;\sum\limits_{i=1}^n\;f(\frac {x_{mi-m+1}+...+x_{mi}} {m}) =k\;{\sum\limits_{1{\leq}i_1<... if and only if the mapping $f : X{\rightarrow}Y$ is additive, and we prove the Cauchy-Rassias stability of the functional equation $(\ddagger)$ in Banach modules over a unital $C^*-algebra$. Let A and B be unital $C^*-algebra$ or Lie $JC^*-algebra$. As an application, we show that every almost homomorphism h : $A{\rightarrow}B$ of A into B is a homomorphism when $h(2^d{\mu}y) = h(2^d{\mu})h(y)\;or\;h(2^d{\mu}\;o\;y)=h(2^d{\mu})\;o\;h(y)$ for all unitaries ${\mu}{\in}A,\;all\;y{\in}A$, and d = 0,1,2,..., and that every almost linear almost multiplicative mapping $h:\;A{\rightarrow}B$ is a homomorphism when h(2x)=2h(x) for all $x{\in}A$. Moreover, we prove the Cauchy-Rassias stability of homomorphisms in $C^*-algebras$ or in Lie $JC^*-algebras$, and of Lie $JC^*-algebra$ derivations in Lie $JC^*-algebras$.

• 충청수학회지
• /
• 제24권2호
• /
• pp.287-301
• /
• 2011

Let X and Y be vector spaces. It is shown that a mapping $f\;:\;X{\rightarrow}Y$ satisfies the functional equation $$(\ddag)\hspace{50}dk\;f\left(\frac{\sum_{j=1}^{dk}x_j}{dk}\right)=\displaystyle\sum_{j=1}^{dk}f(x_j)$$ if and only if the mapping $f$ : X ${\rightarrow}$ Y is Cauchy additive, and prove the Cauchy-Rassias stability of the functional equation ($\ddag$) in Banach modules over a unital $C^{\ast}$-algebra. Let $\mathcal{A}$ and $\mathcal{B}$ be unital $C^{\ast}$-algebras. As an application, we show that every almost homomorphism $h\;:\;\mathcal{A}{\rightarrow}\mathcal{B}$ of $\mathcal{A}$ into $\mathcal{B}$ is a homomorphism when $h((k-1)^nuy)=h((k-1)^nu)h(y)$ for all unitaries $u{\in}\mathcal{A}$, all $y{\in}\mathcal{A}$, and $n$ = 0,1,2,$\cdots$. Moreover, we prove the Cauchy-Rassias stability of homomorphisms in $C^{\ast}$-algebras.

• 전자공학회논문지S
• /
• 제36S권6호
• /
• pp.9-16
• /
• 1999

이 논문에서는 렘펠의 D-준동현사상을 바탕으로 하여 드브루인 수열을 만드는 효과적인 알고리즘을 제안한다. 이 알고리즘에서는 k차 드브루인 수열에서 n차 드브루인 수열의 다음 비트을 만드는데 필요한 배타논리합 연산수는, r의 2진 표현에서 1의 갯수를 W(r)이라 쓸 때, $k(2^{W(n-k)}-1)$쯤임을 보인다: 딸서, 드브루인 함수를 잘 고르면 이 수는 k가 된다.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제8권12호
• /
• pp.4552-4567
• /
• 2014

A (n,t,n) secret sharing scheme is to share a secret among n group members, where each member also plays a role of a dealer,and any t shares can be used to recover the secret. In this paper, we propose a strong (k,t,n) verifiable multi-secret sharing scheme, where any k out of n participants operate as dealers. The scheme realizes both threshold structure and adversary structure simultaneously, and removes a trusted third party. The secret reconstruction phase is performed using an additive homomorphism for decreasing the storage cost. Meanwhile, the scheme achieves the pre-verification property in the sense that any participant doesn't need to reveal any information about real master shares in the verification phase. We compare our proposal with the previous (n,t,n) secret sharing schemes from the perspectives of what kinds of access structures they achieve, what kinds of functionalities they support and whether heavy storage cost for secret share is required. Then it shows that our scheme takes the following advantages: (a) realizing the adversary structure, (b) allowing any k out of n participants to operate as dealers, (c) small sized secret share. Moreover, our proposed scheme is a favorable candidate to be used in many applications, such as secure multi-party computation and privacy preserving data mining, etc.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제21권3호
• /
• pp.13-14
• /
• 1983

(1) The direct product (equation omitted) $E_{I}$ of BCK-algebras $E_{I}$, (i=1, 2, 3, …, n), is a BCK-algebra. (2) Let E be a BCK-algebra and $A_1$, $A_1$, …, $A_{n}$ ideals of E. Define a mapping (equation omitted) by the rule f($\chi$)=( $A_1$$\chi$, $A_2$$\chi$, …, $A_{n}$$\chi$). Then f is a homomorphism.ism.ism.