• Bulletin of the Korean Mathematical Society
• /
• v.58 no.1
• /
• pp.183-193
• /
• 2021

In this paper, we prove that there is a bijection between the ��-tilting modules and the sincere left finite semibricks. We also construct (sincere) semibricks over split-by-nilpotent extensions. More precisely, let �� be a split-by-nilpotent extension of a finite-dimensional algebra �� by a nilpotent bimodule ��E��, and �� ⊆ mod ��. We prove that �� ⊗�� �� is a (sincere) semibrick in mod �� if and only if �� is a semibrick in mod �� and Hom��(��, �� ⊗�� E) = 0 (and �� ∪ �� ⊗�� E is sincere). As an application, we can construct ��-tilting modules and support ��-tilting modules over ��-tilting finite cluster-tilted algebras.

• Journal of the Korean Mathematical Society
• /
• v.60 no.1
• /
• pp.115-141
• /
• 2023

We study a class of left-invariant pseudo-Riemannian Sasaki metrics on solvable Lie groups, which can be characterized by the property that the zero level set of the moment map relative to the action of some one-parameter subgroup {exp tX} is a normal nilpotent subgroup commuting with {exp tX}, and X is not lightlike. We characterize this geometry in terms of the Sasaki reduction and its pseudo-Kähler quotient under the action generated by the Reeb vector field. We classify pseudo-Riemannian Sasaki solvmanifolds of this type in dimension 5 and those of dimension 7 whose Kähler reduction in the above sense is abelian.

• Bulletin of the Korean Mathematical Society
• /
• v.59 no.2
• /
• pp.277-283
• /
• 2022

Let 𝒜 be a unital Banach algebra, 𝓜 a unital 𝒜-bimodule, and 𝛿 a linear mapping from 𝒜 into 𝓜. We prove that if 𝛿 satisfies 𝛿(A)A^-1+A^-1𝛿(A)+A𝛿(A^-1)+𝛿(A^-1)A = 0 for every invertible element A in 𝒜, then 𝛿 is a Jordan derivation. Moreover, we show that 𝛿 is a Jordan derivable mapping at the unit element if and only if 𝛿 is a Jordan derivation. As an application, we answer the question posed in [4, Problem 2.6].

• Communications of the Korean Mathematical Society
• /
• v.38 no.3
• /
• pp.705-714
• /
• 2023

Bennis and El Hajoui have defined a (commutative unital) ring R to be S-coherent if each finitely generated ideal of R is a S-finitely presented R-module. Any coherent ring is an S-coherent ring. Several examples of S-coherent rings that are not coherent rings are obtained as byproducts of our study of the transfer of the S-coherent property to trivial ring extensions and amalgamated duplications.

• Research in Mathematical Education
• /
• v.26 no.3
• /
• pp.203-233
• /
• 2023

Recent international reform movements call for attention on modeling in mathematics classrooms. However, definitions and enactment principles are unclear in policy documents. In this case study, we investigated United States high-school mathematics teachers' experiences in a professional development program focused on modeling and its enactment in schools. Our findings share teachers' experiences around their discovery of different conceptualizations, appreciations, and conflicts as they envisioned incorporating modeling into classrooms. These experiences show how professional development can be designed to engage teachers with forms of modeling, and that those experiences can inspire them to consider modeling as an imperative feature of a mathematics program.

• The Pure and Applied Mathematics
• /
• v.30 no.4
• /
• pp.429-442
• /
• 2023

In this paper, we introduce the concept of fuzzy ideals, anti-fuzzy ideals of Γ-BCK-algebras. We study the properties of fuzzy ideals, anti-fuzzy ideals of Γ-BCK-algebras. We prove that if f^-1(µ) is a fuzzy ideal of M, then µ is a fuzzy ideal of N, where f : M → N is an epimorphism of Γ-BCK-algebras M and N.

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

Let f : X → Y be a map between simply connected CW-complexes of finite type with X finite. In this paper, we prove that the rational cohomology of mapping spaces map(X, Y ; f) contains a polynomial algebra over a generator of degree N, where N = max{i, π_i(Y)⊗ℚ ≠ 0} is an even number. Moreover, we are interested in determining the rational homotopy type of map(𝕊ⁿ, ℂP^m; f) and we deduce its rational cohomology as a consequence. The paper ends with a brief discussion about the realization problem of mapping spaces.

• Journal of the Korean Mathematical Society
• /
• v.61 no.1
• /
• pp.109-132
• /
• 2024

The Clifford algebra of a direct sum of real quadratic spaces appears as the superalgebra tensor product of the Clifford algebras of the summands. The purpose of the current paper is to present a purely settheoretical version of the superalgebra tensor product which will be applicable equally to groups or to their non-associative analogues - quasigroups and loops. Our work is part of a project to make supersymmetry an effective tool for the study of combinatorial structures. Starting from group and quasigroup structures on four-element supersets, our superproduct unifies the construction of the eight-element quaternion and dihedral groups, further leading to a loop structure which hybridizes the two groups. All three of these loops share the same character table.

• Bulletin of the Korean Mathematical Society
• /
• v.61 no.3
• /
• pp.867-873
• /
• 2024

A pseudo-Riemannian solvmanifold is a solvable Lie group endowed with a left invariant pseudo-Riemannian metric. In this short note, we investigate the nilpotency of the Ricci operator of pseudo-Riemannian solvmanifolds. We focus on a special class of solvable Lie groups whose Lie algebras can be expressed as a one-dimensional extension of a nilpotent Lie algebra ℝD⋉n, where D is a derivation of n whose restriction to the center of n has at least one real eigenvalue. The main result asserts that every solvable Lie group belonging to this special class admits a left invariant pseudo-Riemannian metric with nilpotent Ricci operator. As an application, we obtain a complete classification of three-dimensional solvable Lie groups which admit a left invariant pseudo-Riemannian metric with nilpotent Ricci operator.

• Kyungpook Mathematical Journal
• /
• v.64 no.2
• /
• pp.205-218
• /
• 2024

Let 𝒜 be a Banach algebra. An element a ∈ 𝒜 has generalized Drazin inverse if there exists b ∈ 𝒜 such that b = bab, ab = ba, a - a²b ∈ 𝒜^qnil. New additive results for the generalized Drazin inverse of an operator over a Banach space are presented. we extend the main results of a paper of Shakoor, Yang and Ali from 2013 and of Wang, Huang and Chen from 2017. Appling these results to 2×2 operator matrices we also generalize results of a paper of Deng, Cvetković-Ilić and Wei from 2010.