• Communications of the Korean Mathematical Society
• /
• v.38 no.4
• /
• pp.1001-1017
• /
• 2023

Let R be a commutative graded ring with nonzero identity and n a positive integer. Our principal aim in this paper is to introduce and study the notions of graded n-irreducible and strongly graded n-irreducible ideals which are generalizations of n-irreducible and strongly n-irreducible ideals to the context of graded rings, respectively. A proper graded ideal I of R is called graded n-irreducible (respectively, strongly graded n-irreducible) if for each graded ideals I₁, . . . , I_n+1 of R, I = I₁ ∩ · · · ∩ I_n+1 (respectively, I₁ ∩ · · · ∩ I_n+1 ⊆ I ) implies that there are n of the I_i 's whose intersection is I (respectively, whose intersection is in I). In order to give a graded study to this notions, we give the graded version of several other results, some of them are well known. Finally, as a special result, we give an example of a graded n-irreducible ideal which is not an n-irreducible ideal and an example of a graded ideal which is graded n-irreducible, but not graded (n - 1)-irreducible.

• Honam Mathematical Journal
• /
• v.28 no.3
• /
• pp.327-332
• /
• 2006

Prime elements and ${\bigwedge}$-irreducible elements are introduced, and related properties are investigated.

• Bulletin of the Korean Mathematical Society
• /
• v.58 no.3
• /
• pp.711-720
• /
• 2021

Let R denote a commutative noetherian ring, and let 𝐱 := x1, …, xd be an R-regular sequence. Suppose that 𝖆 denotes a monomial ideal with respect to 𝐱. The first purpose of this article is to show that 𝖆 is irreducible if and only if 𝖆 is a generalized-parametric ideal. Next, it is shown that, for any integer n ≥ 1, (x1, …, xd)n = ⋂P(f), where the intersection (irredundant) is taken over all monomials f = xe11 ⋯ xedd such that deg(f) = n - 1 and P(f) := (xe1+11, ⋯, xed+1d). The second main result of this paper shows that if 𝖖 := (𝐱) is a prime ideal of R which is contained in the Jacobson radical of R and R is 𝖖-adically complete, then 𝖆 is a parameter ideal if and only if 𝖆 is a monomial irreducible ideal and Rad(𝖆) = 𝖖. In addition, if a is generated by monomials m1, …, mr, then Rad(𝖆), the radical of a, is also monomial and Rad(𝖆) = (ω1, …, ωr), where ωi = rad(mi) for all i = 1, …, r.

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

• Communications of the Korean Mathematical Society
• /
• v.23 no.1
• /
• pp.1-10
• /
• 2008

Conditions for an ideal to be irreducible are provided. The notion of an order system in a subtraction algebra is introduced, and related properties are investigated. Relations between ideals and order systems are given. The concept of a fixed map in a subtraction algebra is discussed, and related properties are investigated.

• Bulletin of the Korean Mathematical Society
• /
• v.31 no.2
• /
• pp.163-165
• /
• 1994

Modules which satisfy the converse of Schur's lemma have been studied by many authors. In [6], R. Ware proved that a projective module P over a semiprime ring R is irreducible if and only if En $d_{R}$(P) is a division ring. Also, Y. Hirano and J.K. Park proved that a torsionless module M over a semiprime ring R is irreducible if and only if En $d_{R}$(M) is a division ring. In case R is a commutative ring, we obtain the following: An R-module M is irreducible if and only if En $d_{R}$(M) is a division ring and M is a multiplication R-module. Throughout this paper, R is commutative ring with identity and all modules are unital left R-modules. Let R be a commutative ring with identity and let M be an R-module. Then M is called a multiplication module if for each submodule N of M, there exists and ideal I of R such that N=IM. Cyclic R-modules are multiplication modules. In particular, irreducible R-modules are multiplication modules.dules.

• Bulletin of the Korean Mathematical Society
• /
• v.31 no.1
• /
• pp.61-72
• /
• 1994

Every irreducible block-finite orthomodular lattice is simple [9] and every irreducible orthomodular alttice such that no proper p-ideal of L contains infinitely many commutators is simple [5]. Every finite (height) OML L which does not belong to the varitety generated by MO2 has one of the OML MO3, 2$^{3}$.2$^{2}$, D$_{16}$ OMLHOUSE as the homomorpyhic image of a subalgebra of L [3]. In this paper, we extend these results.s.

• Korean Journal of Mathematics
• /
• v.21 no.3
• /
• pp.319-323
• /
• 2013

Let D be a principal ideal domain, X be an indeterminate over D, D[X] be the polynomial ring over D, and $R_n=D[X]/(X^n)$ for an integer $n{\geq}1$. Clearly, $R_n$ is a commutative Noetherian ring with identity, and hence each nonzero nonunit of $R_n$ can be written as a finite product of irreducible elements. In this paper, we show that every irreducible element of $R_n$ is a primary element, and thus every nonunit element of $R_n$ can be written as a finite product of primary elements.

• Journal of the Chungcheong Mathematical Society
• /
• v.22 no.2
• /
• pp.131-139
• /
• 2009

As a generalization of a homomorphism of BCK-algebras, the notion of a semi-homomorphism of BCK-algebras is introduced, and its characterization is given. A condition for a semi-homomorphism to be a homomorphism is provided.

• Communications of the Korean Mathematical Society
• /
• v.38 no.1
• /
• pp.123-135
• /
• 2023

It is proved that there is a one to one correspondence between representations of C^*-ternary ring M and C^*-algebra 𝒜(M). We discuss primitive and modular ideals of a C^*-ternary ring and prove that a closed ideal I is primitive or modular if and only if so is the ideal 𝒜(I) of 𝒜(M). We also show that a closed ideal in M is primitive if and only if it is the kernel of some irreducible representation of M. Lastly, we obtain approximate identity characterization of strongly quasi-central C^*-ternary ring and the ideal structure of the TRO V ⊗^tmin B for a C^*-algebra B.