{"entities":{"Q1729795":{"pageid":1740536,"ns":120,"title":"Item:Q1729795","lastrevid":71218899,"modified":"2026-04-13T20:37:46Z","type":"item","id":"Q1729795","labels":{"en":{"language":"en","value":"The identities of the free product of a pair of two-element monoids"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7031059"}},"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":"Q1729795$26090872-28A9-419D-BFDC-9EFE26049D30","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"91caf745c43124967477ab1334f76e349b8f29b5","datavalue":{"value":{"text":"The identities of the free product of a pair of two-element monoids","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1729795$200FE07A-E2CC-4074-A24B-0342E0EBB7C9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"415d9ba67343244ff1e67e25ea05db183f6161e7","datavalue":{"value":"1412.20019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1729795$7747041F-6F0B-45C7-BCC9-BFCA043A27CF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9836a36a6248613f2664814a87ea01a9c752cb6","datavalue":{"value":{"entity-type":"item","numeric-id":1729794,"id":"Q1729794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1729795$A6F068C7-4565-4C8A-8429-5134F2097DB5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1729795$4190534F-21F4-4759-9729-532496A7E3A1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c04af62fc78139a00a55a9be2b6aec0ab8daab36","datavalue":{"value":{"time":"+2019-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1729795$AE6449CA-2BD0-4EB1-B9EC-00E076CAE3A9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5acf87d24cacbd05115e85bdf209649ed0adb940","datavalue":{"value":"https://arxiv.org/abs/1901.00284","type":"string"},"datatype":"url"},"type":"statement","id":"Q1729795$50E67A73-319C-4A54-A0BC-F919E8333CC4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ce38667f68bb851c5f270a27444cb28a7caf7969","datavalue":{"value":"The free product in the title is the monoidal one, amalgamating the identities. It is noted that the free product of a monoid containing at least two elements with one containing at least three elements contains a free monoid of rank two and thus satisfies no nontrivial identities. The only cases of interest are then the free products of two two-element semilattices, of a two-element semilattice with a two-element group, and of two two-element groups, denoted respectively by $J_\\infty$, $K_\\infty$ and $D_\\infty$. The main result of the paper states that the identities of $K_\\infty$ are not finitely based. The argument re-uses the technique used by \\textit{L. M. Shneerson} and the author [Semigroup Forum 95, No. 1, 245--250 (2017; Zbl 1375.20060)] to show that the analogue holds for $J_\\infty$, which is just the semigroup free product of two trivial semigroups, having an adjoined identity. The author observes that a modification of this technique also yields the analogue for $D_\\infty$, the infinite dihedral group, although this may also be deduced from general results. Finally, it is observed that no two of the three monoids above satisfy the same sets of identities.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1729795$02052858-1607-4045-B465-F8C47B3D976A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f4385d4dae42e0a5bfb796b12df4f3fcdddf89d5","datavalue":{"value":{"entity-type":"item","numeric-id":418915,"id":"Q418915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1729795$66218152-E0B9-453F-AE61-11FAD508BF36","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1729795$EEEDCEAF-6F24-4EEE-863F-97FDA92FADBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1729795$929FDEEC-6D4A-4435-B61F-2C9436692EBD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9cfcb4bacaadd50b3bbc4801869996ab2a398b2e","datavalue":{"value":"7031059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1729795$18BAA47C-43D9-45D2-880E-E408700E2D3D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a3e638b439a8ce33a8e994eaa7d1ef9ec9b9535","datavalue":{"value":"free product","type":"string"},"datatype":"string"},"type":"statement","id":"Q1729795$1D514709-7903-40E5-8F31-16A89BDA3BF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c234a1ad1af90195fbb6aa75d2195d459e2a8a8","datavalue":{"value":"identity basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1729795$F28052FC-DD90-4808-BFFF-A0262820DB06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6fbf857eb8b7252d0ae2d4cd45fb41e60c91c39","datavalue":{"value":"finite basis problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1729795$2160A500-8797-4D81-8409-0F3E343DA438","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":"Q1729795$D1B6B751-3174-49E2-B3C5-125D103A6681","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fb5bb812f8e96c2e5623ed01fbbb0ca866f0faba","datavalue":{"value":"W2964080914","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1729795$CF31F830-6E40-4BB8-AC22-648A4BE3877D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"528c6a21a9fbdcfab99ffc1952bb7a51eab778d1","datavalue":{"value":{"entity-type":"item","numeric-id":745715,"id":"Q745715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1729795$F7207636-A320-4E97-AB63-32C75893AA74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d4e36ad9f859ad52cad207f2d0464aa2482010a","datavalue":{"value":{"entity-type":"item","numeric-id":2527486,"id":"Q2527486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1729795$5203BAF6-97A0-4383-B918-FB3B37CB8CC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bb369f51de540f7cde1ad7c84077911c5fd2e8c","datavalue":{"value":{"entity-type":"item","numeric-id":3407128,"id":"Q3407128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1729795$469C4ABA-2A8B-4BFB-A989-F8CE13CB6A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bec8875edd74561cc5d1cd17aba7a5796ac3ffcd","datavalue":{"value":{"entity-type":"item","numeric-id":3789786,"id":"Q3789786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1729795$3742022E-D040-4FFB-9816-F66FF7159D4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d22f94434423433ca1780b4537efb539c76bd4d","datavalue":{"value":{"entity-type":"item","numeric-id":1677273,"id":"Q1677273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1729795$5258FBE9-099B-4A6E-AFAD-8A7F1E21D50D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c58a84652d20037f5e33108f5eeb3dd025d9c1a9","datavalue":{"value":"10.1007/S00012-019-0587-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1729795$7B850F9F-71A5-4537-B4A5-D4F72F4A521A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18cae5e711946eaa86336305da523d9bba0bf946","datavalue":{"value":{"entity-type":"item","numeric-id":1677273,"id":"Q1677273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27258c6b95d4e1854baa6dbfcd97d5ebb4551cdf","datavalue":{"value":{"amount":"+0.78605866","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1729795$E943B443-7EFA-487B-A3BE-376B45344521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4f8b495721fce8ed6bc4702a55a0c86a862e9eb","datavalue":{"value":{"entity-type":"item","numeric-id":744847,"id":"Q744847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33593a8c988b95f14cc9dc9da2e5bdaef585a356","datavalue":{"value":{"amount":"+0.7548876","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1729795$440F71B1-D754-4EDE-9C57-C03580CC67C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2592723e06344b3e645f6606ef2f18eca767a24c","datavalue":{"value":{"entity-type":"item","numeric-id":4704556,"id":"Q4704556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bac39534d9257dba90632a4e59dc2ed5d0179ce","datavalue":{"value":{"amount":"+0.7523733","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1729795$B7D52B17-7216-4D51-960B-F6CE2753F39C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee4f5fc8e8109173f0b4e5ff6884ad7463e36197","datavalue":{"value":{"entity-type":"item","numeric-id":934184,"id":"Q934184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1757e9df0fee2e6320851e059b4f2220c5c3caf5","datavalue":{"value":{"amount":"+0.7305523","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1729795$0B2F4A77-29B0-431D-9575-0F132F7306BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a676c90b834ebbfe377d04bad6af81c9848c9e2","datavalue":{"value":{"entity-type":"item","numeric-id":1089109,"id":"Q1089109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4df8f193f5a87f3b8a6e65e3b4091d5cf6744427","datavalue":{"value":{"amount":"+0.72111315","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1729795$A9E00A10-09DE-496C-B79F-06F6A7E270AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b25e3b8cca771ab07c2c6c5f32631f96f19d1ad1","datavalue":{"value":{"entity-type":"item","numeric-id":2737192,"id":"Q2737192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0805069b6c69bbcdccace560c3ebc3579fe95c3","datavalue":{"value":{"amount":"+0.7183963","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1729795$15C3FAAA-FD76-4627-8B21-3AD074F36FA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"085274bce52e11c4a351fd336a7166f40edb10a8","datavalue":{"value":{"entity-type":"item","numeric-id":1365577,"id":"Q1365577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19ef76b63e650eae5bb12b5e14f75cb9b5103de9","datavalue":{"value":{"amount":"+0.7095088","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1729795$D46D5826-BC6D-4CE1-9A0E-B1A6B9BC0744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5625d8548b8e6c9a3b27cd9efa20b8d98d2467f7","datavalue":{"value":{"entity-type":"item","numeric-id":5250532,"id":"Q5250532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b9290f558391aeac4937912c9bffd3e2a3bbb9c","datavalue":{"value":{"amount":"+0.70753676","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1729795$DA9BC523-273B-4A2C-A8E1-B00A1EDF11E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8604be9b5a1045ac488538e93a2c7b5f824ccfd0","datavalue":{"value":{"entity-type":"item","numeric-id":935166,"id":"Q935166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bba52fbdc8296847f277e12871a1c40716023ef","datavalue":{"value":{"amount":"+0.70740813","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1729795$B7CE6326-696E-4A26-802D-3DF3C193A71A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54cb284f4c6f3656a20e159d9e64a50885ebaf45","datavalue":{"value":{"entity-type":"item","numeric-id":3507541,"id":"Q3507541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab37a82c16de82ad3351deade256a10229fb0854","datavalue":{"value":{"amount":"+0.7064426","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1729795$287F2625-57F2-4F97-B4D2-C7EC1B193504","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The identities of the free product of a pair of two-element monoids","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_identities_of_the_free_product_of_a_pair_of_two-element_monoids"}}}}}