• Journal of the Chungcheong Mathematical Society
• /
• v.32 no.1
• /
• pp.53-67
• /
• 2019

The notions of closed elements and dense elements are introduced in BE-algebras. Characterization theorems of closed elements and closed filters are obtained. The notion of dense elements is introduced in BE-algebras. Dense BE-algebras are characterized with the help of maximal filters and congruences. The concept of D-filters is introduced in BE-algebras. A set of equivalent conditions is derived for every D-filter to become a closed filter.

• Journal of the Korean Mathematical Society
• /
• v.44 no.2
• /
• pp.393-406
• /
• 2007

In the framework of generalized convex spaces, we show that generalized KKM maps can be regarded as ordinary KKM maps, and obtain some applications to equilibrium result, maximal element theorems, and almost fixed point theorems on multimaps of the Zima type.

• Communications of the Korean Mathematical Society
• /
• v.11 no.3
• /
• pp.595-600
• /
• 1996

We give a characterization of a deductive system. We introduce the concept of maximal deductive systems and show that every bounded Hilbert algebra with at least two elements contains at least one maximal deductive system. Moreover, we introduce the notion of radical and semisimple in a Hilbert algebra and prove that if H is a bounded Hilbert algebra in which every element is an involution, then H is semisimple.

• Journal of applied mathematics & informatics
• /
• v.28 no.3_4
• /
• pp.1017-1023
• /
• 2010

We prove that a maximal ideal M of D[x] has two generators and is of the form where p is an irreducible element in a PID D having infinitely many nonassociate irreducible elements and q(x) is an irreducible non-constant polynomial in D[x]. Moreover, we find how minimal generators of maximal ideals of a polynomial ring D[x] over a DVR D consist of and how many generators those maximal ideals have.

• Bulletin of the Korean Mathematical Society
• /
• v.50 no.1
• /
• pp.305-320
• /
• 2013

Topological semilattices with path-connected intervals are special abstract convex spaces. In this paper, we obtain generalized KKM type theorems and their analytic formulations, maximal element theorems and collectively fixed point theorems on abstract convex spaces. We also apply them to topological semilattices with path-connected intervals, and obtain generalized forms of the results of Horvath and Ciscar, Luo, and Al-Homidan et al..

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2001.04a
• /
• pp.110-118
• /
• 2001

In many areas of finite element analysis, elements with special properties are required to achieve maximal accuracy. As examples, we may mention infinite elements for the representation of spatial domain that extend to special and singular elements for modeling point and line singularities engendered by geomeric features such as reentrant corners and cracks. In this paper, we study on modified shape function representing singular properties and algorigthm for the pollution adaptive mesh generation. We will also show that the modified shape function reduces pollution error and local error.

• Korean Journal of Mathematics
• /
• v.15 no.2
• /
• pp.115-119
• /
• 2007

Let R be a Krull ring with the unique regular maximal ideal M. We show that R has a regular prime element and reg-$dimR=1{\Leftrightarrow}R$ is a factorial ring and reg-$dim(R)=1{\Rightarrow}M$ is invertible ${\Leftrightarrow}R{\varsubsetneq}[R:M]{\Leftrightarrow}M$ is divisorial ${\Leftrightarrow}$ reg-$htM=1{\Rightarrow}R$ is a rank one discrete valuation ring. We also show that if M is generated by regular elements, then R is a rank one discrete valuation ring ${\Rightarrow}$ R is a factorial ring and reg-dim(R)=1.

• Bulletin of the Korean Mathematical Society
• /
• v.52 no.2
• /
• pp.367-376
• /
• 2015

In this paper, we classified finite p-groups G such that $$C_G(x)/<x>$$ is cyclic for all non-central elements $x{\in}G$. This solved a problem proposed By Y. Berkovoch.

• Korean Journal of Mathematics
• /
• v.17 no.2
• /
• pp.169-179
• /
• 2009

Let P be a (n, n − 1, j)-poset, which is a partially ordered set of cardinality n with n − 1 maximal elements and $j(1{\leq}j{\leq}n-1)$ minimal elements, and $P^*$ the dual poset of P. In this paper, we obtain two types of incidence codes of nonempty proper subset S of P and $P^*$, respectively, by using Bogart's method [1] (see Theorem 3.3).

• Kyungpook Mathematical Journal
• /
• v.49 no.2
• /
• pp.283-288
• /
• 2009

Let N be a zero-symmetric near-ring with identity and let ${\Gamma}(N)$ be a graph with vertices as elements of N, where two different vertices a and b are adjacent if and only if + = N, where is the ideal of N generated by x. Let ${\Gamma}_1(N)$ be the subgraph of ${\Gamma}(N)$ generated by the set {n ${\in}$ N : = N} and ${\Gamma}_2(N)$ be the subgraph of ${\Gamma}(N)$ generated by the set $N{\backslash}{\upsilon}({\Gamma}_1(N))$, where ${\upsilon}(G)$ is the set of all vertices of a graph G. In this paper, we completely characterize the diameter of the subgraph ${\Gamma}_2(N)$ of ${\Gamma}(N)$. In addition, it is shown that for any near-ring, ${\Gamma}_2(N){\backslash}M(N)$ is a complete bipartite graph if and only if the number of maximal ideals of N is 2, where M(N) is the intersection of all maximal ideals of N and ${\Gamma}_2(N){\backslash}M(N)$ is the graph obtained by removing the elements of the set M(N) from the vertices set of the graph ${\Gamma}_2(N)$.