• Korean Journal of Mathematics
• /
• v.14 no.2
• /
• pp.203-215
• /
• 2006

In this note the notion of interval-valued fuzzy BG-algebras (briefly, i-v fuzzy BG-algebras), the level and strong level BG-subalgebra is introduced. Then we state and prove some theorems which determine the relationship between these notions and BG-subalgebras. The images and inverse images of i-v fuzzy BG-subalgebras are defined, and how the homomorphic images and inverse images of i-v fuzzy BG-subalgebra becomes i-v fuzzy BG-algebras are studied.

• Bulletin of the Korean Mathematical Society
• /
• v.48 no.6
• /
• pp.1125-1128
• /
• 2011

Let R be a commutative Noetherian ring, a an ideal of R, and M a minimax R-module. We prove that the local cohomology modules $H^j_a(M)$ are a-cominimax; that is, $Ext^i_R$(R/a, $H^j_a(M)$) is minimax for all i and j in the following cases: (a) dim R/a = 1; (b) cd(a) = 1, where cd is the cohomological dimension of a in R; (c) dim $R{\leq}2$. In these cases we also prove that the Bass numbers and the Betti numbers of $H^j_a(M)$ are finite.

• Journal of applied mathematics & informatics
• /
• v.22 no.1_2
• /
• pp.285-293
• /
• 2006

Let X be a n-set and let A = [aij] be a $n {\times} n$ matrix for which $aij {\subseteq} X$, for $1 {\le} i,\;j {\le} n$. A is called a generalized Latin square on X, if the following conditions is satisfied: $U^n_{i=1}\;aij = X = U^n_{j=1}\;aij$. In this paper, we prove that every generalized Latin square has an orthogonal mate and introduce a Hv-structure on a set of generalized Latin squares. Finally, we prove that every generalized Latin square of order n, has a transversal set.

• Bulletin of the Korean Mathematical Society
• /
• v.56 no.1
• /
• pp.83-102
• /
• 2019

For $M{\in}R-Mod$, $N{\subseteq}M$ and $L{\in}{\sigma}[M]$ we consider the product $N_ML={\sum}_{f{\in}Hom_R(M,L)}\;f(N)$. A module $N{\in}{\sigma}[M]$ is called an M-multiplication module if for every submodule L of N, there exists a submodule I of M such that $L=I_MN$. We extend some important results given for multiplication modules to M-multiplication modules. As applications we obtain some new results when M is a semiprime Goldie module. In particular we prove that M is a semiprime Goldie module with an essential socle and $N{\in}{\sigma}[M]$ is an M-multiplication module, then N is cyclic, distributive and semisimple module. To prove these results we have had to develop new methods.

• Korean Journal of Mathematics
• /
• v.18 no.4
• /
• pp.395-407
• /
• 2010

In this paper, we prove the generalized Hyers-Ulam stability of the following quadratic functional equations $$cf\(\sum_{i=1}^{n}x_i\)+\sum_{j=2}^{n}f\(\sum_{i=1}^{n}x_i-(n+c-1)x_j\)\\=(n+c-1)\(f(x_1)+c\sum_{i=2}^{n}f(x_i)+\sum_{i<j,j=3}^{n}\(\sum_{i=2}^{n-1}f(x_i-x_j\)\),\\Q\(\sum_{i=1}^{n}d_ix_i\)+\sum_{1{\leq}i<j{\leq}n}d_id_jQ(x_i-x_j)=\(\sum_{i=1}^{n}d_i\)\(\sum_{i=1}^{n}d_iQ(x_i)\)$$ in random normed spaces.

• Journal of the Chungcheong Mathematical Society
• /
• v.24 no.2
• /
• pp.273-286
• /
• 2011

Using the fixed point method, we prove the Hyers-Ulam stability of the following quadratic functional equations $${cf\left({\displaystyle\sum_{i=1}^n\;xi}\right)+{\displaystyle\sum_{i=2}^nf}{\left(\displaystyle\sum_{i=1}^n\;x_i-(n+c-1)x_j\right)}\\ {=(n+c-1)\;\left(f(x_1)+c{\displaystyle\sum_{i=2}^n\;f(x_i)}+{\displaystyle\sum_{i in fuzzy Banach spaces.

• Journal of the Chungcheong Mathematical Society
• /
• v.23 no.4
• /
• pp.731-739
• /
• 2010

In this paper, we prove stability of the reciprocal difference functional equation $$r\(\frac{{\sum}_{i=1}^{m}x_i}{m}\)-r\(\sum_{i=1}^{m}x_i\)=\frac{(m-1){\prod}_{i=1}^{m}r(x_i)}{{\sum}_{i=1}^{m}{\prod}_{k{\neq}i,1{\leq}k{\leq}m}r(x_k)$$ and the reciprocal adjoint functional equation $$r\(\frac{{\sum}_{i=1}^{m}x_i}{m}\)+r\(\sum_{i=1}^{m}x_i\)=\frac{(m+1){\prod}_{i=1}^{m}r(x_i)}{{\sum}_{i=1}^{m}{\prod}_{k{\neq}i,1{\leq}k{\leq}m}r(x_k)$$ in m-variables. Stability of the reciprocal difference functional equation and the reciprocal adjoint functional equation in two variables were proved by K. Ravi, J. M. Rassias and B. V. Senthil Kumar [13]. We extend their result to m-variables in similar types.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.44 no.4
• /
• pp.73-79
• /
• 2007

In this paper the proposed transactor is customized and a generator which roles of automatically generating the transactor according to DUT(Design Under Test)'s input and output is implemented. The customized transactor is designed by rearranging the signals of depending on DUT and transactor protocol which consists of signals of the PCI interface between host computer and FPGA(Field Programmable Gate Array). The implemented automatic generator of transactor generates a Verilog code of transactor by adding DUT's information about input and output ports. Performance and normal working of the generated transactor has been verified by experiments with some verified hardware IPs. Also, an efficiency of the transactor has been verified by comparing with user's manually designed transactor and generated transactor. Moreover, the generator's flexibility has been verified for DUT's information of variable input and output. In case of using the implemented generator, a design time of transactor is reduced.

• Journal of the Chungcheong Mathematical Society
• /
• v.4 no.1
• /
• pp.11-38
• /
• 1991

Let $E_n$ be the real ordered space of all $n{\times}n$ Hermitian Matrices and let T be a positive linear operator from $E_2$ to $E_3$. We prove in this paper that T is extreme if and only if T is unitarily equivalent to a map of the form $S_z$ for some $z{\in}C^2$ where $S_z$ is defined by $S_z(xx^*)=ww^*$, $w_i=x_iz_i$ for i = 1, 2 and $w_3=0$.

• Bulletin of the Korean Mathematical Society
• /
• v.44 no.1
• /
• pp.83-86
• /
• 2007

We determine the largest integer i such that $0 and the coefficient of $t^{i}$ is odd in the polynomial $(1+t+t^{2}+{\cdots}+t^{n})^{n+1}$. We apply this to prove that the co-index of the tangent bundle over $FP^{n}$ is stable if $2^{r}{\leq}n<2^{r}+\frac{1}{3}(2^{r}-2)$ for some integer r.