{"entities":{"Q804680":{"pageid":806528,"ns":120,"title":"Item:Q804680","lastrevid":49505896,"modified":"2026-01-07T09:21:48Z","type":"item","id":"Q804680","labels":{"en":{"language":"en","value":"Semigroup algebras and direct sums of domains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4202506"}},"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":"Q804680$C602E9A3-0FA8-477C-8701-9B59B0834263","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab208079c03270daae2ecec9e0b544f4e0c491df","datavalue":{"value":{"text":"Semigroup algebras and direct sums of domains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q804680$F38521CE-731F-4CAA-ABC4-EE15BC0F0C9C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"098be697722996c2fa70b82214b11243b8a5ac77","datavalue":{"value":"0728.16013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804680$F72AECDE-5D3E-4E00-BC96-3830591B37A7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"809a562ae80f0257dc08aaab7326d3eb08689285","datavalue":{"value":"10.1016/0021-8693(91)90184-A","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804680$5DABF7C4-28CB-4AED-BE02-5BCC756262A4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"77fc81d51c9c838117ad66a55a201ad33cb84808","datavalue":{"value":{"entity-type":"item","numeric-id":804679,"id":"Q804679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804680$49B60994-DFDE-4B25-A7CA-E468202FF0E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3748b7af532345b27052252f02f5a07af05e26e9","datavalue":{"value":{"entity-type":"item","numeric-id":788799,"id":"Q788799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804680$F1B7179F-3A14-4547-A532-9E6840741DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"12066d24407741e214aeedf9a0d262b0a546c71c","datavalue":{"value":{"entity-type":"item","numeric-id":188208,"id":"Q188208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804680$12291C85-B8E6-4D25-A9A3-D8F99B61F035","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804680$FD997ADC-4ADC-4E62-B419-CD201D2C04CD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-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":"Q804680$820E6C56-1A86-4174-ABEB-8B4A3AFC8C71","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7b662ec67859b8f445a6a283e71f1e596fb4bc4f","datavalue":{"value":"Let K be a field and S a commutative semigroup. Assume the semigroup algebra KS has an identity. The authors prove the following (Th. 2.3): Let char K\\(=p\\geq 0\\). Then the semigroup algebra KS is a direct sum of domains iff the following three conditions hold: (1) S is p-separative, (2) S has a chain of ideals \\(S=S_ 0\\supset S_ 1\\supset...\\supset S_ m\\) with \\(S_ m=\\emptyset\\) for S without zero or \\(S_ m=\\{\\theta \\}\\) in the case of \\(\\theta\\) being the zero of S and with all factors \\(S_{i- 1}/S_ i\\) being (finite group \\(H_ i)\\)-by-(torsion free cancellative) monoids, and (3) for any primitive idempotent \\(e\\in KH_ i\\) and \\(x,y\\in (S_{i-1}/S_ i)\\setminus \\{\\theta \\}\\), \\(exy=0\\) holds iff \\(ex=0\\) or \\(ey=0\\). An example is given which shows that there exist field extensions L/K such that KS is a direct sum of domains while LS is not. Also, a number of corollaries and applications of this main result are given. E.g., for a torsion free semigroup S and a field K necessary and sufficient conditions for KG to be a Gaussian ring (Th. 3.2), a Krull order (Cor. 3.4) or a hereditary Noetherian ring (Th. 3.1) are proved in this paper.","type":"string"},"datatype":"string"},"type":"statement","id":"Q804680$93353252-D287-4408-87A4-C822535DBCB9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9f763c8cd6a5bb163b3bc0f29fb7bffc7801b7ec","datavalue":{"value":"16S36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804680$CEA50669-A244-421F-98DD-71C641568877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1dee8e7847b4ea1ec0c89cb2093a26d38c393e9c","datavalue":{"value":"16D70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804680$5DEF4598-3C90-45CF-8ED0-977E4042C5DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0a110c7416e1228fed50bb2e0832c21a254df2cc","datavalue":{"value":"20M25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804680$734FD189-2F83-4911-9708-E76D731BB692","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"15f922138b0002d25d5e5c509150e6e256c07f03","datavalue":{"value":"4202506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804680$0B5C3027-33C9-4DF4-93AD-604FB693609C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c0d1e92fea6d7db131a4694ca9d8654f02d8eab","datavalue":{"value":"commutative semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q804680$B00AF888-B704-4814-ACAC-7C2AF661F399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"848e0bb9a0fac04d9884050b0913f8de47ce85f6","datavalue":{"value":"semigroup algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q804680$E0646A45-C8BB-46F2-9DD0-49559EEFFBDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79353f28aa7b5fe46f6fd62593634c35ebb84dd6","datavalue":{"value":"direct sum of domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q804680$9AEEC17D-B998-42E0-A613-EACD9A0F6A78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd951f24e5851e8d07754bdc60d1b8921c074532","datavalue":{"value":"primitive idempotent","type":"string"},"datatype":"string"},"type":"statement","id":"Q804680$930EAF14-68AF-4495-B586-FBC3278CC4B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0bca0541633a72dc359d34aab8bca592d087580","datavalue":{"value":"torsion free semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q804680$388DBEDB-2FC7-4A76-B151-F3A539374A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eddb569ffc77163e5d3f4e9446231f00cd19fb0e","datavalue":{"value":"Gaussian ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q804680$BA75F7AB-028E-464B-BB5C-492AFD27ECBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a15cccccaffc1890cc6f7cb3c0de3d56100d4a0d","datavalue":{"value":"Krull order","type":"string"},"datatype":"string"},"type":"statement","id":"Q804680$71A87489-77A4-431B-B6C1-7C0C7DBA6432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52e0124af7a9b0adcca33f657bfb85f092152cc3","datavalue":{"value":"hereditary Noetherian ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q804680$11D6D47D-3EA1-497E-876F-B3FD6F10BD68","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"20533fcc7734c324d16abc2a4c8c149f15b6ddad","datavalue":{"value":{"entity-type":"item","numeric-id":1372655,"id":"Q1372655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804680$8CDEF1F8-6FD6-4875-A91A-58F1329D8259","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":"Q804680$188295CF-6323-433B-A2D6-589314BFD98F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"15ddd5b9b472223d5cf7a02ec30fc3c9e08397e5","datavalue":{"value":{"entity-type":"item","numeric-id":3877779,"id":"Q3877779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804680$7918D93B-4B84-4089-B267-4AC3C2440CCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f9d97b4cb27a3885e481b1c32df4540c19c38a3","datavalue":{"value":{"entity-type":"item","numeric-id":3900161,"id":"Q3900161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804680$031D0AC4-CE17-4BAC-B209-43DD62FD4D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bed24e7e54393cabe5397cefed78db5395a02ac","datavalue":{"value":{"entity-type":"item","numeric-id":3881030,"id":"Q3881030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804680$61FF2613-9E7C-40AB-A5DA-E16C7CEDAD5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5afbf744a209bae591f2001b963f84ed85dc6a7","datavalue":{"value":{"entity-type":"item","numeric-id":3848243,"id":"Q3848243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804680$B2CD057C-25C5-478F-8FB4-911C5D04A9A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61b16098bb8470f87d0f34469950d6c5f6066cc2","datavalue":{"value":{"entity-type":"item","numeric-id":807751,"id":"Q807751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804680$68945854-0417-4334-8754-58EB07CCB7A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63ec7adcdafaccd86ea3861b20301d76ce82189f","datavalue":{"value":{"entity-type":"item","numeric-id":3681045,"id":"Q3681045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804680$53D787E8-203C-42FE-A810-0B22FF2ABF25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8228093cd06ddd83f66ca90b6a38b8864d83cf8","datavalue":{"value":{"entity-type":"item","numeric-id":5661989,"id":"Q5661989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804680$F5BA0E0D-7CEA-4143-8E77-CC55DB064E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08144851dc1050586a04288a5d9042d88821503c","datavalue":{"value":{"entity-type":"item","numeric-id":1215721,"id":"Q1215721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804680$AF0F4382-FC99-46B6-BDA8-A50C0DD86186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"631931987ed3baef2546fef3292dd474791d362c","datavalue":{"value":{"entity-type":"item","numeric-id":1097939,"id":"Q1097939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804680$C6049F60-DC08-4914-9494-3252001FD6BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e41c5d14fd3b298ecbf72d80a5fe11cbbb13a5a1","datavalue":{"value":{"entity-type":"item","numeric-id":5603302,"id":"Q5603302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804680$ABCE5BFC-00D1-4F0D-BADA-A5A009DA2A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b94dd931e49aba55055225b88e1eb9f35227ad3","datavalue":{"value":{"entity-type":"item","numeric-id":1171111,"id":"Q1171111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804680$24E0A1E5-5706-43BD-A439-F1542706E7E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02d1c4c5215e4f3371d9149fe51566b2029a510e","datavalue":{"value":{"entity-type":"item","numeric-id":3310063,"id":"Q3310063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804680$91966FEE-6962-4134-A0DD-576D1154F7DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a4b34281b8b2c6ddf8b2b2b67a9c4c7164b430a","datavalue":{"value":{"entity-type":"item","numeric-id":5682079,"id":"Q5682079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804680$12C91DA6-F8B4-48DB-A38D-AE6BFE504C35","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20eb76f890e3a9d34165dcbf0670c0520ed7d60e","datavalue":{"value":{"entity-type":"item","numeric-id":1061236,"id":"Q1061236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adb5c37db79300dbf5757ea04108d0b64317505f","datavalue":{"value":{"amount":"+0.7864469885826111","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q804680$A5D07022-D83D-4D91-BD1E-0BE120C6D634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"724c86119a2a95a738417976ad0fd54f9b3118f8","datavalue":{"value":{"entity-type":"item","numeric-id":1284214,"id":"Q1284214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"581d3c8d5a20a0fb1f1ca3b38205b4ef57b3ca86","datavalue":{"value":{"amount":"+0.7843702435493469","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q804680$861F4CC3-F1E5-4A59-B9C0-21B95B71D20E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0134333940864502b259ec363e7d423a9a36d12","datavalue":{"value":{"entity-type":"item","numeric-id":3722652,"id":"Q3722652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"581d3c8d5a20a0fb1f1ca3b38205b4ef57b3ca86","datavalue":{"value":{"amount":"+0.7843702435493469","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q804680$6018E7A3-549E-417A-94F2-386CD05F260D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9338bb0ffcb438714c3ac9e0ad03a0dc4c189d40","datavalue":{"value":{"entity-type":"item","numeric-id":4526396,"id":"Q4526396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2537a0906f14b670f2966e56d2cc90d279289473","datavalue":{"value":{"amount":"+0.7828901410102844","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q804680$0E820573-E5BC-440F-B57D-319DFE2B856C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d43aef9248a1753c4da6b68a1b16160278dba49b","datavalue":{"value":{"entity-type":"item","numeric-id":5380260,"id":"Q5380260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2537a0906f14b670f2966e56d2cc90d279289473","datavalue":{"value":{"amount":"+0.7828901410102844","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q804680$30870352-EFFF-424B-98D4-00CCC7076549","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:804680","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:804680"}}}}}