{"entities":{"Q1899154":{"pageid":1909896,"ns":120,"title":"Item:Q1899154","lastrevid":71108856,"modified":"2026-04-13T19:32:15Z","type":"item","id":"Q1899154","labels":{"en":{"language":"en","value":"Product expansions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 802557"}},"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":"Q1899154$C40A3B33-C27B-4D6D-AC0D-59DF5151D013","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2bbd39f60fc9735cfe3dd1d7dfb2327bc62fb23f","datavalue":{"value":{"text":"Product expansions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1899154$04CCA240-1E82-4630-99D5-B395D959A920","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e017e68698370dfb23b68b1c90f0a8d11f0d314b","datavalue":{"value":"0836.20082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899154$0D706289-F73A-4C19-96F7-38F5391EA17C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a2553f25080f750486106da640f09dcbc30f866c","datavalue":{"value":"10.1016/0022-4049(94)00055-N","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899154$0BA98F76-BCEC-4F9F-8EBB-5747530D2AEF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7ad990de5ddfa4e0ce911e54e1411e5a5513c5e","datavalue":{"value":{"entity-type":"item","numeric-id":805744,"id":"Q805744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899154$168CE97E-C1E2-44E2-AB01-834B8C480C4B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899154$C1763050-B92F-4461-BEF3-8CBAE1CB4CF1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a414d436d89454df802cc2f4dd39ff3c78c484f5","datavalue":{"value":{"time":"+1996-04-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1899154$C6EB3E18-73DA-4D3E-8632-FE06DD184955","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a61d6111f9910e4e1780655ddbb5224c1eb66263","datavalue":{"value":"Let \\(S\\) be a finite semigroup and let \\(T\\) be a subsemigroup of the power semigroup \\({\\mathcal P}(S)\\). The \\(\\mathcal H\\)-amalgamation of an element \\(A\\) of \\(T\\) is the union of the \\(\\mathcal H\\)-class of \\(A\\) in \\(T\\). The semigroup \\(C^\\omega(S)\\) is defined as the smallest subsemigroup of \\({\\mathcal P}(S)\\) which contains all the singletons and is closed under taking subsets and \\(\\mathcal H\\)-amalgamations. The author has proved [J. Pure Appl. Algebra 55, 85-126 (1988; Zbl 0682.20044)] that the elements of \\(C^\\omega(S)\\) are precisely the aperiodic pointlike sets, that is the subsets of \\(S\\) for which, in every relational morphism from \\(S\\) to a finite aperiodic semigroup, all the elements are related with the same point. The present paper proposes a shorter alternative proof of this result. Instead of the Rhodes expansion, a new product expansion of a semigroup is used. This explanation embeds, by construction, into a wreath product and projects onto the original semigroup by a homomorphism which is one-to-one on subgroups. In particular, the prime decomposition theorem is obtained as a corollary.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1899154$E5A73362-8DBB-447A-9D17-396C067C1161","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899154$3A8E28E5-4444-446D-8536-39595E3E7682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899154$2392197F-4722-4C7C-B7A8-336B291F388B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"161452d058224a660e3b8a96064cc184f10828db","datavalue":{"value":"20M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899154$5B63811C-04CE-4D76-885B-85E481C92F18","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1cbeb54773f880479a551261217cc94bfd57e406","datavalue":{"value":"802557","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899154$614CB156-ED52-49BE-BF82-463ED983F8AC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f531b0e0a828fa7a37e8a4a90f6c1f6ca89420f2","datavalue":{"value":"finite semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1899154$2586D28C-767D-42CE-B496-FDF863E74628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d2985a943b5b6c8c0ce3a86864f237a517007b9","datavalue":{"value":"power semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1899154$5FBF6E36-15F6-486B-A9BC-FFF089FD5503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3771f353b9d0115e16d78cd3b61dc060f9e377b5","datavalue":{"value":"\\(\\mathcal H\\)-amalgamations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1899154$027DDDCD-B411-41FF-A9F2-85B9C270E1DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e2558cde4059ed3e026ea52e80f9d9ff6274c04","datavalue":{"value":"aperiodic pointlike sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1899154$6212ED5B-D9CC-4B26-99BE-4CE1154A1432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f16b302a536459f17691bcc175448eab0b4d49a3","datavalue":{"value":"relational morphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1899154$38081360-C976-4C79-8F28-829AEFB7A534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2723ef603b69e4796db8f4457b65f2b6bba9dd9","datavalue":{"value":"finite aperiodic semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1899154$6704A803-491A-484C-BA97-66C12272BAAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5851045dffa0f32f7514e37344823d648f840c37","datavalue":{"value":"product expansions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1899154$5EDC125D-3E0F-4741-90FD-EC3435049D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8c8c8c4fdc9f91696962efc35a08827e231ad2b","datavalue":{"value":"wreath products","type":"string"},"datatype":"string"},"type":"statement","id":"Q1899154$524127B7-2C29-411E-9C36-7C090CC9C196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35d4413ed662c17e47154dec323c5f1f376d5074","datavalue":{"value":"prime decomposition theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1899154$B1772A14-4907-4896-B77F-952EC5B8EC76","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"99980a1fe8b67be8570894d1f605195f6f2e1e0e","datavalue":{"value":{"entity-type":"item","numeric-id":375866,"id":"Q375866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899154$88733AFB-FCAC-414D-A9A4-3A0E3DBC63B1","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":"Q1899154$F82E69FE-2CB9-4139-A544-A6F59F49F0B2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"de840207ef12d35e5596885c4b64620446878d6c","datavalue":{"value":{"entity-type":"item","numeric-id":1824040,"id":"Q1824040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899154$CA781494-E11D-4BE6-BB74-E4817C92F3AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87439a08f1217bb194be1d96f03002b06dbd2db5","datavalue":{"value":{"entity-type":"item","numeric-id":1822636,"id":"Q1822636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899154$4850A178-6BFF-4DF6-9CC9-7E117CBEAEE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"572a359ebd12680219af062d2612606f0a5d8e1f","datavalue":{"value":{"entity-type":"item","numeric-id":5570933,"id":"Q5570933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899154$1A3EC53D-EE7C-4DB7-97D1-7A918507D025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34da4b1fbefe7d4aea3bcaec6eb9f3b20fbffc0a","datavalue":{"value":{"entity-type":"item","numeric-id":2560324,"id":"Q2560324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899154$69842B8E-E284-4DF6-A25A-488B4692D645","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"53d05139fd0ca8332231b11c5fac224c2d1eeb4c","datavalue":{"value":"https://doi.org/10.1016/0022-4049(94)00055-n","type":"string"},"datatype":"url"},"type":"statement","id":"Q1899154$77D1001A-7AD6-4426-BDA3-F41BDAED6463","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"af77b4c7891e4a9145cf0f699d3b0427f0ee66fb","datavalue":{"value":"W4213329000","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899154$C46DA3B1-1DCE-40E0-83B8-2FE4BC521B7B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e77d91413f5cb1a9218449e95ba44018bcccdb1","datavalue":{"value":{"entity-type":"item","numeric-id":1969113,"id":"Q1969113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"451909881ca2ae52a49602f80341c634f8391b5f","datavalue":{"value":{"amount":"+0.6924202","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":"Q1899154$15516BBC-B326-46F1-A1EC-C5274DFFF67B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfd7aeffbd89bfceeb0b7f81e88502f37daeda1a","datavalue":{"value":{"entity-type":"item","numeric-id":3121327,"id":"Q3121327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b659f49bc3e48e20d3b613553a290deaf46626aa","datavalue":{"value":{"amount":"+0.69055843","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":"Q1899154$D4F5F0E8-F7EF-4953-AB6B-FC0F633B13B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70534684f0874f290def95a263dee13f3ffdd38c","datavalue":{"value":{"entity-type":"item","numeric-id":2631933,"id":"Q2631933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d033f2bad093f5704970473981bfd09d8e4f7e5","datavalue":{"value":{"amount":"+0.6845221","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":"Q1899154$6CD9750C-D6AE-4D9B-9CAB-E3B0E9E1ED4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6375833829755bb44914395e4692577a028870f9","datavalue":{"value":{"entity-type":"item","numeric-id":1206787,"id":"Q1206787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5755ff7e09585aed869b2dd7c993942a6909f638","datavalue":{"value":{"amount":"+0.6743943","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":"Q1899154$0F2E1B4B-2C2C-410D-AA03-373B004E72A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4eb7c40ea919567305b14d3228c74347a223797","datavalue":{"value":{"entity-type":"item","numeric-id":4311858,"id":"Q4311858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35787bf1f5fa9c600bcef52a33abe4ede0d287ba","datavalue":{"value":{"amount":"+0.66683054","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":"Q1899154$E102EE8F-15CD-4284-8477-5CE40749BB0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3276f5ba84da656dc4cec320e8cb50c263cdf34a","datavalue":{"value":{"entity-type":"item","numeric-id":4658707,"id":"Q4658707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"354377f64b64a12f4e62fae7deb6f7be352a1433","datavalue":{"value":{"amount":"+0.66265047","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":"Q1899154$414D8C85-3E6C-4135-8626-E3D231491E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5d7bc671c476126d6684f1f50ef86db0f86b8c6","datavalue":{"value":{"entity-type":"item","numeric-id":3469294,"id":"Q3469294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a65e364dbdba1e5054008685d59209c9f47040f2","datavalue":{"value":{"amount":"+0.65843475","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":"Q1899154$59B497F5-0DD0-4D81-9F6F-0270D2CDB505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27f743d4a02e84fca8903e166a605402e0ab2676","datavalue":{"value":{"entity-type":"item","numeric-id":3816247,"id":"Q3816247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"705c64b7c2ecfebc510280d4e8f0db6f846f37ee","datavalue":{"value":{"amount":"+0.6573363","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":"Q1899154$D7D51E8A-D39F-40B7-985B-D6A0909EE758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf7302f17bd0c05a30a90d3291c1323cee39e1df","datavalue":{"value":{"entity-type":"item","numeric-id":1184166,"id":"Q1184166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c98ff5b6ecfc8b9c4fb1490e285f16401d9e1fd6","datavalue":{"value":{"amount":"+0.6524862","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":"Q1899154$B53085C8-2B89-4B0E-A544-E53321609EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e8fea5752bfe15477a930ba1324311e2e4ba744","datavalue":{"value":{"entity-type":"item","numeric-id":4734033,"id":"Q4734033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c17be7706207aad19cdba6f236534e2178fc21a","datavalue":{"value":{"amount":"+0.6441204","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":"Q1899154$8AB7F420-BC21-401E-9B95-F1CD5E1EDA82","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Product expansions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Product_expansions"}}}}}