• Kyungpook Mathematical Journal
• /
• v.49 no.2
• /
• pp.221-233
• /
• 2009

In this article, we generalize a well-known result of Hebisch and Weinert that states that a finite semidomain is either zerosumfree or a ring. Specifically, we show that the class of commutative semirings S such that S has nonzero characteristic and every zero-divisor of S is nilpotent can be partitioned into zerosumfree semirings and rings. In addition, we demonstrate that if S is a finite commutative semiring such that the set of zero-divisors of S forms a subtractive ideal of S, then either every zero-sum of S is nilpotent or S must be a ring. An example is given to establish the existence of semirings in this latter category with both nontrivial zero-sums and zero-divisors that are not nilpotent.

• 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.

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

Let D be an integrally closed domain with quotient field K, X be an indeterminate over D, $f=a_0+a_1X+{\cdots}+a_nX^n{\in}D[X]$ be irreducible in K[X], and $Q_f=fK[X]{\cap}D[X]$. In this paper, we show that $Q_f$ is a maximal ideal of D[X] if and only if $(\frac{a_1}{a_0},{\cdots},\frac{a_n}{a_0}){\subseteq}P$ for all nonzero prime ideals P of D; in this case, $Q_f=\frac{1}{a_0}fD[X]$. As a corollary, we have that if D is a Krull domain, then D has infinitely many height-one prime ideals if and only if each maximal ideal of D[X] has height ${\geq}2$.

• Journal of the Korean Mathematical Society
• /
• v.45 no.6
• /
• pp.1647-1659
• /
• 2008

Let R be a ring with identity, X the set of all nonzero, nonunits of R and G the group of all units of R. First, we investigate some connected conditions of the zero-divisor graph $\Gamma(R)$ of a noncommutative ring R as follows: (1) if $\Gamma(R)$ has no sources and no sinks, then $\Gamma(R)$ is connected and diameter of $\Gamma(R)$, denoted by diam($\Gamma(R)$) (resp. girth of $\Gamma(R)$, denoted by g($\Gamma(R)$)) is equal to or less than 3; (2) if X is a union of finite number of orbits under the left (resp. right) regular action on X by G, then $\Gamma(R)$ is connected and diam($\Gamma(R)$) (resp. g($\Gamma(R)$)) is equal to or less than 3, in addition, if R is local, then there is a vertex of $\Gamma(R)$ which is adjacent to every other vertices in $\Gamma(R)$; (3) if R is unit-regular, then $\Gamma(R)$ is connected and diam($\Gamma(R)$) (resp. g($\Gamma(R)$)) is equal to or less than 3. Next, we investigate the graph automorphisms group of $\Gamma(Mat_2(\mathbb{Z}_p))$ where $Mat_2(\mathbb{Z}_p)$ is the ring of 2 by 2 matrices over the galois field $\mathbb{Z}_p$ (p is any prime).

• Journal of the Chungcheong Mathematical Society
• /
• v.30 no.2
• /
• pp.177-181
• /
• 2017

Let $f:M{\rightarrow}M$ be a diffeomorphism of a compact smooth manifold M. In this paper, we show that $C^1$ generically, if a chain transitive set ${\Lambda}$ is locally maximal then it admits a dominated splitting. Moreover, $C^1$ generically if a chain transitive set ${\Lambda}$ of f is locally maximal then it has zero entropy.

• East Asian mathematical journal
• /
• v.22 no.1
• /
• pp.61-69
• /
• 2006

A near-ring N is reduced if, for $a{\in}N,\;a^2=0$ implies a=0, and N is left strongly regular if for all $a{\in}N$ there exists $x{\in}N$ such that $a=xa^2$. Mason introduced this notion and characterized left strongly regular zero-symmetric unital near-rings. Several authors ([2], [5], [7]) studied these properties in near-rings. Reddy and Murty extended some results in Mason to the non-zero symmetric case. In this paper, we will define a concept of strong reducedness and investigate a relation between strongly reduced near-rings and left strongly regular near-rings.

• Honam Mathematical Journal
• /
• v.40 no.1
• /
• pp.75-82
• /
• 2018

Let P be a commutator poset with Z(P) its set of zero-divisors. The annihilator graph of P, denoted by AG(P), is the (undirected) graph with all elements of $Z(P){\setminus}\{0\}$ as vertices, and distinct vertices x, y are adjacent if and only if $ann(xy)\;{\neq}\;(x)\;{\cup}\;ann(y)$. In this paper, we study basic properties of AG(P).

• Korean Journal of Mathematics
• /
• v.27 no.1
• /
• pp.9-15
• /
• 2019

In this paper, we study a type of Riemannian manifold, namely quasi Ricci symmetric manifold. Among others, we show that the scalar curvature of a quasi Ricci symmetric manifold is constant. In addition if the manifold is Einstein, then its Ricci tensor is zero. Also we prove that if the associated vector field of a quasi Ricci symmetric manifold is either recurrent or concurrent, then its Ricci tensor is zero.

• 제어로봇시스템학회:학술대회논문집
• /
• 1996.10b
• /
• pp.609-611
• /
• 1996

Zero-Cross Detector makes pilot signal to control the power to CEDM(Control Element Drive Mechanism). Existing Zero-Cross Detectors has had a problem which can cause unexpected reactor trip resulted from fluctuating frequency of input signal coming from M/G Set. The existing Zero-Cross Detector can't work properly when power frequency is varying because it was designed to work under stable M/G Set operation, and produces wrong pilot signal and output voltage. In this report the Zero-Cross Detector is improved to resolve voltage fluctuating problem by using new devices such as digital noise filtering circuit, variable cycle compensator and alarm circuit. And through the performance verification it shows that new circuit is better than old one. If suggested detector is applied to plant, it is possible to use it under House Load Operation because stable voltage can be generated by new Zero-Cross Detector.

• Journal of the Korean Mathematical Society
• /
• v.52 no.6
• /
• pp.1323-1336
• /
• 2015

Let S be a semigroup with 0 and R be a ring with 1. We extend the definition of the zero-divisor graphs of commutative semigroups to not necessarily commutative semigroups. We define an annihilating-ideal graph of a ring as a special type of zero-divisor graph of a semigroup. We introduce two ways to define the zero-divisor graphs of semigroups. The first definition gives a directed graph ${\Gamma}$(S), and the other definition yields an undirected graph ${\overline{\Gamma}}$(S). It is shown that ${\Gamma}$(S) is not necessarily connected, but ${\overline{\Gamma}}$(S) is always connected and diam$({\overline{\Gamma}}(S)){\leq}3$. For a ring R define a directed graph ${\mathbb{APOG}}(R)$ to be equal to ${\Gamma}({\mathbb{IPO}}(R))$, where ${\mathbb{IPO}}(R)$ is a semigroup consisting of all products of two one-sided ideals of R, and define an undirected graph ${\overline{\mathbb{APOG}}}(R)$ to be equal to ${\overline{\Gamma}}({\mathbb{IPO}}(R))$. We show that R is an Artinian (resp., Noetherian) ring if and only if ${\mathbb{APOG}}(R)$ has DCC (resp., ACC) on some special subset of its vertices. Also, it is shown that ${\overline{\mathbb{APOG}}}(R)$ is a complete graph if and only if either $(D(R))^2=0,R$ is a direct product of two division rings, or R is a local ring with maximal ideal m such that ${\mathbb{IPO}}(R)=\{0,m,m^2,R\}$. Finally, we investigate the diameter and the girth of square matrix rings over commutative rings $M_{n{\times}n}(R)$ where $n{\geq} 2$.