• Journal of the Chungcheong Mathematical Society
• /
• v.26 no.3
• /
• pp.453-465
• /
• 2013

The notion of vague $p$-ideals and vague $a$-ideals of BCI-algebras is introduced, and several properties of them are investigated. We show that a vague set of a BCI-algebra is a vague $a$-ideal if and only if it is both a vague $q$-ideal and a vague $p$-ideal.

• Communications of the Korean Mathematical Society
• /
• v.34 no.3
• /
• pp.701-718
• /
• 2019

In this paper we compute the U-projective resolution of kQ-modules where Q is quiver of type $A_n$ and ${\tilde{A}}_n$. The behavior of the sequence can be seen through its geometric representation.

• Kyungpook Mathematical Journal
• /
• v.63 no.2
• /
• pp.235-250
• /
• 2023

Let 1 ≤ p, q < ∞ be fixed, and let R = [r_jk] be an infinite scalar matrix such that 1 ≤ r_jk < ∞ and sup_j,k r_jk < ∞. Let 𝓑(𝑙_p, 𝑙_q) be the set of all bounded linear operator from 𝑙_p into 𝑙_q. For a fixed Banach algebra 𝐁 with identity, we define a new vector space S^R_p,q(𝐁) of infinite matrices over 𝐁 and a paranorm G on S^R_p,q(𝐁) as follows: let $$S^R_{p,q}({\mathbf{B}})=\{A:A^{[R]}{\in}{\mathcal{B}}(l_p,l_q)\}$$ and $G(A)={\parallel}A^{[R]}{\parallel}^{\frac{1}{M}}_{p,q}$, where $A^{[R]}=[{\parallel}a_{jk}{\parallel}^{r_{jk}}]$ and M = max{1, sup_j,k r_jk}. The existance of S^R_p,q(𝐁) equipped with the paranorm G(·) including its completeness are studied. We also provide characterizations of β -dual of the paranormed space.

• Communications of the Korean Mathematical Society
• /
• v.26 no.3
• /
• pp.385-403
• /
• 2011

Generalizations of the notion of fuzzy hyper K-subalgebras are considered. The concept of fuzzy hyper K-subalgebras of type (${\alpha},{\beta}$) where ${\alpha}$, ${\beta}$ ${\in}$ {${\in}$, q, ${\in}{\vee}q$, ${\in}{\wedge}q$} and ${\alpha}{\neq}{\in}{\wedge}q$. Relations between each types are investigated, and many related properties are discussed. In particular, the notion of (${\in}$, ${\in}{\vee}q$)-fuzzy hyper K-subalgebras is dealt with, and characterizations of (${\in}$, ${\in}{\vee}q$)-fuzzy hyper K-subalgebras are established. Conditions for an (${\in}$, ${\in}{\vee}q$)-fuzzy hyper K-subalgebra to be an (${\in}$, ${\in}$)-fuzzy hyper K-subalgebra are provided. An (${\in}$, ${\in}{\vee}q$)-fuzzy hyper K-subalgebra by using a collection of hyper K-subalgebras is established. Finally the implication-based fuzzy hyper K-subalgebras are discussed.

• Bulletin of the Korean Mathematical Society
• /
• v.39 no.1
• /
• pp.1-8
• /
• 2002

We characterize the commutative Artinian rings R every proper quotient ring (respectively every proper ideal) in which is invariant with respect to all derivations.

• Bulletin of the Korean Mathematical Society
• /
• v.39 no.3
• /
• pp.479-484
• /
• 2002

Let I be an ideal in a Gorenstein local ring A with the maximal ideal m and d = dim A. Then we say that I is a good ideal in A, if I contains a reduction $Q=(a_1,a_2,...,a_d)$ generated by d elements in A and $G(I)=\bigoplus_{n\geq0}I^n/I^{n+1}$ of I is a Gorenstein ring with a(G(I)) = 1-d, where a(G(I)) denotes the a-invariant of G(I). Let S = A[Q/a$_1$] and P = mS. In this paper, we show that the following conditions are equivalent. (1) $I^2$ = QI and I = Q:I. (2) $I^2S$ = $a_1$IS and IS = $a_1$S：sIS. (3) $I^2$Sp = $a_1$ISp and ISp = $a_1$Sp ：sp ISp. We denote by $X_A(Q)$ the set of good ideals I in $X_A(Q)$ such that I contains Q as a reduction. As a Corollary of this result, we show that $I\inX_A(Q)\Leftrightarrow\IS_P\inX_{SP}(Qp)$.

• Journal of applied mathematics & informatics
• /
• v.29 no.5_6
• /
• pp.1525-1532
• /
• 2011

The $m{\times}n$ Boolean matrix A is said to be of Boolean rank r if there exist $m{\times}r$ Boolean matrix B and $r{\times}n$ Boolean matrix C such that A = BC and r is the smallest positive integer that such a factorization exists. We consider the the sets of matrix ordered pairs which satisfy extremal properties with respect to Boolean rank inequalities of matrices over nonbinary Boolean algebra. We characterize linear operators that preserve these sets of matrix ordered pairs as the form of $T(X)=PXP^T$ with some permutation matrix P.

• Korean Journal of Mathematics
• /
• v.16 no.3
• /
• pp.335-348
• /
• 2008

We define Fourier-Yeh-Feynman transform and convolution product on the Yeh-Wiener space, and establish the existence of Fourier-Yeh-Feynman transform and convolution product for functionals in a Banach algebra $\mathcal{S}(Q)$. Also we obtain Parseval's relation for those functionals.

• Honam Mathematical Journal
• /
• v.33 no.2
• /
• pp.207-221
• /
• 2011

We examine the various relationships that exist among the Fourier-Yeh-Feynman transform, convolution and the first variation for functionals on Yeh-Wiener space that belong to a Banach algebra S(Q).

• Bulletin of the Korean Mathematical Society
• /
• v.52 no.4
• /
• pp.1297-1303
• /
• 2015

We study Samelson products on models of function spaces. Given a map $f:X{\rightarrow}Y$ between 1-connected spaces and its Quillen model ${\mathbb{L}}(f):{\mathbb{L}}(V){\rightarrow}{\mathbb{L}}(W)$, there is an isomorphism of graded vector spaces ${\Theta}:H_*(Hom_{TV}(TV{\otimes}({\mathbb{Q}}{\oplus}sV),{\mathbb{L}}(W))){\rightarrow}H_*({\mathbb{L}}(W){\oplus}Der({\mathbb{L}}(V),{\mathbb{L}}(W)))$. We define a Samelson product on $H_*(Hom_{TV}(TV{\otimes}({\mathbb{Q}}{\oplus}sV),{\mathbb{L}}(W)))$.