Defect theorems with compatibility relations

We consider words together with a compatibility relation induced by a relation on letters. Unique factorization with respect to two arbitrary word relations R and S defines the ( R , S )-freeness of the semigroup considered. We generalize the stability theorem of Schützenberger and Tilson’s closure...

Full description

Saved in:
Bibliographic Details
Published in:Semigroup forum 2008, Vol.76 (1), p.1-24
Main Authors: Halava, Vesa, Harju, Tero, Kärki, Tomi
Format: Article
Language:English
Subjects:
Algebra
Mathematics
Mathematics and Statistics
Research Article
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
cited_by cdi_FETCH-LOGICAL-c288t-deffcf9bd159c2332725ae93ce161f9163534fab83e78e7adf5e7415dc5dbc63
cites cdi_FETCH-LOGICAL-c288t-deffcf9bd159c2332725ae93ce161f9163534fab83e78e7adf5e7415dc5dbc63
container_end_page 24
container_issue 1
container_start_page 1
container_title Semigroup forum
container_volume 76
creator Halava, Vesa
Harju, Tero
Kärki, Tomi
description We consider words together with a compatibility relation induced by a relation on letters. Unique factorization with respect to two arbitrary word relations R and S defines the ( R , S )-freeness of the semigroup considered. We generalize the stability theorem of Schützenberger and Tilson’s closure result for ( R , S )-free semigroups. The inner and the outer ( R , S )-unique factorization hull and the ( R , S )-free hull of a set of words are introduced and we show how they can be computed. We prove that the ( R , S )-unique factorization hulls possess a defect effect, which implies a variant of a cumulative defect theorem of word semigroups. In addition, a defect theorem of partial words is proved as a corollary.
doi_str_mv 10.1007/s00233-007-9013-9
format article
fullrecord <record><control><sourceid>crossref_sprin</sourceid><recordid>TN_cdi_crossref_primary_10_1007_s00233_007_9013_9</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>10_1007_s00233_007_9013_9</sourcerecordid><originalsourceid>FETCH-LOGICAL-c288t-deffcf9bd159c2332725ae93ce161f9163534fab83e78e7adf5e7415dc5dbc63</originalsourceid><addsrcrecordid>eNp9j81OwzAQhC0EEqHwANzyABi8dhzHR1SgIFXi0rvlOGuaKj-VbYT69jgqZ047I823miHkHtgjMKaeImNcCJol1QwE1RekgEpwykGoS1IwJhQFDfya3MR4YNmzWhTk4QU9ulSmPc4Bx1j-9Glfunk82tS3_dCnUxlwyGae4i258naIePd3V2T39rpbv9Pt5-Zj_byljjdNoh1677xuO5Da5VZccWlRC4dQg9dQCykqb9tGoGpQ2c5LVBXIzsmudbVYETi_dWGOMaA3x9CPNpwMMLOsNee1ZpHLWqMzw89MzNnpC4M5zN9hyi3_gX4BXv1YMg</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>Defect theorems with compatibility relations</title><source>Springer Nature</source><creator>Halava, Vesa ; Harju, Tero ; Kärki, Tomi</creator><creatorcontrib>Halava, Vesa ; Harju, Tero ; Kärki, Tomi</creatorcontrib><description>We consider words together with a compatibility relation induced by a relation on letters. Unique factorization with respect to two arbitrary word relations R and S defines the ( R , S )-freeness of the semigroup considered. We generalize the stability theorem of Schützenberger and Tilson’s closure result for ( R , S )-free semigroups. The inner and the outer ( R , S )-unique factorization hull and the ( R , S )-free hull of a set of words are introduced and we show how they can be computed. We prove that the ( R , S )-unique factorization hulls possess a defect effect, which implies a variant of a cumulative defect theorem of word semigroups. In addition, a defect theorem of partial words is proved as a corollary.</description><identifier>ISSN: 0037-1912</identifier><identifier>EISSN: 1432-2137</identifier><identifier>DOI: 10.1007/s00233-007-9013-9</identifier><language>eng</language><publisher>New York: Springer-Verlag</publisher><subject>Algebra ; Mathematics ; Mathematics and Statistics ; Research Article</subject><ispartof>Semigroup forum, 2008, Vol.76 (1), p.1-24</ispartof><rights>Springer Science+Business Media, LLC 2007</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c288t-deffcf9bd159c2332725ae93ce161f9163534fab83e78e7adf5e7415dc5dbc63</citedby><cites>FETCH-LOGICAL-c288t-deffcf9bd159c2332725ae93ce161f9163534fab83e78e7adf5e7415dc5dbc63</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>314,776,780,27901,27902</link.rule.ids></links><search><creatorcontrib>Halava, Vesa</creatorcontrib><creatorcontrib>Harju, Tero</creatorcontrib><creatorcontrib>Kärki, Tomi</creatorcontrib><title>Defect theorems with compatibility relations</title><title>Semigroup forum</title><addtitle>Semigroup Forum</addtitle><description>We consider words together with a compatibility relation induced by a relation on letters. Unique factorization with respect to two arbitrary word relations R and S defines the ( R , S )-freeness of the semigroup considered. We generalize the stability theorem of Schützenberger and Tilson’s closure result for ( R , S )-free semigroups. The inner and the outer ( R , S )-unique factorization hull and the ( R , S )-free hull of a set of words are introduced and we show how they can be computed. We prove that the ( R , S )-unique factorization hulls possess a defect effect, which implies a variant of a cumulative defect theorem of word semigroups. In addition, a defect theorem of partial words is proved as a corollary.</description><subject>Algebra</subject><subject>Mathematics</subject><subject>Mathematics and Statistics</subject><subject>Research Article</subject><issn>0037-1912</issn><issn>1432-2137</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2008</creationdate><recordtype>article</recordtype><recordid>eNp9j81OwzAQhC0EEqHwANzyABi8dhzHR1SgIFXi0rvlOGuaKj-VbYT69jgqZ047I823miHkHtgjMKaeImNcCJol1QwE1RekgEpwykGoS1IwJhQFDfya3MR4YNmzWhTk4QU9ulSmPc4Bx1j-9Glfunk82tS3_dCnUxlwyGae4i258naIePd3V2T39rpbv9Pt5-Zj_byljjdNoh1677xuO5Da5VZccWlRC4dQg9dQCykqb9tGoGpQ2c5LVBXIzsmudbVYETi_dWGOMaA3x9CPNpwMMLOsNee1ZpHLWqMzw89MzNnpC4M5zN9hyi3_gX4BXv1YMg</recordid><startdate>2008</startdate><enddate>2008</enddate><creator>Halava, Vesa</creator><creator>Harju, Tero</creator><creator>Kärki, Tomi</creator><general>Springer-Verlag</general><scope>AAYXX</scope><scope>CITATION</scope></search><sort><creationdate>2008</creationdate><title>Defect theorems with compatibility relations</title><author>Halava, Vesa ; Harju, Tero ; Kärki, Tomi</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c288t-deffcf9bd159c2332725ae93ce161f9163534fab83e78e7adf5e7415dc5dbc63</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2008</creationdate><topic>Algebra</topic><topic>Mathematics</topic><topic>Mathematics and Statistics</topic><topic>Research Article</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Halava, Vesa</creatorcontrib><creatorcontrib>Harju, Tero</creatorcontrib><creatorcontrib>Kärki, Tomi</creatorcontrib><collection>CrossRef</collection><jtitle>Semigroup forum</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Halava, Vesa</au><au>Harju, Tero</au><au>Kärki, Tomi</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Defect theorems with compatibility relations</atitle><jtitle>Semigroup forum</jtitle><stitle>Semigroup Forum</stitle><date>2008</date><risdate>2008</risdate><volume>76</volume><issue>1</issue><spage>1</spage><epage>24</epage><pages>1-24</pages><issn>0037-1912</issn><eissn>1432-2137</eissn><abstract>We consider words together with a compatibility relation induced by a relation on letters. Unique factorization with respect to two arbitrary word relations R and S defines the ( R , S )-freeness of the semigroup considered. We generalize the stability theorem of Schützenberger and Tilson’s closure result for ( R , S )-free semigroups. The inner and the outer ( R , S )-unique factorization hull and the ( R , S )-free hull of a set of words are introduced and we show how they can be computed. We prove that the ( R , S )-unique factorization hulls possess a defect effect, which implies a variant of a cumulative defect theorem of word semigroups. In addition, a defect theorem of partial words is proved as a corollary.</abstract><cop>New York</cop><pub>Springer-Verlag</pub><doi>10.1007/s00233-007-9013-9</doi><tpages>24</tpages></addata></record>
fulltext fulltext
identifier ISSN: 0037-1912
ispartof Semigroup forum, 2008, Vol.76 (1), p.1-24
issn 0037-1912
1432-2137
language eng
recordid cdi_crossref_primary_10_1007_s00233_007_9013_9
source Springer Nature
subjects Algebra
Mathematics
Mathematics and Statistics
Research Article
title Defect theorems with compatibility relations
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-02-10T03%3A04%3A06IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-crossref_sprin&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Defect%20theorems%20with%20compatibility%20relations&rft.jtitle=Semigroup%20forum&rft.au=Halava,%20Vesa&rft.date=2008&rft.volume=76&rft.issue=1&rft.spage=1&rft.epage=24&rft.pages=1-24&rft.issn=0037-1912&rft.eissn=1432-2137&rft_id=info:doi/10.1007/s00233-007-9013-9&rft_dat=%3Ccrossref_sprin%3E10_1007_s00233_007_9013_9%3C/crossref_sprin%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-c288t-deffcf9bd159c2332725ae93ce161f9163534fab83e78e7adf5e7415dc5dbc63%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true