• Journal of the Korean Mathematical Society
• /
• v.50 no.6
• /
• pp.1183-1198
• /
• 2013

We will introduce and study the notion of prime bases for weakly prime submodules and utilize them to derive some formulas on the weak radical of submodules of a module. In particular, we will show that every one dimensional integral domain weakly satisfies the radical formula and state some necessary conditions on local integral domains which are semi-compatible or satisfy the radical formula and also on Noetherian rings which weakly satisfy the radical formula.

• Communications of the Korean Mathematical Society
• /
• v.32 no.2
• /
• pp.277-285
• /
• 2017

In the various module generalizations of the concepts of prime (semiprime) for a ring, the question "when are semiprime modules subdirect product of primes?" is a serious question in this context and it is considered by earlier authors in the literature. We continue study on the above question by showing that: If R is Morita equivalent to a right pre-duo ring (e.g., if R is commutative) then weakly compressible R-modules are precisely subdirect products of prime R-modules if and only if dim(R) = 0 and R/N(R) is a semi-Artinian ring if and only if every classical semiprime module is semiprime. In this case, the class of weakly compressible R-modules is an enveloping for Mod-R. Some related conditions are also investigated.

• Communications of the Korean Mathematical Society
• /
• v.28 no.1
• /
• pp.79-85
• /
• 2013

The structure of a poset P with smallest element 0 is looked at from two view points. Firstly, with respect to the Zariski topology, it is shown that Spec(P), the set of all prime semi-ideals of P, is a compact space and Max(P), the set of all maximal semi-ideals of P, is a compact $T_1$ subspace. Various other topological properties are derived. Secondly, we study the semi-ideal-based zero-divisor graph structure of poset P, denoted by $G_I$ (P), and characterize its diameter.

• Bulletin of the Korean Mathematical Society
• /
• v.30 no.2
• /
• pp.187-191
• /
• 1993

In this note we prove the following result: Let A be a complex Banach *-algebra with continuous involution and let B be an $A^{*}$-algebra./T(A) = B. Then T is continuous (Theorem 2). From above theorem some others results of special interest and some well-known results follow. (Corollaries 3,4,5,6 and 7). We close this note with some generalizations and some remarks (Theorems 8.9.10 and question). Throughout this note we consider only complex algebras. Let A and B be complex algebras. A linear mapping T from A into B is called jordan homomorphism if T( $x^{1}$) = (Tx)$^{2}$ for all x in A. A linear mapping T : A .rarw. B is called spectrally-contractive mapping if .rho.(Tx).leq..rho.(x) for all x in A, where .rho.(x) denotes spectral radius of element x. Any homomorphism algebra is a spectrally-contractive mapping. If A and B are *-algebras, then a homomorphism T : A.rarw.B is called *-homomorphism if (Th)$^{*}$=Th for all self-adjoint element h in A. Recall that a Banach *-algebras is a complex Banach algebra with an involution *. An $A^{*}$-algebra A is a Banach *-algebra having anauxiliary norm vertical bar . vertical bar which satisfies $B^{*}$-condition vertical bar $x^{*}$x vertical bar = vertical bar x vertical ba $r^{2}$(x in A). A Banach *-algebra whose norm is an algebra $B^{*}$-norm is called $B^{*}$-algebra. The *-semi-simple Banach *-algebras and the semi-simple hermitian Banach *-algebras are $A^{*}$-algebras. Also, $A^{*}$-algebras include $B^{*}$-algebras ( $C^{*}$-algebras). Recall that a semi-prime algebra is an algebra without nilpotents two-sided ideals non-zero. The class of semi-prime algebras includes the class of semi-prime algebras and the class of prime algebras. For all concepts and basic facts about Banach algebras we refer to [2] and [8].].er to [2] and [8].].

• Kyungpook Mathematical Journal
• /
• v.27 no.1
• /
• pp.27-33
• /
• 1987

Minimal s-Urysohn and minimal s-regular spaces are studied. An s-Urysohn (respectively, s-regular) space (X, $\mathfrak{T}$) is said to be minimal s-Urysohn (respectively, minimal s-regular) if for no topology $\mathfrak{T}^{\prime}$ on X which is strictly weaker than $\mathfrak{T}$, (X, $\mathfrak{T}^{\prime}$) is s-Urysohn (respectively s-regular). Several characterizations and other related properties of these classes of spaces have been obtained. The present paper is a study of minimal P-spaces where P refers to the property of being an s-Urysohn space or an s-regular space. A P-space (X, $\mathfrak{T}$) is said to be minimal P if for no topology $\mathfrak{T}^{\prime}$ on X such that $\mathfrak{T}^{\prime}$ is strictly weaker than $\mathfrak{T}$, (X, $\mathfrak{T}^{\prime}$) has the property P. A space X is said to be s-Urysohn [2] if for any two distinct points x and y of X there exist semi-open set U and V containing x and y respectively such that $clU{\bigcap}clV={\phi}$, where clU denotes the closure of U. A space X is said to be s-regular [6] if for any point x and a closed set F not containing x there exist disjoint semi-open sets U and V such that $x{\in}U$ and $F{\subseteq}V$. Throughout the paper the spaces are assumed to be Hausdorff.

• Bulletin of the Korean Mathematical Society
• /
• v.48 no.2
• /
• pp.277-290
• /
• 2011

We show that the ${\theta}$-prime radical of a ring R is the set of all strongly ${\theta}$-nilpotent elements in R, where ${\theta}$ is an automorphism of R. We observe some conditions under which the ${\theta}$-prime radical of coincides with the prime radical of R. Moreover we characterize elements in prime radicals of skew Laurent polynomial rings, studying (${\theta}$, ${\theta}^{-1}$)-(semi)primeness of ideals of R.

• Bulletin of the Korean Mathematical Society
• /
• v.59 no.1
• /
• pp.203-212
• /
• 2022

A simple graph is called semi-symmetric if it is regular and edge transitive but not vertex transitive. In this paper we prove that there is no connected cubic semi-symmetric graph of order 12p³ for any prime number p.

• Journal of the Korean Society of Industry Convergence
• /
• v.5 no.4
• /
• pp.309-312
• /
• 2002

Motivated by the problem of steady-state heat conduction in a rod whose heat flux at one end is determined by observation of the temperature and heat flux at some point ${\xi}$ in the interior of the rod, we consider the problem y"(x)=a(x, y(x))y(x) (0$${\lim_{x{\rightarrow}{\infty}}}y(x)=0,\;y^{\prime}(0)=g(y({\xi}),\;y^{\prime}({\xi}))$$ for some fixed ${\xi}{\in}(0,{\infty})$. We establish conditions guaranteeing existence and uniqueness for this problem on the semi-infinite interval [0,${\infty}$).

• Korean Journal of Mathematics
• /
• v.17 no.3
• /
• pp.283-291
• /
• 2009

We investigate the existence of multiple solutions (${\xi},{\eta}$) for perturbations of the parabolic system with Dirichlet boundary condition $$(0.1)\;\begin{array}{lcr}{\xi}_t=-L{\xi}+g_1(3{\xi}+{\eta})-s{\phi}_1-h_1(x,t)\;in\;{\Omega}{\times}(0,\;2{\pi}),\\{\eta}_t=-L{\eta}+g_2(3{\xi}+{\eta})-s{\phi}_1-h_2(x,t)\;in\;{\Omega}{\times}(0,\;2{\pi}).\end{array}$$ We show the existence of multiple solutions (${\xi},{\eta}$) for perturbations of the parabolic system when the nonlinearity $g^{\prime}_1,\;g^{\prime}_2$ are bounded and $3g^{\prime}_1(-{\infty})+g^{\prime}_2(-{\infty})<{\lambda}_1,\;{\lambda}_n<3g^{\prime}_1(+{\infty})+g^{\prime}_2(+{\infty})<{\lambda}_{n+1}$.

• Bulletin of the Korean Mathematical Society
• /
• v.47 no.4
• /
• pp.715-726
• /
• 2010

We continue the study of fully idempotent rings initiated by Courter. It is shown that a (semi)prime ring, but not fully idempotent, can be always constructed from any (semi)prime ring. It is shown that the full idempotence is both Morita invariant and a hereditary radical property, obtaining $hs(Mat_n(R))\;=\;Mat_n(hs(R))$ for any ring R where hs(-) means the sum of all fully idempotent ideals. A non-semiprimitive fully idempotent ring with identity is constructed from the Smoktunowicz's simple nil ring. It is proved that the full idempotence is preserved by the classical quotient rings. More properties of fully idempotent rings are examined and necessary examples are found or constructed in the process.