{"entities":{"Q1332855":{"pageid":1343599,"ns":120,"title":"Item:Q1332855","lastrevid":70164594,"modified":"2026-04-13T12:52:16Z","type":"item","id":"Q1332855","labels":{"en":{"language":"en","value":"Rings of monoids elementarily equivalent to polynomial rings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 633656"}},"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":"Q1332855$3BB2B036-32BB-4B6E-A6D7-03BA1D28AA28","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f478769552866621f572ed043454853883f2d6a7","datavalue":{"value":{"text":"Rings of monoids elementarily equivalent to polynomial rings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1332855$22AC65CD-E2F0-42F2-A3B4-6E97A5FDF574","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"883f4bc75de0b88d3460eef2243d16a9ed5e087c","datavalue":{"value":"0819.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1332855$40C8DB4F-E655-4406-9BCA-C14B753051A4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"62d709a7924be68e4a38cc8f138a5952d3a208f4","datavalue":{"value":"10.1016/0168-0072(94)90073-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1332855$5D1B659F-BE2D-433B-BE44-E510C98D4533","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332855$0359BBBD-34FC-4F38-8F9A-F0DC2245D931","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"130e39adf7d31aeb394dfacb8a12a0f0ed2af467","datavalue":{"value":{"time":"+1995-08-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1332855$F145F634-BC2A-4F79-AD86-D20731C5F1F2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1f6329c044efc19320011a0ad34cbf54dfb43b4a","datavalue":{"value":"Let \\(K\\) be a field and \\(R= K[X_ 1, \\dots, X_ m]\\) the ring of polynomials in \\(m\\) indeterminates over \\(K\\). The author investigates rings \\(S\\) elementarily equivalent (in the sense of first-order logic) to \\(R\\).    \\textit{A. Bauval} proved that if \\(S\\) is factorial then \\(S\\) is isomorphic to \\(F[X_ 1, \\dots, X_ m]\\), where \\(F\\) is the field of invertible elements of \\(S\\) [J. Symb. Logic 50, 953-972 (1985; Zbl 0592.03006), Thm. V. 2.1]. Instead of assuming \\(S\\) to be factorial let \\(S= L[G ]\\), the semigroup ring over a division ring \\(L\\) of an arbitrary monoid \\(G\\) (notice, \\(R\\) itself is a semigroup ring, namely that of \\(\\mathbb{N}^ m\\) over \\(K\\)). The author notes that in general such a semigroup ring need not be factorial, however in the given situation (where \\(S\\) is elementarily equivalent to \\(R\\)) he shows that \\(S\\) has to be (this is not trivial, since being factorial is not an elementary property). More precisely, he proves that, as in Bauval's result, \\(G\\cong \\mathbb{N}^ m\\) (Thm. 1.4) and that \\(L\\) is a field (Lemma 3.1) definable in \\(S\\) (Cor. 3.2) and elementarily equivalent to \\(K\\) (Lemma 6.3). For \\(L\\) any of the following fields, the author derives even the automorphism \\(L\\cong K\\) (Cor. 6.2): finite fields, \\(\\mathbb{Q}\\), algebraically closed fields of finite (absolute) transcendence degree, the field of algebraic real numbers.    The author points out that only the consequences derived in the last Section 6 use Bauval's results.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1332855$EB2C35F4-92DF-4342-B44B-FDE4D6DD9CC1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1332855$0BF30BD2-4062-46F5-BA3A-33A3221236B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4e2aa5b7e34e0c988d04ecf732a3cd8c9233b11e","datavalue":{"value":"13L05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1332855$3B29F8F5-768C-4DFB-9531-D05B2D572EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9a7e67a2561ebefb856e913da9b63666419f7e30","datavalue":{"value":"16B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1332855$E6AFF069-B25B-4270-B8EE-63A33305DC38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a20487430c81f65093c255b3f6124eff3bb99c7b","datavalue":{"value":"13F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1332855$D969FBD0-074B-48A0-AA39-902607EB6499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0a110c7416e1228fed50bb2e0832c21a254df2cc","datavalue":{"value":"20M25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1332855$A2FC0B4A-441C-4B2F-B6B1-A4687DCC0FD2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"50dd37f19e2904eee01550f293c3634b10acf682","datavalue":{"value":"633656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1332855$48EA84CA-6D03-4708-ADFE-DFC3200EB9C0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc78d2b80333a2fe1bc4959ce23126c928c3921f","datavalue":{"value":"polynomial ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q1332855$7235D6CB-E26C-4C99-9855-DC6CFD5052FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4eb313d3005a5865e8a1b33f13a1c66f607feb6","datavalue":{"value":"elementary equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1332855$983950EF-7876-4F21-9384-F6601E364CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bdcc49c848d4ae9b7b891f5919a5415d787e010","datavalue":{"value":"semigroup ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q1332855$1BBB2E25-2AD0-478D-B958-219EACC9A4FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce7ab89ef0afcd2141c7da8aae338608bd16ac9a","datavalue":{"value":"automorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1332855$2321479F-C3D3-41E5-92DA-7F619BF10167","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0dc2061447a19f4d747e8019284687f4efefb104","datavalue":{"value":{"entity-type":"item","numeric-id":590860,"id":"Q590860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332855$A8912C50-0F4B-4122-8BDC-33ED0539E407","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c4fc1a62ca429699fb2785a3a1c01c003a0e3dc2","datavalue":{"value":{"entity-type":"item","numeric-id":688805,"id":"Q688805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332855$61160112-BBCF-4D8A-8EBD-0FF1A145E5EC","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":"Q1332855$0AFED25B-4924-4F2C-AFF0-079F97D54CF6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"17ff805f1d89a112cd237fd52c57a664049d9752","datavalue":{"value":"https://doi.org/10.1016/0168-0072(94)90073-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1332855$19128ED5-339A-413A-AC2F-6FC967069CC4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"89ff095422c8a07ff6c1ced3773fd7962579ee93","datavalue":{"value":"W2025518484","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1332855$5CECF834-721A-41F0-983A-0ADBCF65B626","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"270313177279a84c257aafc67c1a525bc143a293","datavalue":{"value":{"entity-type":"item","numeric-id":3720562,"id":"Q3720562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332855$5C78E0BF-E344-45C0-98A5-512B18913427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2cbfea7df5a952e37b1c9a93a0db40abd77b238","datavalue":{"value":{"entity-type":"item","numeric-id":5732721,"id":"Q5732721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332855$966EBD65-F0E2-4B15-8D23-13B01EB15CAA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0df660d66cea18d039641736425877dbd0de8741","datavalue":{"value":{"entity-type":"item","numeric-id":3834152,"id":"Q3834152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c439e11c68364682905e019007db683ee4f0993a","datavalue":{"value":{"amount":"+0.7386244","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":"Q1332855$9344C17F-AADB-4858-9C30-006F12F52E51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7df8bccf4dbb0b07cdc7269136d68a5c61d1706","datavalue":{"value":{"entity-type":"item","numeric-id":4638606,"id":"Q4638606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e8930b8a25b34bc1f709940c545568c8e0f7401","datavalue":{"value":{"amount":"+0.7036388","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":"Q1332855$E263D6E0-0133-4F39-9890-53E0A4A5F966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e83b120d535e57245c5c7956245354bcd33a1b89","datavalue":{"value":{"entity-type":"item","numeric-id":5311766,"id":"Q5311766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a68ad05d33341b32484c48aaf21ea51a8395ce1","datavalue":{"value":{"amount":"+0.6920197","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":"Q1332855$1F092332-5B6B-4C8A-AEF5-F7AB36903878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"711e4b2e378175ab6d098ef47437ee5cb991de78","datavalue":{"value":{"entity-type":"item","numeric-id":799783,"id":"Q799783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a722f8e21fd3d4134559a177bd95e48ae14861a7","datavalue":{"value":{"amount":"+0.68854344","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":"Q1332855$F2FDB737-8CD4-44B6-B83A-120FE9AEF5D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"641b2e5af169c6ef25a8207dc5938522493e7683","datavalue":{"value":{"entity-type":"item","numeric-id":2611554,"id":"Q2611554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f5c78617c3df25896cdbc3f5826794d243cf701","datavalue":{"value":{"amount":"+0.68197656","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":"Q1332855$0D061A74-EAA5-4E23-AA8C-F26FBD32194C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfe92c17141da34026a169a1042b377bfbe1c82d","datavalue":{"value":{"entity-type":"item","numeric-id":2353431,"id":"Q2353431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0ed967a62a1b01e98e6788a468d029ce7255a2d","datavalue":{"value":{"amount":"+0.68166673","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":"Q1332855$056FDCAE-E959-428A-BB07-1AFD7ECE4DFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d99dc8e45bdee110112037b9126acc54025342e4","datavalue":{"value":{"entity-type":"item","numeric-id":5937373,"id":"Q5937373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10dcc9360bf260fb58cdfb75cfa8f8898d6dc15f","datavalue":{"value":{"amount":"+0.67923295","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":"Q1332855$9A9CCD9C-2C60-4FF4-88D5-BF9A05A7A464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df2a95bfdc1246a98039bcc67e3aefbea5f72797","datavalue":{"value":{"entity-type":"item","numeric-id":4517576,"id":"Q4517576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6513cd611b05bb067e20fe6938ebffd95db823d","datavalue":{"value":{"amount":"+0.67660964","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":"Q1332855$A06D681F-693B-4484-BA5C-BD192C0D6CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62575484023fcb69d6d60ededb2f7bd817ab4883","datavalue":{"value":{"entity-type":"item","numeric-id":3422805,"id":"Q3422805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fe8851ff49b9cba35911245430d959c9faa128f","datavalue":{"value":{"amount":"+0.67399037","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":"Q1332855$D912978C-2D0D-42E3-8C9F-21D50E038725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa934de33784c6d859bcf72ba772476c95ac6bd4","datavalue":{"value":{"entity-type":"item","numeric-id":5201432,"id":"Q5201432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fe8851ff49b9cba35911245430d959c9faa128f","datavalue":{"value":{"amount":"+0.67399037","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":"Q1332855$4D91F828-CAA2-43B7-914C-81509B491353","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Rings of monoids elementarily equivalent to polynomial rings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Rings_of_monoids_elementarily_equivalent_to_polynomial_rings"}}}}}