• Honam Mathematical Journal
• /
• v.43 no.2
• /
• pp.199-207
• /
• 2021

In this paper we introduce two classes of modules namely e-symmetric and e-reduced. Also, we study the characterizations of e-symmetric and e-reduced modules and their related properties.

• East Asian mathematical journal
• /
• v.34 no.5
• /
• pp.615-621
• /
• 2018

Let R be a ring with the unity 1, and let e be an idempotent of R. In this paper, we discuss some symmetric property for the set $\{(a_1,a_2,{\cdots},a_n){\in}R^n:a_1a_2{\cdots}a_n=e\}$. We here investigate some properties of those rings with such a symmetric property for an arbitrary idempotent e; some of our results turn out to generalize some known results observed already when n = 2 and e = 0, 1 by several authors. We also focus especially on the case when n = 3 and e = 1. As consequences of our observation, we also give some equivalent conditions to the commutativity for some classes of rings, in terms of the symmetric property.

• Communications of the Korean Mathematical Society
• /
• v.34 no.1
• /
• pp.43-54
• /
• 2019

Let R be a ring with identity and J(R) denote the Jacobson radical of R, i.e., the intersection of all maximal left ideals of R. A ring R is called J-symmetric if for any $a,b,c{\in}R$, abc = 0 implies $bac{\in}J(R)$. We prove that some results of symmetric rings can be extended to the J-symmetric rings for this general setting. We give many characterizations of such rings. We show that the class of J-symmetric rings lies strictly between the class of symmetric rings and the class of directly finite rings.

• Kyungpook Mathematical Journal
• /
• v.61 no.1
• /
• pp.11-21
• /
• 2021

We study the structure of rings whose factor rings modulo nonzero proper ideals are right duo; such rings are called right FD. We first see that this new ring property is not left-right symmetric. We prove for a non-prime right FD ring R that R is a subdirect product of subdirectly irreducible right FD rings; and that R/N∗(R) is a subdirect product of right duo domains, and R/J(R) is a subdirect product of division rings, where N∗(R) (J(R)) is the prime (Jacobson) radical of R. We study the relation among right FD rings, division rings, commutative rings, right duo rings and simple rings, in relation to matrix rings, polynomial rings and direct products. We prove that if a ring R is right FD and 0 ≠ e2 = e ∈ R then eRe is also right FD, examining that the class of right FD rings is not closed under subrings.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2007.11a
• /
• pp.1218-1223
• /
• 2007

In this study, we experimentally investigate the equivalent ring theory for a slightly asymmetric ring. The slightly asymmetric ring has mode pair and frequency pair due to the small asymmetry and this mode pair generates beat in vibration and sound. In this paper, a slightly asymmetric ring is modeled as the equivalent ring, i.e., the assemblage of a symmetric ring and imperfect point masses. The equivalent ring has the same mode pair condition as that of the original asymmetric ring. Effect of the additional mass attachment is investigated by the equivalent ring theory and the result is compared with those of the measurement and the finite element analysis. It is confirmed that the original ring and the equivalent ring show the same change in frequency and mode under the various additional imperfection mass conditions. The equivalent ring theory explains how the asymmetric elements influence the mode characteristics and provides useful information to tune the beat property.

• Bulletin of the Korean Mathematical Society
• /
• v.36 no.4
• /
• pp.671-682
• /
• 1999

Using a base-point free version of the infinite symmetric product we define a fibrewise infinite symmetric product for any fibration $E\;\longrightarrow\;B$. The construction works for any commutative ring R with unit and is denoted by $R_f(E)\;l\ongrightarrow\;B$. For any pointed space B let $G_I(B)\;\longrightarrow\;B$ be the i-th Ganea fibration. Defining $M_R-cat(B):= inf{i\midR_f(G_i(B))\longrihghtarrow\;B$ admits a section} we obtain an approximation to the Lusternik-Schnirelmann category of B which satisfies .g.a product formula. In particular, if B is a 1-connected rational space of finite rational type, then $M_Q$-cat(B) coincides with the well-known (purely algebraically defined) M-category of B which in fact is equal to cat (B) by a result of K.Hess. All the constructions more generally apply to the Ganea category of maps.

• Bulletin of the Korean Mathematical Society
• /
• v.60 no.6
• /
• pp.1463-1475
• /
• 2023

In this paper, we introduce a class of rings generalizing unit regular rings and being a subclass of semipotent rings, which is called idempotent unit regular. We call a ring R an idempotent unit regular ring if for all r ∈ R - J(R), there exist a non-zero idempotent e and a unit element u in R such that er = eu, where this condition is left and right symmetric. Thus, we have also that there exist a non-zero idempotent e and a unit u such that ere = eue for all r ∈ R - J(R). Various basic characterizations and properties of this class of rings are proved and it is given the relationships between this class of rings and some well-known classes of rings such as semiperfect, clean, exchange and semipotent. Moreover, we obtain some results about when the endomorphism ring of a module in a class of left R-modules X is idempotent unit regular.

• Kyungpook Mathematical Journal
• /
• v.62 no.3
• /
• pp.437-453
• /
• 2022

Unlike for polynomial rings, the notion of multiplication for the near-ring of polynomials is the substitution operation. This leads to somewhat surprising results. Let S be an abelian left near-ring with identity. The relation ~ on S defined by letting a ~ b if and only if ann_S(a) = ann_S(b), is an equivalence relation. The compressed zero-divisor graph 𝚪_E(S) of S is the undirected graph whose vertices are the equivalence classes induced by ~ on S other than [0]_S and [1]_S, in which two distinct vertices [a]_S and [b]_S are adjacent if and only if ab = 0 or ba = 0. In this paper, we are interested in studying the compressed zero-divisor graphs of the zero-symmetric near-ring of polynomials R₀[x] and the near-ring of the power series R₀[[x]] over a commutative ring R. Also, we give a complete characterization of the diameter of these two graphs. It is natural to try to find the relationship between diam(𝚪_E(R₀[x])) and diam(𝚪_E(R₀[[x]])). As a corollary, it is shown that for a reduced ring R, diam(𝚪_E(R)) ≤ diam(𝚪_E(R₀[x])) ≤ diam(𝚪_E(R₀[[x]])).

• Communications of the Korean Mathematical Society
• /
• v.22 no.1
• /
• pp.41-51
• /
• 2007

Let R be a ring with left identity e and suitably-restricted additive torsion, and Z(R) its center. Let H : $R{\times}R{\times}R{\rightarrow}R$ be a symmetric 3-additive mapping, and let h be the trace of H. In this paper we show that (i) if for each $x{\in}R$, $$n=<<\cdots,\;x>,\;\cdots,x>{\in}Z(R)$$ with $n\geq1$ fixed, then h is commuting on R. Moreover, h is of the form $$h(x)=\lambda_0x^3+\lambda_1(x)x^2+\lambda_2(x)x+\lambda_3(x)\;for\;all\;x{\in}R$$, where $\lambda_0\;{\in}\;Z(R)$, $\lambda_1\;:\;R{\rightarrow}R$ is an additive commuting mapping, $\lambda_2\;:\;R{\rightarrow}R$ is the commuting trace of a bi-additive mapping and the mapping $\lambda_3\;:\;R{\rightarrow}Z(R)$ is the trace of a symmetric 3-additive mapping; (ii) for each $x{\in}R$, either $n=0\;or\;<n,\;x^m>=0$ with $n\geq0,\;m\geq1$ fixed, then h = 0 on R, where denotes the product yx+xy and Z(R) is the center of R. We also present the conditions which implies commutativity in rings with identity as motivated by the above result.

• Bulletin of the Korean Mathematical Society
• /
• v.22 no.1
• /
• pp.11-15
• /
• 1985

Manddelberg [9] has shown that a Clifford algebra of a free quadratic space over an arbitrary semi-local ring R in Brawer-Wall group BW(R) is determined by its rank, determinant, and Hasse invariant. In this paper, we prove a corresponding result when R is a full ring.Throughout this paper, unless otherwise specified, we assume that R is a commutative ring having 2 a unit. A quadratic space (V, B, .phi.) over R is a finitely generated projective R-module V with a symmetric bilinear mapping B: V*V.rarw.R which is non-degenerate (i.e., the natural mapping V.rarw.Ho $m_{R}$(V,R) induced by B is an isomorphism), and with a quadratic mapping .phi.: V.rarw.R such that B(x,y)=1/2(.phi.(x+y)-.phi.(x)-.phi.(y)) and .phi.(rx) = $r^{2}$.phi.(x) for all x, y in V and r in R. We denote the group of multiplicative units of R by U9R). If (V, B, .phi.) is a free rank n quadratic space over R with an orthogonal basis { $x_{1}$,.., $x_{n}$}, we will write < $a_{1}$,.., $a_{n}$> for (V, B, .phi.) where the $a_{i}$=.phi.( $x_{i}$) are in U(R), and denote the space by the table [ $a_{ij}$ ] where $a_{ij}$ =B( $x_{i}$, $x_{j}$). In the case n=2 and B( $x_{1}$, $x_{2}$)=1/2 we reserve the notation [a $a_{11}$, $a_{22}$] for the space. A commutative ring R having 2 a unit is called full [10] if for every triple $a_{1}$, $a_{2}$, $a_{3}$ of elements in R with ( $a_{1}$, $a_{2}$, $a_{3}$)=R, there is an element w in R such that $a_{1}$+ $a_{2}$w+ $a_{3}$ $w^{2}$=unit.TEX>=unit.t.t.t.