{"entities":{"Q2590484":{"pageid":2601227,"ns":120,"title":"Item:Q2590484","lastrevid":44418447,"modified":"2025-11-22T19:30:43Z","type":"item","id":"Q2590484","labels":{"en":{"language":"en","value":"Abstrakte Begr\u00fcndung der multiplikativen Idealtheorie."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2509922"}},"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":"Q2590484$09D4EBB0-D2D5-4214-959E-F70078BE5FFB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e2eb41e805740329a5523f9b85b30570beba1bf4","datavalue":{"value":{"text":"Abstrakte Begr\u00fcndung der multiplikativen Idealtheorie.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2590484$45E815B6-372E-4237-A71C-2D8ABEF30F6C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2334aa9ba97a41be6f07d50de26eaa29146bbe95","datavalue":{"value":"65.0101.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2590484$7FFC9864-2344-424B-9FB2-5BDFD712A523","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5c1470e9bbbf28479cf174140ffe76988182e9e2","datavalue":{"value":"10.1007/BF01580299","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2590484$770E8E54-1D9D-41FB-9110-AD1F99E66A24","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dfa5bc95e1fdba4c3d3197123373583ef39a5b9e","datavalue":{"value":{"entity-type":"item","numeric-id":163114,"id":"Q163114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2590484$1C85017C-5224-41E2-A6D0-687A22491729","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c0e196ad60f00e64f313a942d594f41d77efe615","datavalue":{"value":{"time":"+1939-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":"Q2590484$4DAC45C8-369E-4E11-9C53-FF066309AB4B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ac3c865d451084bd2248d721fd4c7246f28f1936","datavalue":{"value":"https://eudml.org/doc/168865","type":"string"},"datatype":"url"},"type":"statement","id":"Q2590484$CA125926-2765-4D82-AAC0-9AD9B2787B93","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"74701c13c2a017312ff90ac46ae2508f6fb5569c","datavalue":{"value":"Verf. zeigt, da\u00df die von \\textit{Pr\u00fcfer} (J. reine angew. Math. 168 (1932), 1-36; F. d. M. \\(58_{\\text{I}}\\), 147) gegebenen Bedingungen 1 bis 4 auch in Halbgruppen zur Definition ver\\-schiedener Systeme von Idealen verwendet werden k\u00f6nnen. Unter einer Halbgruppe versteht man ein System, das gegen\u00fcber einer assoziativen und kommutativen Multi\\-plikation abgeschlossen ist, weiter ein Einselement enth\u00e4lt und die Eigenschaft ``Aus \\(ac=bc\\) folgt \\(a=b\\)'' hat. Die f\u00fcnfte Pr\u00fcfersche Bedingung (Moduleigenschaft der Ideale) f\u00e4llt hier nat\u00fcrlich weg.  Die Halbgruppe \\(\\mathfrak g\\) werde in ihre Quotientengruppe \\(\\mathfrak G\\) eingebettet, und die Ideale bestehen im allgemeinen aus Elementen von \\(\\mathfrak G\\). Elemente von \\(\\mathfrak g\\) hei\u00dfen ganz. \\(\\mathfrak a^{-1}\\) hei\u00dft f\u00fcr eine beliebige Menge \\(\\mathfrak a\\) von Elementen aus \\(\\mathfrak G\\) die (eventuell leere) Menge aller Elemente aus \\(\\mathfrak G\\), mit denen multipliziert, jedes Element von \\(\\mathfrak a\\) zu einem von \\(\\mathfrak g\\) wird, \\(\\mathfrak o\\) sei die leere Menge. Die Pr\u00fcferschen Bedingungen gestatten dann, \u00fcber jeder Menge mit \\(\\mathfrak a^{-1}\\neq\\mathfrak o\\) ein Ideal \\(\\mathfrak a_r\\) aufzubauen, und zwar in verschiedener Art.  Als Maximalsystem ergibt sich \\(\\mathfrak a_v=(\\mathfrak a^{-1})^{-1}\\), entsprechend den Pr\u00fcferschen \\(v\\)-Idealen, als Minimalidealsystem hingegen \\(\\mathfrak a_s=\\mathfrak a\\mathfrak g\\). Die \\(s\\)-Ideale haben im Integrit\u00e4ts\\-bereich kein Analogon. Division der Ideale und der Primidealbegriff ist dagegen diesen v\u00f6llig analog.  Gilt in einem Idealsystem \\(\\mathfrak c_r : \\mathfrak c_r = 1\\) f\u00fcr jedes endliche \\(\\mathfrak c_r\\), so nennt Verf. die Halbgruppe \\(r\\)-abgeschlossen. Analog wird \\(v\\)-abgeschlossen, \\(s\\)-abgeschlossen definiert. Ist in diesem Falle \\(\\mathfrak a\\) eine endliche Untermenge von \\(\\mathfrak G\\), ist weiter \\(\\mathfrak a_{r_a}\\) die Menge der \\(a\\) mit  \\[  a\\mathfrak c_r\\subseteq\\mathfrak a_r\\mathfrak c_r,  \\]  so bilden die so definierten \\(r_a\\)-Ideale eine Halbgruppe oder, wie Verf. sagt, in \\(\\mathfrak g\\) gilt der \\(r_a\\)-Halbgruppensatz.  Es folgt unter anderem: Hei\u00dft \\(r\\)-Multiplikationshalbgruppe eine Halbgruppe mit  \\[  (\\mathfrak a\\mathfrak a^{-1})_r=1  \\]  f\u00fcr alle zur Halbgruppe geh\u00f6rigen \\(r\\)-Ideale \\(\\mathfrak a\\), die Verf. dann ``\\(r\\)-umkehrbar'' nennt, analog \\(v\\)-Mt\u00fctiplikationshalbgruppe usw., so ist jede \\(v\\)-abgeschlossene Halbgruppe \\(v\\)-Multiplikationshalbgruppe. Eine Halbgruppe ist genau dann \\(r\\)-Multiplikationshalb\\-gruppe, wenn sie \\(v\\)-abgeschlossen und jedes endliche \\(r\\)-Ideal \\(v\\)-Ideal ist. Genau dann, wenn die Halbgruppe \\(s\\)-abgeschlossen ist, gibt es Systeme, f\u00fcr die der Halbgruppensatz gilt. Ist das \\(s\\)-System eine Halbgruppe, so ist in \\(\\mathfrak G\\) von zwei Elementen \\(ab^{-1}\\) und \\(ba^{-1}\\) mindestens eines ganz. \\(\\mathfrak g\\) hei\u00dft dann lineare Halbgruppe.  \\S~2 bespricht die endlichartigen Ideale. Seien die \\(\\mathfrak e\\) endliche Mengen aus \\(\\mathfrak G\\), \\(\\mathfrak a\\) eine beliebige Menge mit \\(\\mathfrak a^{-1}\\neq\\mathfrak o\\). Die Vereinigungsmenge aller \\(\\mathfrak e_r\\) mit \\(\\mathfrak e\\subseteq\\mathfrak a\\) bildet dann ein Ideal \\(\\mathfrak a_{r_s}\\), ebenso der Durchschnitt aller Ideale \\(\\mathfrak e_r\\) mit \\(\\mathfrak a\\subseteq\\mathfrak e_r\\) er ein Ideal \\(\\mathfrak a_{r_v}\\). Als wichtigstes neues System ergibt sich so das \\(v_s\\)-System, vom Verf. \\(t\\)-System genannt. Diese Systeme hei\u00dfen totale Systeme. Endlichartig hei\u00dft \\(\\mathfrak a_{r_s}\\), weil jedes seiner Elemente schon in einem von einer endlichen Teilmenge von \\(\\mathfrak a\\) erzeugten \\(r_s\\)-Ideal liegt.  Es folgt u. a.: Wenn \\(\\mathfrak a^{-1}\\) f\u00fcr ein endlichartiges Ideal \\(\\mathfrak a\\) existiert, ist \\(\\mathfrak a\\) endlich. Zu jedem Ideal \\(\\mathfrak a\\subset1\\) eines endlichartigen Systems gibt es ein Primideal \\(\\mathfrak p\\) mit \\(\\mathfrak a\\subseteq\\mathfrak p\\subset1\\). Es werden noch einige S\u00e4tze abgeleitet, die den Zusammenhang mit dem Zerlegungs\\-satz in Primideale (Z. P. I.) herstellen.  \\S~3 behandelt vollst\u00e4ndige Halbgruppen, d. h. solche, die mit zwei Elementen stets ihren gr\u00f6\u00dften gemeinsamen Teiler enthalten. Die Quotientenhalbgruppe nach einem \\(t\\)-Primideal ist dann linear.  \\S~4 f\u00fchrt formelle Idealbr\u00fcche \\(\\dfrac{\\mathfrak a}{\\mathfrak b}\\) ein. Das hat mit \\(\\mathfrak a\\mathfrak b^{-1}\\) im allgemeinen nichts zu tun. Die Idealbr\u00fcche mit  \\[  \\frac{\\mathfrak a}{\\mathfrak b}\\subseteq1,  \\]  d. h. \\(\\mathfrak a\\subseteq\\mathfrak b\\) bilden eine Halbgruppe \\(\\mathfrak h\\). Jede lineare \\(t\\)-Oberhalbgruppe von \\(\\mathfrak h\\) liefert eine lineare \\(r\\)-Oberhalbgruppe von \\(\\mathfrak g\\). Jede \\(r\\)-abgeschlossene Halbgruppe ist Durch\\-schnitt von linearen \\(r\\)-Oberhalbgruppen.  Nachdem durch den letzten Satz der Zusammenhang mit der Bewertungs\\-theorie hergestellt ist, gibt Verf. in \\S~5 den Beweis des Satzes: Jede total abgeschlossene endliche Hauptordnung ist speziell.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2590484$7F79222A-5047-4F50-9530-11C91D982BFD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"37a6c4330661f88759955cd87787943ebc3d98d7","datavalue":{"value":"2509922","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2590484$923730A1-035B-41AB-81B9-22150785E724","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"14270530bcb8c453a82f6bf4288fa86addf523ce","datavalue":{"value":{"entity-type":"item","numeric-id":770196,"id":"Q770196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2590484$253E90F5-2D8D-4E37-8BBE-9D92C867A380","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":"Q2590484$E99A2897-1D91-4B58-9CD6-2B2446F49FFF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2590484","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2590484"}}}}}