• Journal of the Korean Mathematical Society
• /
• v.50 no.6
• /
• pp.1213-1222
• /
• 2013

This paper deals with sufficiency conditions for irreducibility of certain induced modules. We also construct irreducible representations for a group G over a field $\mathbb{K}$ where the group G is a semidirect product of a normal abelian subgroup N and a subgroup H. The main results are proved with the assumption that char $\mathbb{K}$ does not divide |G| but there is no assumption made of $\mathbb{K}$ being algebraically closed.

• Communications of the Korean Mathematical Society
• /
• v.39 no.1
• /
• pp.259-266
• /
• 2024

The purpose of this note is a wide generalization of the topological results of various classes of ideals of rings, semirings, and modules, endowed with Zariski topologies, to r-strongly irreducible r-ideals (endowed with Zariski topologies) of monoids, called terminal spaces. We show that terminal spaces are T₀, quasi-compact, and every nonempty irreducible closed subset has a unique generic point. We characterize rarithmetic monoids in terms of terminal spaces. Finally, we provide necessary and sufficient conditions for the subspaces of r-maximal r-ideals and r-prime r-ideals to be dense in the corresponding terminal spaces.

• Communications of the Korean Mathematical Society
• /
• v.10 no.1
• /
• pp.35-38
• /
• 1995

Let A be a symmetric positive definite Cartan matrix. As in [4], we denote by U the quantum group arising from A and $U_\lambda$ be the corresponding quantum group at a root of unity $\lambda$. In [4], Lusztig constructed irreducible highest weight $U_\lambda$-modules $L_\lambda(z)$ for $z \in Z^n$ and showed that $L_\lambda(z)$ is of finite dimension over C if and only if $z \in (Z^+)^n$.

• Honam Mathematical Journal
• /
• v.21 no.1
• /
• pp.75-95
• /
• 1999

Dimensions of irreducible $so_5(F)$-modules over an algebraically closed field F of characteristics p > 2 shall be obtained. It turns out that they should be coincident with $p^{m}$, where 2m is the dimension of coadjoint orbits of ${\chi}{\in}so_5(F)^*{\backslash}0$ as Premet asserted. But there is no subregular point for $g=sp_4(F)=so_5(F)$ over F.

• Honam Mathematical Journal
• /
• v.20 no.1
• /
• pp.31-43
• /
• 1998

Exact definitions of four kinds of points shall be defined associated to Lie algebras L over an algebraically closed field F of prime characteristic p > 0. Next, rough bound of dimensions for L-irreducible modules associated to subregular points shall be established by taking advantage of Premet's result.

• Korean Journal of Mathematics
• /
• v.28 no.3
• /
• pp.439-447
• /
• 2020

Let M be a lattice module over a C-lattice L. Let Spec^s(M) be the collection of all second elements of M. In this paper, we consider a topology on Spec^s(M), called the second classical Zariski topology as a generalization of concepts in modules and investigate the interplay between the algebraic properties of a lattice module M and the topological properties of Spec^s(M). We investigate this topological space from the point of view of spectral spaces. We show that Spec^s(M) is always T₀-space and each finite irreducible closed subset of Spec^s(M) has a generic point.

• Journal of the Korean Mathematical Society
• /
• v.56 no.5
• /
• pp.1285-1307
• /
• 2019

For a multiplication R-module M we consider the Zariski topology in the set Spec (M) of prime submodules of M. We investigate the relationship between the algebraic properties of the submodules of M and the topological properties of some subspaces of Spec (M). We also consider some topological aspects of certain frames. We prove that if R is a commutative ring and M is a multiplication R-module, then the lattice Semp (M/N) of semiprime submodules of M/N is a spatial frame for every submodule N of M. When M is a quasi projective module, we obtain that the interval ${\uparrow}(N)^{Semp}(M)=\{P{\in}Semp(M){\mid}N{\subseteq}P\}$ and the lattice Semp (M/N) are isomorphic as frames. Finally, we obtain results about quantales and the classical Krull dimension of M.

• Journal of the Institute of Electronics and Information Engineers
• /
• v.51 no.6
• /
• pp.117-123
• /
• 2014

This paper proposes the constructing method of effective multiplier using basis transformation. Th proposed multiplier is composed of the standard-dual basis transformation circuit module to change one input into dual basis the operation module to generate from bm to bm+k by the m degree irreducible polynomial, and the polynomial multiplicative module to consist of $m^2$ AND and m(m-1) EX-OR gates. Also, the dual-standard basis transformation circuit module to change the output part to be shown as a dual basis into standard basis is composed. The operation modules to need in each operational part are defined.

• Communications of the Korean Mathematical Society
• /
• v.35 no.2
• /
• pp.401-415
• /
• 2020

It is well-known that if char𝕜 = 0, then an Artinian monomial complete intersection quotient 𝕜[x₁, …, x_n]/(x₁^a₁, …, x_n^a_n) has the strong Lefschetz property in the narrow sense, and it is decomposed by the direct sum of irreducible 𝖘𝖑₂-modules. For an Artinian ring A = 𝕜[x₁, x₂, x₃]/(x₁⁶, x₂⁶, x₃⁶), by the Schur-Weyl duality theorem, there exist 56 trivial representations, 70 standard representations, and 20 sign representations inside A. In this paper we find an explicit basis for A, which is compatible with the S₃-module structure.

• Journal of applied mathematics & informatics
• /
• v.40 no.5_6
• /
• pp.1137-1150
• /
• 2022

Consider the quantum algebra U_q(sl₂) over field 𝓕 (char(𝓕) = 0) with equitable generators x^±1, y and z, where q is fixed nonzero, not root of unity scalar in 𝓕. Let V denote a finite dimensional irreducible module for this algebra. Let Λ ∈ End(V), and let {A₁, A₂, A₃} = {x, y, z}. First we show that if Λ, A₁ is a Leonard pair, then this Leonard pair have four types, and we show that for each type there exists a Leonard pair Λ, A₁ in which Λ is a linear combination of 1, A₂, A₃, A₂A₃. Moreover, we use Λ to construct 𝚼 ∈ U_q(sl₂) such that 𝚼, A^-1₁ is a Leonard pair, and show that 𝚼 = I + A₁Φ + A₁ΨA₁ where Φ and Ψ are linear combination of 1, A₂, A₃.