{"entities":{"Q2590487":{"pageid":2601230,"ns":120,"title":"Item:Q2590487","lastrevid":44418453,"modified":"2025-11-22T19:30:47Z","type":"item","id":"Q2590487","labels":{"en":{"language":"en","value":"Idealtheorie in nicht kommutativen Halb\\-gruppen."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2509924"}},"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":"Q2590487$366AA504-55AA-4332-9ECB-0B12D77A11A3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8a836cc22a7579d5cc51c472a9588ec7e246b9a7","datavalue":{"value":{"text":"Idealtheorie in nicht kommutativen Halb\\-gruppen.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2590487$C0E0D363-1B08-4463-8622-C36C0AE94541","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"97c601a4acfa9f11fef32532f39bd5d45a947b3a","datavalue":{"value":"65.0102.02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2590487$3D611F76-4CBB-46F2-8229-2786C2830481","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6798c4571b39ae787f41965ad6a04fe1a1ed763b","datavalue":{"value":{"entity-type":"item","numeric-id":2585968,"id":"Q2585968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2590487$092CA1A6-B383-4093-9D04-CD4750FDB513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"666ee8a6d3112dfe97a22d33bc7c11aeb74b1587","datavalue":{"value":{"entity-type":"item","numeric-id":766563,"id":"Q766563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2590487$B4F51EC8-3C30-4A26-AF18-347ECF5DA520","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9ec75a6933086e2720f78caf59a764517f63011","datavalue":{"value":{"entity-type":"item","numeric-id":563142,"id":"Q563142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2590487$09F05065-28E1-429C-9E17-6F8785CF21F3","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":"Q2590487$B8A719D1-7164-4515-8994-EA6016EA04F4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bb4c89a8a024b9f0bd937d142e8e769d4d096f1c","datavalue":{"value":"\\(\\mathfrak R\\) sei eine Halbgruppe, d. h. hier ein Bereich mit assoziativer Multiplikation, in dem die Division in beiden Richtungen h\u00f6chstens eindeutig ist, und habe ein Eins\\-element. Das Zentrum von \\(\\mathfrak R\\) enthalte eine Gruppe \\(\\mathfrak g\\). In \\(\\mathfrak R\\) werden dann in bezug auf \\(\\mathfrak g\\) die Begriffe der Ordnung und der Maximalordnung eingef\u00fchrt. Ist \\(\\mathfrak O\\) eine Ordnung, so wird f\u00fcr jede Untermenge \\(\\mathfrak a\\) von \\(\\mathfrak R\\) unter \\(\\mathfrak a^{-r}\\) bzw. \\(\\mathfrak a^{-l}\\) die Menge der Elemente \\(t\\) von \\(\\mathfrak R\\) verstanden, f\u00fcr die \\(\\mathfrak at\\) bzw. \\(t\\mathfrak a\\) Untermenge von \\(\\mathfrak O\\) ist. Links- und Rechtsideale \\(\\mathfrak a\\) der Ordnung \\(\\mathfrak O\\) werden dann als \\(v\\)-Ideale, also durch die Gleichung \\((\\mathfrak a^{-r})^{-l}=\\mathfrak a\\) bzw. \\((\\mathfrak a^{-l})^{-r}=\\mathfrak a\\) nebst Zusatzbedingungen erkl\u00e4rt. In diesem Sinne wird nun die Ideal\\-theorie einer Maximalordnung \\(\\mathfrak O\\) aufgestellt. In Analogie zur gew\u00f6hnlichen Ideal\\-theorie werden Summen- und Produktbildung f\u00fcr zweiseitige Ideale eingef\u00fchrt. Gegen\\-aber der Multiplikation bilden die zweiseitigen Ideale von \\(\\mathfrak O\\) eine Gruppe, und aus Teilbarkeit folgt in beiden Richtungen Produktdarstellung. Nach Auszeichnung der ganzen Ideale hei\u00dft ein ganzes \\(\\mathfrak p\\) Primideal, wenn aus der Teilbarkeit des Produktes zweier ganzen Ideale durch \\(\\mathfrak p\\) die Teilbarkeit eines Faktors durch \\(\\mathfrak p\\) folgt. Bei Voraus\\-setzung des Teilerkettensatzes f\u00fcr ganze Ideale von \\(\\mathfrak O\\) sind Primideale genau die maxi\\-malen Ideale, und jedes ganze Ideal l\u00e4\u00dft sich eindeutig als Produkt von Primideal\\-potenzen darstellen. Ist \\(\\mathfrak R\\) insbesondere eine Gruppe, so l\u00e4\u00dft sich der Begriff des (zwei\\-seitigen) Hauptideals dann und nur dann allgemein einf\u00fchren, wenn alle einseitigen Ideale von \\(\\mathfrak O\\) zweiseitig sind, zugleich dann und nur dann, wenn \\(\\mathfrak O\\) die Kommutator\\-gruppe \\(\\mathfrak K\\) von \\(\\mathfrak R\\) enth\u00e4lt. In diesem Falle lassen sich die Ideale \\(\\mathfrak a\\) von \\(\\mathfrak O\\) den Idealen \\(\\overline{\\mathfrak a}\\) von \\(\\overline{\\mathfrak O}=\\mathfrak O/\\mathfrak K\\) mittels der Beziehung \\(\\overline{\\mathfrak a}=\\mathfrak a/\\mathfrak K\\) eineindeutig zuordnen, und dabei wird stets \\(\\mathfrak a=\\overline{\\mathfrak a}\\mathfrak K\\). Gegen\u00fcber dieser Zuordnung sind die Idealgruppen von \\(\\mathfrak O\\) und \\(\\overline{\\mathfrak O}\\) iso\\-morph. Ist hingegen \\(\\mathfrak R\\) keine Gruppe, so lassen sich Hauptideale \\((a)\\) von vornherein nur f\u00fcr solche Elemente \\(a\\) von \\(\\mathfrak R\\) erkl\u00e4ren, die ein inverses Element haben, aber nicht notwendig f\u00fcr jedes solche \\(a\\). Diese \\(a\\) bilden eine Gruppe \\(\\mathfrak H\\). Ist \\(\\mathfrak O\\cap\\mathfrak H=\\mathfrak O'\\), so ist \\(\\mathfrak O'\\) eine Maximalordnung von \\(\\mathfrak H\\), und aus jedem Element von \\(\\mathfrak H\\) l\u00e4\u00dft sich nun auch in bezug auf \\(\\mathfrak O'\\) ein Hauptideal erzeugen, so da\u00df die obige Theorie f\u00fcr \\(\\mathfrak H\\) und \\(\\mathfrak O'\\) statt \\(\\mathfrak R\\) und \\(\\mathfrak O\\) besteht. Zugleich lassen sich jetzt die Ideale \\(\\mathfrak a'\\) von \\(\\mathfrak O'\\) den dadurch erzeugten zwei\\-seitigen Idealen \\(\\mathfrak a\\) von \\(\\mathfrak O\\) eineindeutig zuordnen, und dabei wird stets \\(\\mathfrak a\\cap\\mathfrak H=\\mathfrak a'\\). Gegen\u00fcber dieser Zuordnung sind die Idealgruppen von \\(\\mathfrak O\\) und \\(\\mathfrak O'\\) isomorph. Durch Zusammensetzung beider Zuordnungen gelangt man von der Idealtheorie in einer nicht notwendig kommutativen Halbgruppe zur Idealtheorie in einer Abelschen Gruppe.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2590487$399E79D6-2E87-4E8C-B8C7-C0729B7CEFF2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3d6e62f478300fdb264cbe66c80370ec2e3d255c","datavalue":{"value":"2509924","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2590487$CDBF4C16-12BB-4D13-A888-D2129BE9C34A","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":"Q2590487$9B478D71-D698-43E9-B21E-27DCC90336C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2590487","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2590487"}}}}}