• Bulletin of the Korean Mathematical Society
• /
• v.58 no.4
• /
• pp.973-981
• /
• 2021

Let R be a commutative ring with identity 1, n ≥ 3, and let 𝒯_n(R) be the linear Lie algebra of all upper triangular n × n matrices over R. A linear map 𝜑 on 𝒯_n(R) is called to be strong commutativity preserving if [𝜑(x), 𝜑(y)] = [x, y] for any x, y ∈ 𝒯_n(R). We show that an invertible linear map 𝜑 preserves strong commutativity on 𝒯_n(R) if and only if it is a composition of an idempotent scalar multiplication, an extremal inner automorphism and a linear map induced by a linear function on 𝒯_n(R).

• Communications of the Korean Mathematical Society
• /
• v.31 no.1
• /
• pp.27-40
• /
• 2016

We define the notion of a residuated lattice valued function on a set as Jun and Song have done in BCK-algebras. We also investigate related properties of residuated lattice valued function. We establish the codes generated by residuated lattice valued function and conversely we give residuated lattice valued function and residuated lattice obtained by the giving binary block-code.

• Bulletin of the Korean Mathematical Society
• /
• v.39 no.2
• /
• pp.259-267
• /
• 2002

Let X be a hemicompact space with ($K_{n}$) as an admissible exhaustion, and for each n $\in$ N, $A_{n}$ a Banach function algebra on $K_{n}$ with respect to $\parallel.\parallel_n$ such that $A_{n+1}\midK_{n}$$\subsetA_n$ and${\parallel}f{\mid}K_n{\parallel}_n{\leq}{\parallel}f{\parallel}_{n+1}$ for all f$\in$$A_{n+1}$, We consider the subalgebra A = { f $\in$ C(X) : $\forall_n\;{\epsilon}\;\mathbb{N}$ of C(X) as a frechet function algebra and give a result related to its spectrum when each $A_{n}$ is natural. We also show that if X is moreover noncompact, then any closed subalgebra of A cannot be topologized as a regular Frechet Q-algebra. As an application, the Lipschitzalgebra of infinitely differentiable functions is considered.d.

• Kyungpook Mathematical Journal
• /
• v.48 no.2
• /
• pp.195-206
• /
• 2008

The purpose of this note is to compare the rings of continuous functions, integer-valued or real-valued, in pointfree topology with those in classical topology. To this end, it first characterizes the Boolean frames (= complete Boolean algebras) whose function rings are isomorphic to a classical one and then employs this to exhibit a large class of frames for which the functions rings are not of this kind. An interesting feature of the considerations involved here is the use made of nonmeasurable cardinals. In addition, the integer-valued function rings for Boolean frames are described in terms of internal lattice-ordered ring properties.

• Journal of the Korean Mathematical Society
• /
• v.53 no.6
• /
• pp.1431-1443
• /
• 2016

Let k be a global field of characteristic unequal to two. Let $C:y^2=f(x)$ be a nonsingular projective curve over k, where f(x) is a quartic polynomial over k with nonzero discriminant, and K = k(C) be the function field of C. For each prime spot p on k, let ${\hat{k}}_p$ denote the corresponding completion of k and ${\hat{k}}_p(C)$ the function field of $C{\times}_k{\hat{k}}_p$. Consider the map $$h:Br(K){\rightarrow}{\prod\limits_{\mathfrak{p}}}Br({\hat{k}}_p(C))$$, where p ranges over all the prime spots of k. In this paper, we explicitly describe all the constant classes (coming from Br(k)) lying in the kernel of the map h, which is an obstruction to the Hasse principle for the Brauer groups of the curve. The kernel of h can be expressed in terms of quaternion algebras with their prime spots. We also provide specific examples over ${\mathbb{Q}}$, the rationals, for this kernel.

• Journal of applied mathematics & informatics
• /
• v.25 no.1_2
• /
• pp.513-518
• /
• 2007

There is a one to one correspondence between Artinian algebras $k[x_1,...,x_n]/Ann(M)$ and finitely generated $k[x_1,...,x_n]-submodules$ M of $k[y_1,...,y_n]$ by Inverse System. In particular, any Artinian level algebra $k[x_1,...,x_n]/Ann(M)$ can be obtained when M is finitely generated by only maximal degree generators. We prove that H = (1, 4, 8, 13,..., 27, 8, 2) is not a level Artinian O-sequence using this inverse system.

• Journal of applied mathematics & informatics
• /
• v.31 no.3_4
• /
• pp.559-564
• /
• 2013

In this paper we investigate necessary conditions for the mirror algebra $(M(X),{\bigoplus},(0,0))$ to be a $d$-algebra (having the condition (D5), resp.) when (X, *, 0) is a d-algebra (having the condition (D5), resp.). Moreover, we obtain the necessary conditions for M(X) of a $d^*$-algebra X to be a $d^*$-algebra.

• Honam Mathematical Journal
• /
• v.35 no.1
• /
• pp.1-15
• /
• 2013

In this paper, we study a sheaf-theoretic analysis of the convolution algebra on quiver varieties. As by-products, we reinterpret the results of H. Nakajima. We also produce a refined form of the BBD decomposition theorem for quiver varieties. Finally, we study a construction of highest weight modules through constructible functions.

• Journal of applied mathematics & informatics
• /
• v.29 no.1_2
• /
• pp.443-450
• /
• 2011

In this paper, we construct a Gorenstein Artinian algebra R/J with non-unimodal Hilbert function h = (1, 13, 12, 13, 1) to investigate the algebraic structure of the ideal J in a polynomial ring R. For this purpose, we use a software system Macaulay 2, which is devoted to supporting research in algebraic geometry and commutative algebra.

• Journal of information and communication convergence engineering
• /
• v.8 no.4
• /
• pp.421-426
• /
• 2010

This paper presents a method of design the counter using sequential system based on synchronous techniques. For the design the counter, first of all, we derive switching algebras and their operations. Also, we obtain the next-state functions, flip-flop excitations and their input functions from the flip-flop. Then, we propose the algorithm which is a method of implementation of the synchronous sequential digital logic circuits. Finally, we apply proposed the sequential logic based on synchronous techniques to counter.