{"entities":{"Q797101":{"pageid":798949,"ns":120,"title":"Item:Q797101","lastrevid":64442973,"modified":"2026-04-11T19:53:58Z","type":"item","id":"Q797101","labels":{"en":{"language":"en","value":"Distributive rings of continuous functions and F-spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3867999"}},"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":"Q797101$72431E24-5691-4B17-80E1-F4F404F09236","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2233418270cf6286a65f79b82e57246e798cb757","datavalue":{"value":{"text":"Distributive rings of continuous functions and F-spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q797101$1282688E-4AFA-4EB6-91C2-81D6FD1D8B71","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c6c5314436fb69e841265631d74d4ec4d83058d","datavalue":{"value":"0545.46017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797101$F2924BF4-48B9-4CE6-A3E5-EC1ACC0E6431","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5f78ad866f046aedec8340b55b77402a6556f596","datavalue":{"value":"10.1007/BF01140340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797101$B4FCD461-724F-4F19-A943-341D7B717B64","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b9fafc903f2dd08396a31b0489de56bb085bd5b","datavalue":{"value":{"entity-type":"item","numeric-id":266214,"id":"Q266214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797101$984A120B-6EF6-4793-B858-E58788F03B93","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797101$29194332-F4A5-4464-8DF0-D1144F2CA072","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q797101$438B154A-3329-4D82-B547-954DCA6B4987","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bbf73e8679a3ea7ad620419f356a6e229f6d7a72","datavalue":{"value":"The author continues his study of rings of continuous functions with values in topological rings or fields. Let E be a separable topological associative ring with identity \\(1\\neq 0\\) and X a topological space. We denote by \\(C(X,E)\\) the set of continuous functions of X into E, which forms an associative ring with respect to pointwise operations. An element f in \\(C(X,E)\\) is called bounded if \\(f(X)\\) is relatively compact in E. \\(C^*(X,E)\\) denotes the set of all bounded functions in \\(C(X,E)\\). A subset S of X is said to be \\(C^*_ E\\)-embedded in X if every element in \\(C^*(S,E)\\) is extended to an element in \\(C(X,E)\\). Given any element f in \\(C(X,E)\\), we denote by \\(Z(f)\\) the set of zeros of f. A subset in X is called an E-cozero set if it is the complement in X of some Z(f). X is, by definition, an EF-space if every E-cozero subset of X is \\(C^*_ E\\)-embedded in X. Two subsets \\(A_ 1\\) and \\(A_ 2\\) are said to be E- separated if we have \\(f(A_ 1)=\\{0\\}\\), \\(f(A_ 2)=\\{1\\}\\) for some f in \\(C(X,E).\\) The main result, Theorem 1, states fourteen mutually equivalent properties, a sample being given below.    Theorem 1: For any continuous field (=a nondiscrete locally compact field) E and any topological space X, the following are equivalent: (1) \\(C(X,E)\\) is a Bezout ring, i.e. every finitely generated ideal of \\(C(X,E)\\) is principal; (2) the lattice of ideals of \\(C(X,E)\\) is distributive; (3) every ideal of \\(C(X,E)\\) is flat; (9) if an E-cozero subset of X is partitioned into two open sets \\(A_ 1\\) and \\(A_ 2\\), then these are E-separated; (11) X is an EF-space.    Theorem 2 deals with general topological rings. For such a ring E the set \\(E^ X\\) of all E-valued functions on X forms a right \\(C(X,E)\\)-module under pointwise operations. The module \\(E^ X\\) is called distributive if the lattice of submodules of \\(E^ X\\) is distributive. It is called a Bezout module if every finitely generated submodule is cyclic.    Theorem 2. (a) If every right (or left) invertible element in E is invertible, then the right \\(C(X,E)\\)-module \\(E^ X\\) is a Bezout module if and only if X is discrete and E is a right Bezout ring. (b) The \\(C(X,E)\\)-module \\(E^ X\\) is distributive if and only if X is discrete and the ring E is right distributive.","type":"string"},"datatype":"string"},"type":"statement","id":"Q797101$FA85CB7C-F6BE-45EE-AF78-C5E45C067D21","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"faba2e3a15b452965fa15f6385539feddd9a3a8a","datavalue":{"value":"46E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797101$EE00C1D3-164E-4F02-B4E3-3B3D8572DCC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f908cfb5ef04305a6cd43a609f42648aa6ba778","datavalue":{"value":"16W80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797101$1562C15B-D12A-4543-9592-D27722476681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8a9eccceff2edeeed2ef9d16996833ee1df720f","datavalue":{"value":"46S10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797101$5B7E9300-C016-4D79-9D62-E00138860549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79dcece0bd5d24cbe0d64613e87dc8fd318da982","datavalue":{"value":"46H25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797101$FF2CC70C-3039-4563-B249-E9E7B686D95C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d4a06ae4b1545d5d05d2f787fdbd29d139835617","datavalue":{"value":"3867999","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797101$C6A1FADC-0FCB-41A8-935D-DF3A88B9FD83","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5579ddf023a56f4856a8ee584af99380d23fb1f8","datavalue":{"value":"distributive lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q797101$B490D0E1-1539-4141-AC99-FFCB66DD9EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"837f1058abca6cbc3e4d0685f8dc8ac3a7e550ab","datavalue":{"value":"F-space","type":"string"},"datatype":"string"},"type":"statement","id":"Q797101$F2FCBA91-677C-4A2D-BCA7-1CACBF49AC75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c02166c292dc612fe56bf02591f04c0919d472c7","datavalue":{"value":"rings of continuous functions with values in topological rings or fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q797101$47382545-EF01-48ED-A124-D5BC29873707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e4b466676d99642c93e3abcefb635494b4b9253","datavalue":{"value":"set of zeros","type":"string"},"datatype":"string"},"type":"statement","id":"Q797101$EE16CF85-25B5-40C9-9774-252237B26F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad607740a60492eca74205a86ff0484f39ce8048","datavalue":{"value":"E-cozero set","type":"string"},"datatype":"string"},"type":"statement","id":"Q797101$D987C847-14E9-4DE9-B75D-2B170F8D713B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1cdc5562856d8945834e5a0b8c1db6c0cda55ec","datavalue":{"value":"EF-space","type":"string"},"datatype":"string"},"type":"statement","id":"Q797101$2468E49B-D5C8-45C5-B74D-A9C8337EEDFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8413603fa05a5b3f88dc31353af3a97830b46362","datavalue":{"value":"Bezout ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q797101$283348E9-7A39-4DB8-821B-FD8805BBA14F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6686b2f49eaa1ddee428cc33c5f33a01f48f2a3c","datavalue":{"value":"Bezout module","type":"string"},"datatype":"string"},"type":"statement","id":"Q797101$A61050E0-EA5E-4AA4-B0D6-33F392A69BE0","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":"Q797101$3D2E94CB-BBCC-4B84-9E6E-76B151158A83","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd65f5161b47da3a6cd17fc1ec7dfdc455a08356","datavalue":{"value":{"entity-type":"item","numeric-id":4092470,"id":"Q4092470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797101$0B431346-80CC-491B-B76B-B38B540DD24C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34fc347002ade45389645caf323dafe99773cf73","datavalue":{"value":{"entity-type":"item","numeric-id":1150792,"id":"Q1150792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797101$92005DE7-22A8-4999-91D7-B6C6B1E5CDE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e18898357ca5c07edaec31163555d266cf9d1169","datavalue":{"value":{"entity-type":"item","numeric-id":3234753,"id":"Q3234753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797101$2ACB30B6-2698-48AB-86EF-ED68744A823F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65011665dbc263feb31c91e72e3d9626118a1a7c","datavalue":{"value":{"entity-type":"item","numeric-id":3667034,"id":"Q3667034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797101$E92376B7-9D85-42E0-B992-7B6B9DDA0B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c880e5873fd743d227c2b3b35a34d5f6f49df5","datavalue":{"value":{"entity-type":"item","numeric-id":4054360,"id":"Q4054360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797101$D572326D-50E2-49C7-A5A2-B01F602086E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bef08cfaa21e08c05978c794803a430e05a55dd","datavalue":{"value":{"entity-type":"item","numeric-id":3876070,"id":"Q3876070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797101$E94C61AC-20F5-46A0-A636-3BD76ECBD5DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c27bd4ed52fbdb02b113fb6a681c40e40b1380a","datavalue":{"value":{"entity-type":"item","numeric-id":3282029,"id":"Q3282029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797101$D0A51348-A3EA-47BA-9460-628F59358992","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fc85967e896838622fd1e29fccff3c75a5a1028","datavalue":{"value":{"entity-type":"item","numeric-id":677737,"id":"Q677737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c29407922aff8a408b3e20de1cb717a4a53d7871","datavalue":{"value":{"amount":"+0.8355558514595032","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":"Q797101$8A002ACB-2EDC-4A24-B351-2B40A7DBE24C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b6cc8c4156feafdd6c3d44a6f1a3ababf51ea36","datavalue":{"value":{"entity-type":"item","numeric-id":4682616,"id":"Q4682616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c29407922aff8a408b3e20de1cb717a4a53d7871","datavalue":{"value":{"amount":"+0.8355558514595032","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":"Q797101$509200E5-6274-4A48-B196-B32465ED7030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc81fe8dc44d5586b8020d571747a29059d84fa3","datavalue":{"value":{"entity-type":"item","numeric-id":4848685,"id":"Q4848685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e8dabcaeab32b5d8c51d6d4e6d8c4d02750ce23","datavalue":{"value":{"amount":"+0.7912784218788147","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":"Q797101$C26D5438-2804-4128-BF2E-66B1D40E8B26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6c952b012c6eb381ca90c38ba474832ca815b46","datavalue":{"value":{"entity-type":"item","numeric-id":2401555,"id":"Q2401555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d594a946811381a75bf590367c9adbebedd83156","datavalue":{"value":{"amount":"+0.7895759344100952","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":"Q797101$53A3EC95-2069-46E9-97F0-0FD921E5A621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1caead28a0b39a51a8e82d5cdd68f7df679ec2b","datavalue":{"value":{"entity-type":"item","numeric-id":4654256,"id":"Q4654256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3611dbe0a1fe10ac69d79011cba992a3be564668","datavalue":{"value":{"amount":"+0.7895652651786804","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":"Q797101$6246997E-1591-4E2C-BADE-660373C1807F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Distributive rings of continuous functions and F-spaces","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Distributive_rings_of_continuous_functions_and_F-spaces"}}}}}