• 호남수학학술지
• /
• 제32권1호
• /
• pp.141-155
• /
• 2010

In this paper we prove that with some hypothesis the set of k-isomorphism classes of simple closed k-surfaces in ${\mathbf{Z}}^3$ forms a commutative monoid with an operation derived from a digital connected sum, k ${\in}$ {18,26}. Besides, with some hypothesis the set of k-homotopy equivalence classes of closed k-surfaces in ${\mathbf{Z}}^3$ is also proved to be a commutative monoid with the above operation, k ${\in}$ {18,26}.

• 충청수학회지
• /
• 제23권3호
• /
• pp.555-561
• /
• 2010

For the pure braid groups, this paper gives a positive finite presentation whose generators are the standard Artin generators, and determines whether the submonoid generated by the Artin generators is a Garside monoid or not.

• 대한수학회보
• /
• 제52권5호
• /
• pp.1587-1606
• /
• 2015

Comonoid, bi-algebra, and Hopf algebra structures are studied within the universal-algebraic context of entropic varieties. Attention focuses on the behavior of setlike and primitive elements. It is shown that entropic $J{\acute{o}}nsson$-Tarski varieties provide a natural universal-algebraic setting for primitive elements and group quantum couples (generalizations of the group quantum double). Here, the set of primitive elements of a Hopf algebra forms a Lie algebra, and the tensor algebra on any algebra is a bi-algebra. If the tensor algebra is a Hopf algebra, then the underlying $J{\acute{o}}nsson$-Tarski monoid of the generating algebra is cancellative. The problem of determining when the $J{\acute{o}}nsson$-Tarski monoid forms a group is open.

• 대한수학회보
• /
• 제49권5호
• /
• pp.1067-1079
• /
• 2012

Let M be a right R-module, (S, ${\leq}$) a strictly totally ordered monoid which is also artinian and ${\omega}:S{\rightarrow}Aut(R)$ a monoid homomorphism, and let $[M^{S,{\leq}}]_{[[R^{S,{\leq}},{\omega}]]$ denote the generalized inverse polynomial module over the skew generalized power series ring [[$R^{S,{\leq}},{\omega}$]]. In this paper, we prove that $[M^{S,{\leq}}]_{[[R^{S,{\leq}},{\omega}]]$ has the same uniform dimension as its coefficient module $M_R$, and that if, in addition, R is a right perfect ring and S is a chain monoid, then $[M^{S,{\leq}}]_{[[R^{S,{\leq}},{\omega}]]$ has the same couniform dimension as its coefficient module $M_R$.

• 대한수학회지
• /
• 제36권4호
• /
• pp.747-756
• /
• 1999

In ring theory it is well-known that a ring R is (von Neumann) regular if and only if all right R-modules are flat. But the analogous statement for this result does not hold for a monoid S. Hence, in sense of S-acts, Liu (]10]) showed that, as a weak analogue of this result, a monoid S is regular if and only if all left S-acts satisfying condition (E) ([6]) are flat. Moreover, Bulmann-Fleming ([6]) showed that x is a regular element of a monoid S iff the cyclic right S-act S/p(x, x2) is flat. In this paper, we show that the analogue of this result can be held for automata and them characterize regular semigroups by flat automata.

• 대한수학회보
• /
• 제57권6호
• /
• pp.1511-1528
• /
• 2020

A skew generalized power series ring R[[S, 𝜔]] consists of all functions from a strictly ordered monoid S to a ring R whose support contains neither infinite descending chains nor infinite antichains, with pointwise addition, and with multiplication given by convolution twisted by an action 𝜔 of the monoid S on the ring R. Special cases of the skew generalized power series ring construction are skew polynomial rings, skew Laurent polynomial rings, skew power series rings, skew Laurent series rings, skew monoid rings, skew group rings, skew Mal'cev-Neumann series rings, the "untwisted" versions of all of these, and generalized power series rings. In this paper we obtain some necessary conditions on R, S and 𝜔 such that the skew generalized power series ring R[[S, 𝜔]] is (uniquely) clean. As particular cases of our general results we obtain new theorems on skew Mal'cev-Neumann series rings, skew Laurent series rings, and generalized power series rings.

• 대한수학회논문집
• /
• 제34권2호
• /
• pp.361-374
• /
• 2019

Let R be a ring, ($S,{\leq}$) a strictly ordered monoid, and ${\omega}:S{\rightarrow}End(R)$ a monoid homomorphism. In [18], Mazurek, and Ziembowski investigated when the skew generalized power series ring $R[[S,{\omega}]]$ is a domain satisfying the ascending chain condition on principal left (resp. right) ideals. Following [18], we obtain necessary and sufficient conditions on R, S and ${\omega}$ such that the skew generalized power series ring $R[[S,{\omega}]]$ is a right or left Archimedean domain. As particular cases of our general results we obtain new theorems on the ring of arithmetical functions and the ring of generalized power series. Our results extend and unify many existing results.

• 호남수학학술지
• /
• 제39권3호
• /
• pp.317-330
• /
• 2017

In this paper we introduce some new kinds of injectivities, namely, LC (resp. Ind, PInd) injectivity and investigate the relation among various kinds of injectivities. Some classifications of monoids by properties of these kinds of injective acts are presented. Among other results, it is shown that over a principal right ideal monoid, right completely LC-injectivity implies right completely injectivity. Also over a monoid with a zero Ind-injective (resp. PInd-injective) acts are injective.

• 충청수학회지
• /
• 제19권4호
• /
• pp.349-356
• /
• 2006

The aim of this paper is to endow a monoid structure on the set S of all oriented knots(links) under the operation ${\biguplus}$, called addition of knots. Moreover, we prove that there exists a homomorphism of monoids between ($S_d,\;{\biguplus}$) to (N, +), where $S_d$ is a subset of S with an extra condition and N is the monoid of non negative integers under usual addition.

• 대한수학회논문집
• /
• 제37권3호
• /
• pp.669-679
• /
• 2022

We provide a characterization of the positive monoids (i.e., additive submonoids of the nonnegative real numbers) that satisfy the finite factorization property. As a result, we establish that positive monoids with well-ordered generating sets satisfy the finite factorization property, while positive monoids with co-well-ordered generating sets satisfy this property if and only if they satisfy the bounded factorization property.