• Journal of the Korean Mathematical Society
• /
• v.45 no.2
• /
• pp.425-433
• /
• 2008

Let R be a ring with identity $1_R$ and let U(R) denote the group of all units of R. A ring R is called locally finite if every finite subset in it generates a finite semi group multiplicatively. In this paper, some results are obtained as follows: (1) for any semilocal (hence semiperfect) ring R, U(R) is a finite (resp. locally finite) group if and only if R is a finite (resp. locally finite) ring; U(R) is a locally finite group if and only if U$(M_n(R))$ is a locally finite group where $M_n(R)$ is the full matrix ring of $n{\times}n$ matrices over R for any positive integer n; in addition, if $2=1_R+1_R$ is a unit in R, then U(R) is an abelian group if and only if R is a commutative ring; (2) for any semiperfect ring R, if E(R), the set of all idempotents in R, is commuting, then $R/J\cong\oplus_{i=1}^mD_i$ where each $D_i$ is a division ring for some positive integer m and |E(R)|=$2^m$; in addition, if 2=$1_R+1_R$ is a unit in R, then every idempotent is central.

• Bulletin of the Korean Mathematical Society
• /
• v.34 no.3
• /
• pp.351-358
• /
• 1997

A conjugacy theorem which holds for finite groups is proven to hold for Cernikov groups and locally finite CC-groups.

• Journal of the Korean Mathematical Society
• /
• v.16 no.1
• /
• pp.87-93
• /
• 1979

In this note the geometric realization of a finite group of homotopy classes of self homotopy equivalences by a finite group of diffeomorphisms is investigated. In order for this to be accomplished an algebraic condition, which guarantees a certain group extension exists, must be satisfied. It is shown for a geometrically interesting class of aspherical manifolds, called injective Seifert fiber spaces over a locally symmetric space, that this necessary algebraic condition is also sufficient for geometric realization.

• Honam Mathematical Journal
• /
• v.39 no.4
• /
• pp.677-688
• /
• 2017

Let P be a finitely generated projective module over a commutative ring R with identity. If P has finite rank, then it will be shown that the map ${\varphi}:Aut_R(P){\rightarrow}U(R)$ defined by ${\varphi}({\alpha})={\det}({\alpha})$ is locally surjective and $Ker({\varphi})=SL_R(P)$.

• Honam Mathematical Journal
• /
• v.24 no.1
• /
• pp.93-101
• /
• 2002

The $S^1$-Eule characteristics of X is defined by $\bar{\chi}_{S^1}(X)\;{\in}\;HH_1(ZG)$, where G is the fundamental group of connected finite $S^1$-compact manifold or connected finite $S^1$-finite complex X and $HH_1$ is the first Hochsch ild homology group functor. The purpose of this paper is to find several cases which the $S^1$-Euler characteristic has a homotopic invariant.

• Korean Journal of Mathematics
• /
• v.29 no.3
• /
• pp.603-612
• /
• 2021

We generalize 3-manifolds supporting non-positively curved metric to construct manifolds which have the following properties : (1) They are not locally CAT(0). (2) Their fundamental groups are residually finite. (3) They have subgroup separability for some abelian subgroups.

• Communications of the Korean Mathematical Society
• /
• v.28 no.1
• /
• pp.63-69
• /
• 2013

On any semigroup S, there is an equivalence relation ${\phi}^S$, called the locally equivalence relation, given by a ${\phi}^Sb{\Leftrightarrow}aSa=bSb$ for all $a$, $b{\in}S$. In Theorem 4 [4], Tiefenbach has shown that if ${\phi}^S$ is a band congruence, then $G_a$ := $[a]_{{\phi}^S}{\cap}(aSa)$ is a group. We show in this study that $G_a$ := $[a]_{{\phi}^S}{\cap}(aSa)$ is also a group whenever a is any idempotent element of S. Another main result of this study is to investigate the relationships between $[a]_{{\phi}^S}$ and $aSa$ in terms of semigroup theory, where ${\phi}^S$ may not be a band congruence.

• Honam Mathematical Journal
• /
• v.40 no.4
• /
• pp.661-669
• /
• 2018

In this paper, we introduce and study the notion of a pseudonorm on a generalized group. Let G be a topological generalized group and let the family $\{G_x\}_{x{\in}e(G)}$ be locally finite. Then, we show that G is completely regular. Also, some well known results are generalized.

• Bulletin of the Korean Mathematical Society
• /
• v.46 no.5
• /
• pp.823-833
• /
• 2009

It is well-known that if a convex hyperbolic polygon is constructed as a fundamental domain for a subgroup of the modular group, then its translates by the group elements form a locally finite tessellation and its side-pairing transformations form a system of generators for the group. Such hyperbolically convex polygons can be obtained by using Dirichlet's and Ford's polygon constructions. Another method of obtaining a fundamental domain for subgroups of the modular group is through the use of a right coset decomposition and we call such domains standard fundamental domains. In this paper we give subgroups of the modular group which do not have hyperbolically convex standard fundamental domain containing only inequivalent cusps.

• Journal of the Korean Mathematical Society
• /
• v.34 no.1
• /
• pp.227-235
• /
• 1997

In recent years there has been much interest in the study of groups satisfying various permutability conditions (see, for instance, [1], [2] and [3]). More recently, the following condition has been studied: for some , if S is any subset of m elements of a group G, then $$\mid$S^2$\mid$ < m^2$ (where, for subsets A, B of G, AB stands for ${ab; a \in A, b \in B}$).