• Journal of the Korean Mathematical Society
• /
• v.31 no.3
• /
• pp.367-373
• /
• 1994

Let us consider the Cauchy problem $$ {\rho_t + \upsilon \cdot \nabla\rho = 0 {\rho[\upsilon_t + (\upsilon \cdot \nabla)\upsilon] + \nabla p + \rho f {div \upsilon = 0 (1.1) {\rho$\mid$_t = 0 = \rho_0(x) {\upsilon$\mid$_t = 0 = \upsilon_0(x) $$ in $Q_T = R^3 \times [0,T]$, where $f(x,t), \rho_0(x) and \upsilon_0(x)$ are given, while the density $\rho(x,t)$, the velocity vector $\upsilon(x,t) = (\upsilon^1(x,t),\upsilon^2(x,t),\upsilon^3(x,t))$ and the pressure p(x,t) are unknowns. The equations $(1.1)_1 - (1.1)_3$ describe the motion of a nonhomogeneous ideal incompressible fluid.

• Communications of the Korean Mathematical Society
• /
• v.37 no.2
• /
• pp.337-345
• /
• 2022

Let R ⊆ T be an extension of a commutative ring and S ⊆ R a multiplicative subset. We say that (R, T) is an S-accr (a commutative ring R is said to be S-accr if every ascending chain of residuals of the form (I : B) ⊆ (I : B²) ⊆ (I : B³) ⊆ ⋯ is S-stationary, where I is an ideal of R and B is a finitely generated ideal of R) pair if every ring A with R ⊆ A ⊆ T satisfies S-accr. Using this concept, we give an S-version of several different known results.

• Bulletin of the Korean Mathematical Society
• /
• v.47 no.2
• /
• pp.385-399
• /
• 2010

Let $\sigma$ be an endomorphism and I a $\sigma$-ideal of a ring R. Pearson and Stephenson called I a $\sigma$-semiprime ideal if whenever A is an ideal of R and m is an integer such that $A{\sigma}^t(A)\;{\subseteq}\;I$ for all $t\;{\geq}\;m$, then $A\;{\subseteq}\;I$, where $\sigma$ is an automorphism, and Hong et al. called I a $\sigma$-rigid ideal if $a{\sigma}(a)\;{\in}\;I$ implies a $a\;{\in}\;I$ for $a\;{\in}\;R$. Notice that R is called a $\sigma$-semiprime ring (resp., a $\sigma$-rigid ring) if the zero ideal of R is a $\sigma$-semiprime ideal (resp., a $\sigma$-rigid ideal). Every $\sigma$-rigid ideal is a $\sigma$-semiprime ideal for an automorphism $\sigma$, but the converse does not hold, in general. We, in this paper, introduce the quasi $\sigma$-rigidness of ideals and rings for an automorphism $\sigma$ which is in between the $\sigma$-rigidness and the $\sigma$-semiprimeness, and study their related properties. A number of connections between the quasi $\sigma$-rigidness of a ring R and one of the Ore extension $R[x;\;{\sigma},\;{\delta}]$ of R are also investigated. In particular, R is a (principally) quasi-Baer ring if and only if $R[x;\;{\sigma},\;{\delta}]$ is a (principally) quasi-Baer ring, when R is a quasi $\sigma$-rigid ring.

• Journal of applied mathematics & informatics
• /
• v.20 no.1_2
• /
• pp.455-464
• /
• 2006

In this paper, we introduce the concept of an interval-valued fuzzy left (right, two-sided, interior, bi-) ideal generated by an interval-valued fuzzy subset in semigroups. Some characterizations of such generated interval-valued fuzzy ideals are also discussed.

• Kyungpook Mathematical Journal
• /
• v.46 no.2
• /
• pp.261-271
• /
• 2006

In this paper, we investigate and characterize the class of A-semirings. A characterization of the Thierrin radical of a proper ideal of an A-semiring is given. Moreover, when P is a Q-ideal in the semiring R, it is shown that P is primary if and only if R/P is nilpotent.

• Bulletin of the Korean Mathematical Society
• /
• v.55 no.1
• /
• pp.187-204
• /
• 2018

Let $R={\bigoplus}_{{\alpha}{\in}{\Gamma}}\;R_{\alpha}$ be a graded integral domain, H be the set of nonzero homogeneous elements of R, and ${\star}$ be a semistar operation on R. The purpose of this paper is to study the properties of $quasi-Pr{\ddot{u}}fer$ and UMt-domains of graded integral domains. For this reason we study the graded analogue of ${\star}-quasi-Pr{\ddot{u}}fer$ domains called $gr-{\star}-quasi-Pr{\ddot{u}}fer$ domains. We study several ring-theoretic properties of $gr-{\star}-quasi-Pr{\ddot{u}}fer$ domains. As an application we give new characterizations of UMt-domains. In particular it is shown that R is a $gr-t-quasi-Pr{\ddot{u}}fer$ domain if and only if R is a UMt-domain if and only if RP is a $quasi-Pr{\ddot{u}}fer$ domain for each homogeneous maximal t-ideal P of R. We also show that R is a UMt-domain if and only if H is a t-splitting set in R[X] if and only if each prime t-ideal Q in R[X] such that $Q{\cap}H ={\emptyset}$ is a maximal t-ideal.

• Bulletin of the Korean Mathematical Society
• /
• v.38 no.4
• /
• pp.663-668
• /
• 2001

X and Y are Banach spaces for which K(X, Y), the space of compact operators from X to Y, is an M-ideal in L(X, Y), the space of bounded linear operators form X to Y. If Z is a closed subspace of Y such that L(X, Z) has property SU in L(X, Y) and d(T, K(X, Z)) = d(T, K(X, Y)) for all $T \in L(X, Z)$, then K(X, Z) is an M-ideal in L(X, Z) if and only if it has property SU is L(X, Z).

• Honam Mathematical Journal
• /
• v.28 no.4
• /
• pp.533-541
• /
• 2006

let E be a Finsler modules over $C^*$-algebras. A with norm-map $\rho$ and L(E) set of all A-linear bonded operators on E. We show that the canonical homomorphism ${\phi}:L(E){\rightarrow}L(E_I)$ sending each operator T to its restriction $T|E_I$ is injective if and only if I is an essential ideal in the underlying $C^*$-algebra A. We also show that $T{\in}L(E)$ is a bounded below if and only if ${\mid}{\mid}x{\mid}{\mid}={\mid}{\mid}{\rho}{\prime}(x){\mid}{\mid}$ is complete, where ${\rho}{\prime}(x)={\rho}(Tx)$ for all $x{\in}E$. Also, we give a necessary and sufficient condition for the equivalence of the norms generated by the norm map.

• Journal of the Korean Mathematical Society
• /
• v.54 no.6
• /
• pp.1733-1757
• /
• 2017

Let $R={\oplus}_{{\alpha}{\in}{\Gamma}}R_{\alpha}$ be an integral domain graded by an arbitrary torsionless grading monoid ${\Gamma}$, ${\bar{R}}$ be the integral closure of R, H be the set of nonzero homogeneous elements of R, C(f) be the fractional ideal of R generated by the homogeneous components of $f{\in}R_H$, and $N(H)=\{f{\in}R{\mid}C(f)_v=R\}$. Let $R_H$ be a UFD. We say that a nonzero prime ideal Q of R is an upper to zero in R if $Q=fR_H{\cap}R$ for some $f{\in}R$ and that R is a graded UMT-domain if each upper to zero in R is a maximal t-ideal. In this paper, we study several ring-theoretic properties of graded UMT-domains. Among other things, we prove that if R has a unit of nonzero degree, then R is a graded UMT-domain if and only if every prime ideal of $R_{N(H)}$ is extended from a homogeneous ideal of R, if and only if ${\bar{R}}_{H{\backslash}Q}$ is a graded-$Pr{\ddot{u}}fer$ domain for all homogeneous maximal t-ideals Q of R, if and only if ${\bar{R}}_{N(H)}$ is a $Pr{\ddot{u}}fer$ domain, if and only if R is a UMT-domain.

• Journal of applied mathematics & informatics
• /
• v.36 no.3_4
• /
• pp.237-244
• /
• 2018

Let ${\mathcal{H}}$ be an infinite dimensional separable Hilbert space with a fixed orthonormal base $\{e_1,e_2,{\cdots}\}$. Let L be the subspace lattice generated by the subspaces $\{[e_1],[e_1,e_2],[e_1,e_2,e_3],{\cdots}\}$ and let $Alg{\mathcal{L}}$ be the algebra of bounded operators which leave invariant all projections in ${\mathcal{L}}$. Let p and q be natural numbers (p < q). Let ${\mathcal{A}}$ be a linear manifold in $Alg{\mathcal{L}}$ such that $T_{(p,q)}=0$ for all T in ${\mathcal{A}}$. If ${\mathcal{A}}$ is a Lie ideal, then $T_{(p,p)}=T_{(p+1,p+1)}={\cdots}=T_{(q,q)}$ and $T_{(i,j)}=0$, $p{\eqslantless}i{\eqslantless}q$ and i < $j{\eqslantless}q$ for all T in ${\mathcal{A}}$.