نتایج جستجو برای: rhodes island

تعداد نتایج: 57547  

Journal: :Lycus 2021

The paper presents the results of a functional study Late Roman unguentaria from Hierapolis Phrygia, which includes chemical characterisation organic residues found in 30 stamped vessels by means GC-MS technique. Evidence recent archaeological and archaeometric analyses suggests that LRUs were manufactured western Anatolia.
 study, centred on identification biomarkers, aims to understand f...

Journal: :CoRR 2007
Manfred Kufleitner

We show that for every homomorphism Γ → S where S is a finite semigroup there exists a factorization forest of height ≤ 3 |S|. The proof is based on Green’s relations.

Journal: :Discrete Mathematics & Theoretical Computer Science 2016
Inna Mikhaylova

Epigroups are semigroups equipped with an additional unary operation called pseudoinversion. Each finite semigroup can be considered as an epigroup. We prove the following theorem announced by Zhil’tsov in 2000: the equational theory of the class of all epigroups coincides with the equational theory of the class of all finite epigroups and is decidable. We show that the theory is not finitely b...

Journal: :CoRR 2018
Samuel Jacob van Gool Benjamin Steinberg

For a variety of finite groups $\mathbf H$, let $\overline{\mathbf H}$ denote the variety of finite semigroups all of whose subgroups lie in $\mathbf H$. We give a characterization of the subsets of a finite semigroup that are pointlike with respect to $\overline{\mathbf H}$. Our characterization is effective whenever $\mathbf H$ has a decidable membership problem. In particular, the separation...

Journal: :Discrete Mathematics & Theoretical Computer Science 2014
José Carlos Costa

The implicit signature κ consists of the multiplication and the (ω − 1)-power. We describe a procedure to transform each κ-term over a finite alphabet A into a certain canonical form and show that different canonical forms have different interpretations over some finite semigroup. The procedure of construction of the canonical forms, which is inspired in McCammond’s normal form algorithm for ω-...

2012
Manfred Kufleitner Alexander Lauser

The join of two varieties is the smallest variety containing both. In finite semigroup theory, the varieties of R-trivial and L-trivial monoids are two of the most prominent classes of finite monoids. Their join is known to be decidable due to a result of Almeida and Azevedo. In this paper, we give a new proof for Almeida and Azevedo’s effective characterization of the join of R-trivial and L-t...

2007
Albert Krohn

Der Carl-Friedrich-Gauß-Fakultät für Mathematik und Informatik der Technischen Universität Carolo-Wilhelmina zu Braunschweig zur Erlangung des Grades eines Doktors der Ingenieurwissenschaften (Dr.-Ing.) eingereichte D i s s e r t a t i o n von. Dipl.-Ing. Albert Krohn Referent: Prof. Dr. M. Beigl, Institut für Betriebssysteme und Rechnerverbund, TU Braunschweig, Korreferent: Prof. Dr. W. Juling...

Journal: :The Library 1906

Journal: :Theor. Comput. Sci. 2005
Karl Auinger Benjamin Steinberg

The result, due to Henckell, Margolis, Pin and Rhodes modulo Ash’s solution to the pointlike conjecture, that every finite block group divides a power group, has long been considered to be one of the deepest results in finite semigroup theory. However, the proof is not constructive. Solving a long-standing problem, we provide in this paper an explicit construction of such a division. We also ge...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید