• Journal of applied mathematics & informatics
• /
• v.8 no.1
• /
• pp.261-272
• /
• 2001

The intuitionistic fuzzification of a subalgebra in a BCK/BCI-algebra is considered, and related results are investigated. The notion of equivalence relations on the family of all intuitionistic fuzzy subalgebras of a BCK/BCI-algebra is introduced, and then some properties are discussed.

• Journal of applied mathematics & informatics
• /
• v.9 no.2
• /
• pp.705-716
• /
• 2002

In this paper we shall introduce the algebraic structure of a tensor product for arbitrarily given automata, giving a defintion of the tensor product for automata. We introduce and study that for any set X there always exists a free automaton on X. The existence of a tensor product for automata will be investigated in the same way like modules do.

• Journal of applied mathematics & informatics
• /
• v.15 no.1_2
• /
• pp.343-361
• /
• 2004

We prove the generalized Hyers-Ulam-Rassias stability of cyclic functional equations in Banach modules over a unital $C^{*}$-algebra. It is applied to show the stability of algebra homomorphisms between Banach algebras associated with cyclic functional equations in Banach algebras.

• Journal of applied mathematics & informatics
• /
• v.15 no.1_2
• /
• pp.467-474
• /
• 2004

We prove the generalized Hyers-Ulam-Rassias stability of a partitioned functional equation. It is applied to show the stability of algebra homomorphisms between Banach algebras associated with partitioned functional equations in Banach algebras.

• Journal of applied mathematics & informatics
• /
• v.20 no.1_2
• /
• pp.315-325
• /
• 2006

The notion of intuitionistic fuzzy finite switchboard state machines and (strong) homomorphisms of intuitionistic fuzzy finite state machines are introduced, and related properties are investigated. After we give a congruence relation on the set of all words of elements of X of finite length, the quotient structure is discussed. We show that the family of equivalence classes is a finite semigroup with identity.

• Journal of applied mathematics & informatics
• /
• v.6 no.1
• /
• pp.217-226
• /
• 1999

In this paper we define automata-linearly independence. An automaton M has a basis B iff M is free provided that we assume that the action of S on X $\times$ S is (x,sa) for all a, s $\in$ S and x $\in$ X. if a semigroup S is PRID every subautomaton of a free S-automaton is free.

• Journal of applied mathematics & informatics
• /
• v.11 no.1_2
• /
• pp.341-355
• /
• 2003

The fuzzification of ${\bigotimes}-closed$ set is considered, and its basic properties we investigated. Characterizations of fuazzy ${\bigotimes}-closed$ set we given. Using a collection of ${\bigotimes}-closed$ sets with additional conditions, a fuzzy ${\bigotimes}-closed$ set is stated. The theory of fuzzy topological ${\bigotimes}-closed$ sets is discussed.

• Journal of applied mathematics & informatics
• /
• v.17 no.1_2_3
• /
• pp.653-662
• /
• 2005

In this paper we shall give the relationships among $T_R,\;End_{R}(M),\;SEnd_{R}(M)\;and\;SAut_R(M)$ when M is a perfect R-module. If M and N are perfect modules, we get $SAut_{R}(M {\times}N){\cong}SAut_{R}(M){\times}SAut_R(N)$. Also we shall discuss that $_x(M)_H$ is a subgroup of $_x(M)$ if M is quasi-perfect and $_x(M)_H$ is a normal subgroup of $_x(M)$ if M is perfect.

• Journal of the Korean Mathematical Society
• /
• v.52 no.1
• /
• pp.191-207
• /
• 2015

Let $\mathcal{R}$ be a prime ring of characteristic different from 2, $\mathcal{Q}_r$ be its right Martindale quotient ring and $\mathcal{C}$ be its extended centroid. Suppose that $\mathcal{G}$ is a nonzero generalized skew derivation of $\mathcal{R}$, ${\alpha}$ is the associated automorphism of $\mathcal{G}$, f($x_1$, ${\cdots}$, $x_n$) is a non-central multilinear polynomial over $\mathcal{C}$ with n non-commuting variables and $$\mathcal{S}=\{f(r_1,{\cdots},r_n)\left|r_1,{\cdots},r_n{\in}\mathcal{R}\}$$. If $\mathcal{G}$ acts as a Jordan homomorphism on $\mathcal{S}$, then either $\mathcal{G}(x)=x$ for all $x{\in}\mathcal{R}$, or $\mathcal{G}={\alpha}$.

• Bulletin of the Korean Mathematical Society
• /
• v.49 no.2
• /
• pp.395-409
• /
• 2012

In the study of homology cobordisms, knot concordance and link concordance, the following technical problem arises frequently: let ${\pi}$ be a group and let M ${\rightarrow}$ N be a homomorphism between projective $\mathbb{Z}[{\pi}]$-modules such that $\mathbb{Z}_p\;{\otimes}_{\mathbb{Z}[{\pi}]}M{\rightarrow}\mathbb{Z}_p{\otimes}_{\mathbb{Z}[{\pi}]}\;N$ is injective; for which other right $\mathbb{Z}[{\pi}]$-modules V is the induced map $V{\otimes}_{\mathbb{Z}[{\pi}]}\;M{\rightarrow}\;V{\otimes}_{\mathbb{Z}[{\pi}]}\;N$ also injective? Our main theorem gives a new criterion which combines and generalizes many previous results.