{"entities":{"Q909801":{"pageid":911649,"ns":120,"title":"Item:Q909801","lastrevid":65329377,"modified":"2026-04-12T01:50:39Z","type":"item","id":"Q909801","labels":{"en":{"language":"en","value":"Solid codes and disjunctive domains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4138054"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909801$E5D96729-10DC-47F0-8310-7AA9E788C02A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0339dbb6fccfc57635d27ff5f3251d83bfd56efc","datavalue":{"value":{"text":"Solid codes and disjunctive domains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q909801$E26E690E-9674-48DB-ADD2-C442EE5ED1F5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"80d0c740275c51cf6a23b940f6901c06575df212","datavalue":{"value":"0695.20038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q909801$726C87E7-7D6C-4991-8F79-F8F71FEA5FCD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b56ad9b18d28eec0bd33b8af9ce769ae3f237fcb","datavalue":{"value":"10.1007/BF02573375","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q909801$F54439A0-7911-4CC2-84D4-2CAD05C02E4E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d66c55b2090f999e6ce11f8c5edbc12ea7326d37","datavalue":{"value":{"entity-type":"item","numeric-id":799822,"id":"Q799822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909801$89068D48-263A-448B-A5E3-A40D7B3771CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"daefbcf4dea9b6830d84a9b2f4986d8c8abe2905","datavalue":{"value":{"entity-type":"item","numeric-id":745797,"id":"Q745797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909801$30055BE9-ED0F-4A46-8133-F8C47246C152","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28dbf90a09492d81530507fd711b9336815e58a3","datavalue":{"value":{"entity-type":"item","numeric-id":172569,"id":"Q172569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909801$90D866B7-A94C-46F0-9382-39C48CB51D0D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q909801$B360C2C0-6B70-4212-8CF6-7A6795933C9D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"63d4f6274c177572b20d2f52f18a111f9834cc58","datavalue":{"value":"https://eudml.org/doc/135033","type":"string"},"datatype":"url"},"type":"statement","id":"Q909801$EA18DA01-9491-4F29-B53C-D29D7B135FA9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"dcf0aaa356c9b259590ae6f1c62777c5029439aa","datavalue":{"value":"Let X be an alphabet, \\(| X| >1\\), \\(X=\\{a,b,...\\}\\), and let L be a language over X. L is said to be (right) disjunctive if the principal (right) congruence \\(P_ L\\) \\((R_ L)\\) is the equality on the free monoid \\(X^*\\) generated by X. L is a (right) disjunctive domain if the following property holds: For all \\(A\\subseteq X^*\\), if \\(\\neg xP_ Ay\\) \\((\\neg xR_ Ay)\\) for all \\(x,y\\in L\\), \\(x\\neq y\\), then A is (right) disjunctive. Intuitively speaking, a (right) disjunctive domain is a ``test set'' for (right) disjunctivity. L is said to be a solid code if every word \\(w\\in X^+\\) has a unique factorization of the form \\(w=x_ 1y_ 1x_ 2y_ 2...x_ ny_ nx_{n+1}\\) where \\(y_ 1,y_ 2,...,y_ n\\in L\\) and \\(x_ 1,x_ 2,...,x_{n+1}\\not\\in X^*LX^*.\\)    Several properties of solid codes and (right) disjunctive domains are derived in this paper. The connection between these topics arises from the following auxiliary notion which deserves investigation in its own right: Let \\(u,v,w_ 1,w_ 2\\in X^+\\); \\((w_ 1,w_ 2)\\) is said to be a (u,v)-related pair if \\(w_ 1=x_ 1y_ 1x_ 2y_ 2...x_ ny_ nx_{n+1}\\) and \\(w_ 2=x_ 1y_ 1'x_ 2y_ 2'...x_ ny_ n'x_{n+1}\\) for some \\(y_ 1,...,y_ n,y_ 1',...,y_ n'\\in \\{u,v\\}\\) and \\(x_ 1,...,x_{n+1}\\not\\in X^*\\{u,v\\}X^*.\\)    The results of this paper include the following: (1) L with \\(| L| >2\\) is a solid code if and only if for any \\(u,v\\in L\\) (not necessarily disctinct) to proper prefix of u is a proper suffix of v and \\(u\\in X^*vX^*\\) only if \\(u=v\\). This property actually turns out to characterize solid codes in general as shown by \\textit{S. S. Yu} and the reviewer [Solid codes (to appear)]. (2) L is a disjunctive domain if and only if for every \\(u,v\\in X^*\\), \\(u\\neq v\\), there is a (u,v)-related pair \\((z,z')\\) such that \\(z,z'\\in L\\), \\(z\\neq z'\\). Moreover, this holds also true if one considers only pairs (u,v) which satisfy the following three conditions: \\(| u| =| v| \\geq 3\\); \\(u,v\\in aX^+b\\setminus (a^+b\\cup ab^+)\\); \\(\\{\\) u,v\\(\\}\\) is a solid code. (3) (Right) disjunctive domains are (right) dense, that is, have a nonempty intersection with every principal (right) ideal of \\(X^*\\). (4) L is a right disjunctive domain if and only if for any \\(u,v\\in X^*\\) there is a word \\(x\\in X^*\\) such that ux,vx\\(\\in L\\). Further results concern closure properties and combinatorial properties of (right) disjunctive domains.","type":"string"},"datatype":"string"},"type":"statement","id":"Q909801$176362B5-0605-425F-9AF1-32080973EE09","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q909801$327EAF72-26A6-414E-B28C-7581084D2190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q909801$2A711826-B09D-4247-A9A1-0305DDAD3D7D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9732abea773da8a74174f04fe4b24681d9c5a98b","datavalue":{"value":"4138054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q909801$6E8B19CF-C965-457A-836E-BB403423F2EA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b06f809e2a2d49d26b8d7de0f8648aa58d470d7","datavalue":{"value":"alphabet","type":"string"},"datatype":"string"},"type":"statement","id":"Q909801$3DA15C19-CF71-4A89-9098-0955C25DA618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a89840e6da5d8a209547a4f40b7b851aa5ea16a8","datavalue":{"value":"free monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q909801$FD6257B3-DEDE-4D94-8E77-1995C00A9C7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c9d10a3cc7e7a04e25f3a32ce40e8fbcfa3f461","datavalue":{"value":"word","type":"string"},"datatype":"string"},"type":"statement","id":"Q909801$6361BFB3-1DA5-4A0C-A464-6E066FB57DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2c3d72ddd8a2b98e02f6cd58c6678e67f80328c","datavalue":{"value":"solid codes","type":"string"},"datatype":"string"},"type":"statement","id":"Q909801$E3E919FA-9641-4D01-BC07-0BF1AA26CECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14f4128d8d5cb4758b25272368080bb3e35ceb2f","datavalue":{"value":"disjunctive domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q909801$2167D8D3-1918-4F4F-8832-31E9F251E197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b66cfcc4c97512482f862213245e34b6b602e55","datavalue":{"value":"related pair","type":"string"},"datatype":"string"},"type":"statement","id":"Q909801$1172288E-AAD3-4FB2-B91F-E77754ACE6C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd2b6bf2e7cb760a133ace4b3ea48b8bd4a2f8f9","datavalue":{"value":"right disjunctive domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q909801$15F2FBF3-6B08-43E4-86B7-B34DE2FF5DC1","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909801$31ADBFFD-BE6E-464A-AC14-79D2225AD462","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"afe18fdfb882c799d34a7482b763d96a45625e71","datavalue":{"value":{"entity-type":"item","numeric-id":3853827,"id":"Q3853827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909801$FC9DB13F-321A-46AC-8D65-34267FD71567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ece35e2806bd63d6acaffec03c29fa862de6fe9b","datavalue":{"value":{"entity-type":"item","numeric-id":4125812,"id":"Q4125812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909801$0952FA03-3C60-405E-BFB6-347F1EDB292E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98eed1c28004f5c4ed27636eaafc7010e35aae37","datavalue":{"value":{"entity-type":"item","numeric-id":3901013,"id":"Q3901013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909801$9CB50229-2F11-4F42-85B5-EA72D75A2FD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b4785d122dfa40644c96aaa4754dba62dd3453f","datavalue":{"value":{"entity-type":"item","numeric-id":3711766,"id":"Q3711766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909801$67542E02-CE1B-4E17-A912-9D5CF3F0D8DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42135eb25c138fae7c4aa4a92cb2f299d2159b33","datavalue":{"value":{"entity-type":"item","numeric-id":3782813,"id":"Q3782813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909801$448C0E0E-1590-4070-A3DF-099A0F148FD2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e7f0f255d1928a838d7a0a1266712fa4105f76c5","datavalue":{"value":"W2090955432","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q909801$CECDA16D-E034-4B66-8F52-64F340215896","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e878a836cae892a4c781e6c91a8b391122ae1c1d","datavalue":{"value":{"entity-type":"item","numeric-id":2065362,"id":"Q2065362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"491f9711683186ed8f18c0f7f25771f1fe5721eb","datavalue":{"value":{"amount":"+0.9019102","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q909801$71682AC3-DA8E-40D8-956A-7816B58F9DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92a1208ca876f1b944e8935ea0eb01d7e5d6aa72","datavalue":{"value":{"entity-type":"item","numeric-id":2153006,"id":"Q2153006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cbf01afba91465c4af265f0c5abccf92f7c0623","datavalue":{"value":{"amount":"+0.8945177","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q909801$E0CCBCEC-B12C-4BE2-8E66-DA6F8BF058F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9581be5084dcf47f877101d7e81295e471ee286e","datavalue":{"value":{"entity-type":"item","numeric-id":5110718,"id":"Q5110718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"118593bc2af33ce750547b65696a74ae38230041","datavalue":{"value":{"amount":"+0.89239216","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q909801$F10BE40A-4EA0-48EC-B727-932F6B8A0C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f64aefd0dac6f87483b4e7d20cb0af5c5889524f","datavalue":{"value":{"entity-type":"item","numeric-id":2461500,"id":"Q2461500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9463a1ee08f314b7cc51d89b10f3072d61ef5711","datavalue":{"value":{"amount":"+0.8883232","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q909801$87F04199-2D97-43CD-BF68-19A99149FBFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2536298be4981c9a00e56f6f393a0d1b81ff850","datavalue":{"value":{"entity-type":"item","numeric-id":4674776,"id":"Q4674776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43fe2a6f0353ecefbf1b543fa0e5a5975f933177","datavalue":{"value":{"amount":"+0.8761262","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q909801$A5FA5604-0EB1-4BFA-B507-A5DBD60F71EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42e2b3354eb7b9c9806578d3462388aff4e33274","datavalue":{"value":{"entity-type":"item","numeric-id":4028454,"id":"Q4028454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"413b164aa1d7bbf9fa02581acb87c6e2b61c693b","datavalue":{"value":{"amount":"+0.87407917","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q909801$D1E66674-503B-449C-9417-6FDBEE4CFCE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40174454fa529a6b810984af707fee8049e6df7c","datavalue":{"value":{"entity-type":"item","numeric-id":3888965,"id":"Q3888965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4187f0d7935ffe92f76e8a857674d10465b2d3e","datavalue":{"value":{"amount":"+0.8710582","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q909801$944CF158-ED05-462D-9803-5521605EB384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c81152eb260e98752bcdc6d6d938de2af25b071e","datavalue":{"value":{"entity-type":"item","numeric-id":3547431,"id":"Q3547431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d837a051aba4ea559f26ecf0207f4dd34475fb01","datavalue":{"value":{"amount":"+0.8688543","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q909801$364A1B05-F9CB-46D4-AB72-0FC86B0B4B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b244c32fdec0b334c2a7ebfe0d45aa28de7d6afd","datavalue":{"value":{"entity-type":"item","numeric-id":2339137,"id":"Q2339137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"037f472c40246091b05e1e2a92016d1fc58d0af0","datavalue":{"value":{"amount":"+0.8653239","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q909801$7DCF8FFD-84D3-47B8-B8D9-4F7C0BFD716B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ef27a5c73bd931dd1c3bad96a155df13529db54","datavalue":{"value":{"entity-type":"item","numeric-id":4027648,"id":"Q4027648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6993d77e4585f9a461041376b46e79b546514f64","datavalue":{"value":{"amount":"+0.8650354","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q909801$A92983A5-3EB0-4F3C-9E0B-9C1315AD2D85","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Solid codes and disjunctive domains","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Solid_codes_and_disjunctive_domains"}}}}}