• Korean Journal of Mathematics
• /
• 제21권4호
• /
• pp.463-471
• /
• 2013

Let R be a ring with identity 1, $I(R){\neq}\{0\}$ be the set of all nonunit idempotents in R, and M(R) be the set of all primitive idempotents and 0 of R. We say that I(R) is additive if for all e, $f{\in}I(R)$ ($e{\neq}f$), $e+f{\in}I(R)$. In this paper, the following are shown: (1) I(R) is a finite additive set if and only if $M(R){\backslash}\{0\}$ is a complete set of primitive central idempotents, char(R) = 2 and every nonzero idempotent of R can be expressed as a sum of orthogonal primitive idempotents of R; (2) for a regular ring R such that I(R) is a finite additive set, if the multiplicative group of all units of R is abelian (resp. cyclic), then R is a commutative ring (resp. R is a finite direct product of finite field).

• Journal of applied mathematics & informatics
• /
• 제18권1_2호
• /
• pp.25-43
• /
• 2005

Let F be a finite field of prime power order q(odd) and the multiplicative order of q modulo $2^{n}\;(n>1)\;be\; {\phi}(2^{n})/2$. If n > 3, then q is odd number(prime or prime power) of the form $8m{\pm}3$. If q = 8m - 3, then the ring $R_{2^n} = F[x]/ < x^{2^n}-1 >$ has 2n primitive idempotents. The explicit expressions for these primitive idempotents are obtained and the minimal QR cyclic codes of length $2^{n}$ generated by these idempotents are completely described. If q = 8m + 3 then the expressions for the 2n - 1 primitive idempotents of $R_{2^n}$ are obtained. The generating polynomials and the upper bounds of the minimum distance of minimal QR cyclic codes generated by these 2n-1 idempotents are also obtained. The case n = 2,3 is dealt separately.

• 대한수학회지
• /
• 제51권3호
• /
• pp.463-472
• /
• 2014

Let R be a ring with identity 1, I(R) be the set of all nonunit idempotents in R and $S_{\ell}$(R) (resp. $S_r$(R)) be the set of all left (resp. right) semicentral idempotents in R. In this paper, the following are investigated: (1) $e{\in}S_{\ell}(R)$ (resp. $e{\in}S_r(R)$) if and only if re=ere (resp. er=ere) for all nilpotent elements $r{\in}R$ if and only if $fe{\in}I(R)$ (resp. $ef{\in}I(R)$) for all $f{\in}I(R)$ if and only if fe=efe (resp. ef=efe) for all $f{\in}I(R)$ if and only if fe=efe (resp. ef=efe) for all $f{\in}I(R)$ which are isomorphic to e if and only if $(fe)^n=(efe)^n$ (resp. $(ef)^n=(efe)^n$) for all $f{\in}I(R)$ which are isomorphic to e where n is some positive integer; (2) For a ring R having a complete set of centrally primitive idempotents, every nonzero left (resp. right) semicentral idempotent is a finite sum of orthogonal left (resp. right) semicentral primitive idempotents, and eRe has also a complete set of primitive idempotents for any $0{\neq}e{\in}S_{\ell}(R)$ (resp. 0$0{\neq}e{\in}S_r(R)$).

• 대한수학회보
• /
• 제55권3호
• /
• pp.971-997
• /
• 2018

The parity of cyclotomic numbers of order 2, 4 and 6 associated with 4-cyclotomic cosets modulo an odd prime p are obtained. Hence the explicit expressions of primitive idempotents of minimal cyclic codes of length $p^n$, $n{\geq}1$ over the quaternary field $F_4$ are obtained. These codes are observed to be subcodes of Q codes of length $p^n$. Some orthogonal properties of these subcodes are discussed. The minimal cyclic codes of length 17 and 43 are also discussed and it is observed that the minimal cyclic codes of length 17 are two weight codes. Further, it is shown that a Q code of prime length is always cyclotomic like a binary duadic code and it seems that there are infinitely many prime lengths for which cyclotomic Q codes of order 6 exist.

• Journal of applied mathematics & informatics
• /
• 제8권3호
• /
• pp.773-793
• /
• 2001

The explicit expressions for the 2n+1 primitive idempotents in R/sub pⁿ/ = F[x]/< x/sup pⁿ/ -1>, where F is the field of prime power order q and the multiplicative order of q modulo pⁿ is ø(pⁿ)/2(n≥1 and p is an odd prime), are obtained. An algorithm for computing the generating polynomials of the minimal QR cyclic codes of length pⁿ, generated by these primitive idempotents, is given and hence some bounds on the minimum distance of some QR codes of prime length over GF(q)(q=2, 3, ...) are obtained.

• 대한수학회보
• /
• 제60권2호
• /
• pp.339-348
• /
• 2023

It is shown that every nilpotent-invariant module can be decomposed into a direct sum of a quasi-injective module and a square-free module that are relatively injective and orthogonal. This paper is also concerned with rings satisfying every cyclic right R-module is nilpotent-invariant. We prove that R ≅ R₁ × R₂, where R₁, R₂ are rings which satisfy R₁ is a semi-simple Artinian ring and R₂ is square-free as a right R₂-module and all idempotents of R₂ is central. The paper concludes with a structure theorem for cyclic nilpotent-invariant right R-modules. Such a module is shown to have isomorphic simple modules eR and fR, where e, f are orthogonal primitive idempotents such that eRf ≠ 0.

• 대한수학회보
• /
• 제55권4호
• /
• pp.1037-1049
• /
• 2018

In this paper, we have first presented the construction of the linear characters of a finite Coxeter group $G_n$ of type $B_n$ by lifting all linear characters of the quotient group $G_n/[G_n,G_n]$ of the commutator subgroup $[G_n,G_n]$. Also we show that the sets of distinguished coset representatives $D_A$ and $D_{A^{\prime}}$ for any two signed compositions A, A' of n which are $G_n$-conjugate to each other and for each conjugate class ${\mathcal{C}}_{\lambda}$ of $G_n$, where ${\lambda}{\in}\mathcal{BP}(n)$, the equality ${\mid}{\mathcal{C}}_{\lambda}{\cap}D_A{\mid}={\mid}{\mathcal{C}}_{\lambda}{\cap}D_{A^{\prime}}{\mid}$ holds. Finally, we have given the general structure of units of Mantaci-Reutenauer algebra.

• 대한수학회논문집
• /
• 제20권4호
• /
• pp.645-648
• /
• 2005

Let K be a Galois extension of a field F with G = Gal(K/F). Let L be an extension of F such that $K\;{\otimes}_F\;L\;=\; N_1\;{\oplus}N_2\;{\oplus}{\cdots}{\oplus}N_k$ with corresponding primitive idempotents $e_1,\;e_2,{\cdots},e_k$, where Ni's are fields. Then G acts on $\{e_1,\;e_2,{\cdots},e_k\}$ transitively and $Gal(N_1/K)\;{\cong}\;\{\sigma\;{\in}\;G\;/\;{\sigma}(e_1)\;=\;e_1\}$. And, let R be a commutative F-algebra, and let P be a prime ideal of R. Let T = $K\;{\otimes}_F\;R$, and suppose there are only finitely many prime ideals $Q_1,\;Q_2,{\cdots},Q_k$ of T with $Q_i\;{\cap}\;R\;=\;P$. Then G acts transitively on $\{Q_1,\;Q_2,{\cdots},Q_k\},\;and\;Gal(qf(T/Q_1)/qf(R/P))\;{\cong}\;\{\sigma{\in}\;G/\;{\sigma}-(Q_1)\;=\;Q_1\}$ where qf($T/Q_1$) is the quotient field of $T/Q_1$.

• 대한수학회지
• /
• 제54권4호
• /
• pp.1281-1299
• /
• 2017

A submodule N of a module M is called ${\mathcal{S}}$-closed (in M) if M/N is nonsingular. It is well-known that the class Closed of short exact sequences determined by closed submodules is a proper class in the sense of Buchsbaum. However, the class $\mathcal{S}-Closed$ of short exact sequences determined by $\mathcal{S}$-closed submodules need not be a proper class. In the first part of the paper, we describe the smallest proper class ${\langle}\mathcal{S-Closed}{\rangle}$ containing $\mathcal{S-Closed}$ in terms of $\mathcal{S}$-closed submodules. We show that this class coincides with the proper classes projectively generated by Goldie torsion modules and coprojectively generated by nonsingular modules. Moreover, for a right nonsingular ring R, it coincides with the proper class generated by neat submodules if and only if R is a right SI-ring. In abelian groups, the elements of this class are exactly torsionsplitting. In the second part, coprojective modules of this class which we call ec-flat modules are also investigated. We prove that injective modules are ec-flat if and only if each injective hull of a Goldie torsion module is projective if and only if every Goldie torsion module embeds in a projective module. For a left Noetherian right nonsingular ring R of which the identity element is a sum of orthogonal primitive idempotents, we prove that the class ${\langle}\mathcal{S-Closed}{\rangle}$ coincides with the class of pure-exact sequences of modules if and only if R is a two-sided hereditary, two-sided $\mathcal{CS}$-ring and every singular right module is a direct sum of finitely presented modules.