| Co-Investigator(Kenkyū-buntansha) |
ITO Masami Kyoto Sangyo University, Faculty of Science, Professor, 理学部, 教授 (50065843)
KONDO Michio Shimane University, Interdisciplinary Faculty of Science and Engineering, Associate Professor, 総合理工学部, 助教授 (40211916)
SHOJI Kunitaka Shimane University, Interdisciplinary Faculty of Science and Engineering, Professor, 総合理工学部, 教授 (50093646)
KOBAYASHI Yuji Toho University, Faculty of Science, Professor, 理学部, 教授 (70035343)
KATSURA Masashi Kyoto Sangyo University, Faculty of Science, Professor, 理学部, 教授 (80065870)
|
|---|
| Research Abstract |
The main results of this project are as follows :
(1)The class of generalized inverse [*-]semigroups has the strong amalgamation property.
(2)The transitive representations of a generalized inverse *-semigroup is characterized by using right ω-cosets.
(3)We obtained the necessary and sufficient conditions for that a completely 0-simple semigroup is a special amalgamation base.
(4)The decision problem whether or not a finite semigroup has representation extension property is decidable.
(5)Several properties and a characterization of the shuffle residual of a language are obtained. For example, conditions for the existence of maximal languages whose shuffle residual equals a given language are obtained.
(6) We obtained concrete descriptions of the free algebras in several varieties given by language structures equipped with the operations of reversal, concatenation, shuffle and others.
|
