• Kyungpook Mathematical Journal
• /
• 제58권1호
• /
• pp.1-8
• /
• 2018

We prove that if R is a commutative ring, then every maximal ideal of R is idempotent if and only if every locally noetherian (locally artinian) R-module is semisimple.

• Kyungpook Mathematical Journal
• /
• 제54권3호
• /
• pp.471-476
• /
• 2014

Let R be a ring. A right R-module M is PS-injective if every R-homomorphism $f:aR{\rightarrow}M$ for every principally small right ideal aR can be extended to $R{\rightarrow}M$. We investigate, in this paper, rings whose simple singular modules are PS-injective. New characterizations of semiprimitive rings and semisimple Artinian rings are given.

• 대한수학회지
• /
• 제51권1호
• /
• pp.87-98
• /
• 2014

Let R be a commutative ring with identity and M an R-module. In this paper, we associate a graph to M, say ${\Gamma}(M)$, such that when M = R, ${\Gamma}(M)$ is exactly the classic zero-divisor graph. Many well-known results by D. F. Anderson and P. S. Livingston, in [5], and by D. F. Anderson and S. B. Mulay, in [6], have been generalized for ${\Gamma}(M)$ in the present article. We show that ${\Gamma}(M)$ is connected with $diam({\Gamma}(M)){\leq}3$. We also show that for a reduced module M with $Z(M)^*{\neq}M{\backslash}\{0\}$, $gr({\Gamma}(M))={\infty}$ if and only if ${\Gamma}(M)$ is a star graph. Furthermore, we show that for a finitely generated semisimple R-module M such that its homogeneous components are simple, $x,y{\in}M{\backslash}\{0\}$ are adjacent if and only if $xR{\cap}yR=(0)$. Among other things, it is also observed that ${\Gamma}(M)={\emptyset}$ if and only if M is uniform, ann(M) is a radical ideal, and $Z(M)^*{\neq}M{\backslash}\{0\}$, if and only if ann(M) is prime and $Z(M)^*{\neq}M{\backslash}\{0\}$.

• Kyungpook Mathematical Journal
• /
• 제61권4호
• /
• pp.679-710
• /
• 2021

We study the tensor product algebra P_k(x₁) ⊗ P_k(x₂) ⊗ ⋯ ⊗ P_k(x_m), where P_k(x) is the partition algebra defined by Jones and Martin. We discuss the centralizer of this algebra and corresponding Schur-Weyl dualities and also index the inequivalent irreducible representations of the algebra P_k(x₁) ⊗ P_k(x₂) ⊗ ⋯ ⊗ P_k(x_m) and compute their dimensions in the semisimple case. In addition, we describe the Bratteli diagrams and branching rules. Along with that, we have also constructed the RS correspondence for the tensor product of m-partition algebras which gives the bijection between the set of tensor product of m-partition diagram of P_k(n₁) ⊗ P_k(n₂) ⊗ ⋯ ⊗ P_k(n_m) and the pairs of m-vacillating tableaux of shape [λ] ∈ Γ_k^m, Γ_k^m = {[λ] = (λ₁, λ₂, …, λ_m)|λ_i ∈ Γ_k, i ∈ {1, 2, …, m}} where Γ_k = {λ_i ⊢ t|0 ≤ t ≤ k}. Also, we provide proof of the identity $(n_1n_2{\cdots}n_m)^k={\sum}_{[{\lambda}]{\in}{\Lambda}^k_{{n_1},{n_2},{\ldots},{n_m}}}$ f^[λ]m_k^[λ] where m_k^[λ] is the multiplicity of the irreducible representation of $S{_{n_1}}{\times}S{_{n_2}}{\times}....{\times}S{_{n_m}}$ module indexed by ${[{\lambda}]{\in}{\Lambda}^k_{{n_1},{n_2},{\ldots},{n_m}}}$, where f^[λ] is the degree of the corresponding representation indexed by ${[{\lambda}]{\in}{\Lambda}^k_{{n_1},{n_2},{\ldots},{n_m}}}$ and ${[{\lambda}]{\in}{\Lambda}^k_{{n_1},{n_2},{\ldots},{n_m}}}=\{[{\lambda}]=({\lambda}_1,{\lambda}_2,{\ldots},{\lambda}_m){\mid}{\lambda}_i{\in}{\Lambda}^k_{n_i},i{\in}\{1,2,{\ldots},m\}\}$ where ${\Lambda}^k_{n_i}=\{{\mu}=({\mu}_1,{\mu}_2,{\ldots},{\mu}_t){\vdash}n_i{\mid}n_i-{\mu}_1{\leq}k\}$.