• 대한수학회논문집
• /
• 제18권4호
• /
• pp.615-620
• /
• 2003

Semi-meet-prime projective modules and fully invariant meet-prime submodules of a projective module are studied. Actually a generalization of the Schur's lemma and semi-prime endmorphism rings of projective modules are considered.

• 대한수학회지
• /
• 제50권2호
• /
• pp.307-330
• /
• 2013

If $m$ and $n$ are non-negative integers, then three new classes of abelian $p$-groups are defined and studied: the $m$, $n$-simply presented groups, the $m$, $n$-balanced projective groups and the $m$, $n$-totally projective groups. These notions combine and generalize both the theories of simply presented groups and $p^{w+n}$-projective groups. If $m$, $n=0$, these all agree with the class of totally projective groups, but when $m+n{\geq}1$, they also include the $p^{w+m+n}$-projective groups. These classes are related to the (strongly) n-simply presented and (strongly) $n$-balanced projective groups considered in [15] and the n-summable groups considered in [2]. The groups in these classes whose lengths are less than ${\omega}^2$ are characterized, and if in addition we have $n=0$, they are determined by isometries of their $p^m$-socles.

• 대한수학회보
• /
• 제32권2호
• /
• pp.215-219
• /
• 1995

The most fundamental examples of (combinatorial) geometries are projective geometries PG(n - 1,q) of dimension n - 1, representable over GF(q), where q is a prime power. Every upper interval of a projective geometry is a projective geometry. The Whitney numbers of the second kind are Gaussian coefficients. Every flat of a projective geometry is modular, so the projective geometry is supersolvable in the sense of Stanley [6].

• 대한수학회보
• /
• 제55권2호
• /
• pp.649-657
• /
• 2018

Let R be a commutative ring. In this paper, the w-projective Basis Lemma for w-projective modules is given. Then it is shown that for a domain, nonzero w-projective ideals and nonzero w-invertible ideals coincide. As an application, it is proved that R is a Krull domain if and only if every submodule of finitely generated projective modules is w-projective.

• 대한수학회보
• /
• 제57권3호
• /
• pp.803-813
• /
• 2020

Let M be a finitely generated G-projective R-module over a PVMD R. We prove that M is projective if and only if the canonical map θ : M⨂_R M^∗ → Hom_R(Hom_R(M, M), R) is a surjective homomorphism. Particularly, if G-gldim(R) ⩽ ∞ and Extⁱ_R(M, M) = 0 (i ⩾ 1), then M is projective.

• Kyungpook Mathematical Journal
• /
• 제64권1호
• /
• pp.1-14
• /
• 2024

Recently, Zhao, Wang, and Pu introduced and studied new concepts of nonnil-commutative diagrams and nonnil-projective modules. They proved that an R-module that is nonnil-isomorphic to a projective module is nonnil-projective, and they proposed the following problem: Is every nonnil-projective module nonnil-isomorphic to some projective module? In this paper, we delve into some new properties of nonnil-commutative diagrams and answer this problem in the affirmative.

• 대한수학회지
• /
• 제55권2호
• /
• pp.391-413
• /
• 2018

In this paper we introduce a new tensor named semi-projective curvature tensor which generalizes the projective curvature tensor. First we deduce some basic geometric properties of semi-projective curvature tensor. Then we study pseudo semi-projective symmetric manifolds $(PSPS)_n$ which recover some known results of Chaki [5]. We provide several interesting results. Among others we prove that in a $(PSPS)_n$ if the associated vector field ${\rho}$ is a unit parallel vector field, then either the manifold reduces to a pseudosymmetric manifold or pseudo projective symmetric manifold. Moreover we deal with semi-projectively flat perfect fluid and dust fluid spacetimes respectively. As a consequence we obtain some important theorems. Next we consider the decomposability of $(PSPS)_n$. Finally, we construct a non-trivial Lorentzian metric of $(PSPS)_4$.

• 대한수학회지
• /
• 제57권4호
• /
• pp.1005-1018
• /
• 2020

A characterization of the C-projective vector fields on a Randers space is presented in terms of 𝚵-curvature. It is proved that the 𝚵-curvature is invariant for C-projective vector fields. The dimension of the algebra of the C-projective vector fields on an n-dimensional Randers space is at most n(n + 2). The generalized Funk metrics on the n-dimensional Euclidean unit ball 𝔹ⁿ(1) are shown to be explicit examples of the Randers metrics with a C-projective algebra of maximum dimension n(n+2). Then, it is also proved that an n-dimensional Randers space has a C-projective algebra of maximum dimension n(n + 2) if and only if it is locally Minkowskian or (up to re-scaling) locally isometric to the generalized Funk metric. A new projective invariant is also introduced.

• 대한수학회지
• /
• 제45권5호
• /
• pp.1221-1241
• /
• 2008

Most of domains people have studied are convex bounded projective (or affine) domains. Edith $Soci{\acute{e}}$-$M{\acute{e}}thou$ [15] characterized ellipsoid in ${\mathbb{R}}^n$ by studying projective automorphism of convex body. In this paper, we showed convex and bounded projective domains can be identified from local data of their boundary points using scaling technique developed by several mathematicians. It can be found that how the scaling technique combined with properties of projective transformations is used to do that for a projective domain given local data around singular boundary point. Furthermore, we identify even unbounded or non-convex projective domains from its local data about a boundary point.

• 대한수학회보
• /
• 제57권1호
• /
• pp.109-115
• /
• 2020

Recently, Lesieutre constructed a 6-dimensional projective variety X over any field of characteristic zero whose automorphism group Aut(X) is discrete but not finitely generated. As an application, he also showed that X is an example of a projective variety with infinitely many non-isomorphic real structures. On the other hand, there are also several finiteness results of real structures of projective varieties. The aim of this short paper is to give a sufficient condition for the finiteness of real structures on a projective manifold in terms of the structure of the automorphism group. To be more precise, in this paper we show that, when X is a projective manifold of any dimension≥ 2, if Aut(X) does not contain a subgroup isomorphic to the non-abelian free group ℤ ∗ ℤ, then there are only finitely many real structures on X, up to ℝ-isomorphisms.