{"entities":{"Q563352":{"pageid":565119,"ns":120,"title":"Item:Q563352","lastrevid":62775429,"modified":"2026-04-11T08:22:14Z","type":"item","id":"Q563352","labels":{"en":{"language":"en","value":"Definition of a field by four postulates."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2549324"}},"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":"Q563352$FE5E66AF-E3B9-4227-B336-E078E55D101E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a466f8c070719e611f0ac48bc6ebc799b7f7e3b1","datavalue":{"value":{"text":"Definition of a field by four postulates.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q563352$103CF914-0DE7-4112-BA24-E12B85F61240","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"41ff7a55ce182e5131e088b6781d88736e015f09","datavalue":{"value":"58.0134.02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q563352$7FCFF337-B371-4DF6-B382-2AA487BEF340","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8e0b504ad972a75ef32eea9ae8fa25011dfcda4f","datavalue":{"value":"10.2307/1968522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q563352$2A3CAAB0-295E-4E1A-BF38-B44A8F2CA696","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"553c7ad508f4615999d4ef926cfdf75d436f510c","datavalue":{"value":{"entity-type":"item","numeric-id":175062,"id":"Q175062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q563352$74E2FFCF-70B7-4012-9C3A-6258264292F6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7bbb53abe68aac0eeb25dacc2ea1a7274c90a69a","datavalue":{"value":{"time":"+1932-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":"Q563352$70C2CCE8-4A97-4E55-B050-9F891147E2D7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"30302fbfa52af53155ce893141e171292ed9d382","datavalue":{"value":"Verf. erinnert zuerst an fr\u00fchere Arbeiten von \\textit{L. E. Dickson} (1903, 1905; F. d. M. 34, 160 (JFM 34.0160.*), 900; 36, 207, 138). \\textit{E. V. Huntington} (1903. 1905; F. d. M. 34, 161 (JFM 34.0161.*); 36, 191), vom Verf. (1913; F. d. M. 44, 164 (JFM 44.0164.*)) und von \\textit{N. Wiener} (1920; F. d. M. 47, 41 (JFM 47.0041.*)) \u00fcber die Definition eines abstrakten K\u00f6rpers mittels unabh\u00e4ngiger Postulate. Verf. hat schon fr\u00fcher das kommutative und das assoziative Gesetz der Addition in ein einziges Axiom zusammengezogen und ebenso f\u00fcr die Multiplikation. In vorliegender Arbeit macht er noch einen Schritt in dieser Richtung, indem er sowohl das kommutative wie das assoziative und das distributive Gesetz der Multiplikation in ein einziges Axiom zusammenzieht. Er bekommt dann ein System von vier Postulaten, und er zeigt, da\u00df diese vollst\u00e4ndig unabh\u00e4ngig sind; sie bleiben es sogar, wenn noch ein Postulat \u00fcber Endlichkeit oder Unendlichkeit des K\u00f6rpers hinzugef\u00fcgt wird.  Als Undefinierte Grundbegriffe treten in seinen Postulaten eine Menge \\(K\\) von Elementen und zwei bin\u00e4re Operationen \\(a\\oplus b\\) und \\(a\\otimes b\\) auf. Verf. leitet zuerst aus den Postulaten her, da\u00df \\(K\\) eine abelsche Gruppe in bezug auf \\(\\oplus \\) wird. Daraus folgt die Existenz eines Elementes 0, so da\u00df \\(a\\oplus 0=0\\) ist f\u00fcr jedes \\(a\\). Danach beweist er, da\u00df \\(0\\otimes a = 0\\) und \\(a\\otimes 0 = 0\\) ist f\u00fcr jedes \\(a\\), und da\u00df, wenn 0 von \\(K\\) weggenommen wird, eine abelsche Gruppe in bezug auf \\(\\otimes \\) entsteht. Die vollst\u00e4ndige Unabh\u00e4ngigkeit der Postulate wird durch eine tabellarische Zusammenstellung einer Reihe von verschiedenen Deutungen der Operationen \\(\\oplus \\) und \\(\\otimes \\) gezeigt.","type":"string"},"datatype":"string"},"type":"statement","id":"Q563352$73E0C5E5-3BE3-4C93-BE57-3ADAFF09029B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"155b3ebc765c662892ea477d3d5073a0764d6114","datavalue":{"value":"2549324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q563352$5AF747B3-0E66-47CC-B254-DA772E9217E6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3fa2de93b9656f20869ad3dfff0bfd9fc1070ec","datavalue":{"value":{"entity-type":"item","numeric-id":1565707,"id":"Q1565707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q563352$3694BBAB-7E0E-4D38-AE33-171EEE621C98","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":"Q563352$5446EAED-169D-4D6A-9AC3-FEA8A55BCC5A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"958f2f4a4470419e22a2dbecdb694f7b327ebd75","datavalue":{"value":"https://doi.org/10.2307/1968522","type":"string"},"datatype":"url"},"type":"statement","id":"Q563352$D2363A1B-F0DF-4C0F-B43F-99B6D9362BB3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4cc85356527401d509e03b3fe37e3587b690a11c","datavalue":{"value":"W2314975668","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q563352$EF09ED50-4306-4B7D-A80A-1A5DE944FD63","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Definition of a field by four postulates.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Definition_of_a_field_by_four_postulates."}}}}}