{"entities":{"Q563408":{"pageid":565175,"ns":120,"title":"Item:Q563408","lastrevid":62775843,"modified":"2026-04-11T08:22:19Z","type":"item","id":"Q563408","labels":{"en":{"language":"en","value":"Untersuchungen \u00fcber Teilbarkeitseigenschaften in K\u00f6rpern."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2549361"}},"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":"Q563408$90E3EEBB-6F3E-4E15-8FFC-1B8DDEE44C00","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e17ff13d8d5a578ca635af2229bc0cc54f4df2c5","datavalue":{"value":{"text":"Untersuchungen \u00fcber Teilbarkeitseigenschaften in K\u00f6rpern.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q563408$E5E87817-7D11-4A5B-BFC2-ECFAD2772C1D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c21bd3e3cb814f170a1e329bf428eac73d0702f6","datavalue":{"value":"58.0147.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q563408$C9955BBD-ED63-4502-A7FF-8036762EA62A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef859db0f986d08f1d0f913023aa1b065f23584a","datavalue":{"value":{"entity-type":"item","numeric-id":559386,"id":"Q559386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q563408$CE91271E-F90F-4038-823E-40FC86786012","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"79327704d6d4548ce97be34ab84df8a1bb1515ff","datavalue":{"value":{"entity-type":"item","numeric-id":256938,"id":"Q256938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q563408$DA52696E-AFC4-4571-BAD1-F2642B10B628","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":"Q563408$1A48C941-D5F9-4065-A313-53878A497C0A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"64e9b4ce7144a4eb72df8edcbeb6e3fbbdc047c7","datavalue":{"value":"https://www.digizeitschriften.de/dms/resolveppn/?PPN=GDZPPN002172267","type":"string"},"datatype":"url"},"type":"statement","id":"Q563408$126D0888-7035-426E-80AB-628884BCA16C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"e59785f9b96108dbcf332994412206f76165a69e","datavalue":{"value":"https://eudml.org/doc/149823","type":"string"},"datatype":"url"},"type":"statement","id":"Q563408$EBC2019B-D651-49F7-9234-14EF19E23DBC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6964192a70df4e0cd2de9dfe6ec3110e9c2f3c77","datavalue":{"value":"Der Untersuchung werden kommutative K\u00f6rper \\(\\mathfrak K\\) zugrunde gelegt, in denen ganze Elemente ausgezeichnet sind; diese ganzen Elemente bilden einen Ring mit dem Quotientenk\u00f6rper \\(\\mathfrak K\\). In Verallgemeinerung des \\textit{Dedekind}schen Begriffes werden durch die folgenden f\u00fcnf Eigenschaften Systeme von Idealen \\((a_1,a_2,\\ldots,a_n)\\) definiert, die durch die Elemente \\(a_1,a_2,\\ldots,a_n\\) erzeugt werden: 1) \\(a_\\nu \\subset (a_1,\\ldots,a_n)\\) f\u00fcr \\(\\nu =1,\\ldots,n\\). 2) Wenn \\(a_\\nu \\subset (b_1,\\ldots,b_m)\\) f\u00fcr \\(\\nu =1,\\ldots,n\\), dann ist auch \\((a_1,\\ldots,a_n)\\subset (b_1,\\ldots,b_m)\\). 3) \\((a)\\) besteht aus den ganzen Vielfachen von \\(a\\). 4) Wenn \\(a\\subset (a_1,\\ldots,a_n)\\), dann ist \\(ab\\subset (a_1b,a_2b,\\ldots,a_nb)\\). 5) Es ist \\(a+b\\subset (a,b)\\). Es werden im folgenden drei Beispiele von Idealsystemen betrachtet.  I. Das Idealsystem \\(\\mathfrak L:(a_1,\\ldots,a_n)_{\\mathfrak L}\\) besteht aus den Vielfachsummen  \\[ X_1a_1+X_2a_2+\\cdots +X_na_n\\text{ mit ganzen }X_\\nu. \\]   II. Das Idealsystem \\(\\mathfrak A(a_1,\\ldots,a_n)_{\\mathfrak A}\\) besteht aus den Elementen \\(r\\), die einer Gleichung  \\[ r^k+f_1(a_1,\\ldots,a_n)r^{k-1}+\\cdots +f_k(a_1,\\ldots,a_n)=0 \\]  gen\u00fcgen, wobei \\(f_i(a_1,\\ldots,a_n)\\) ein homogenes Polynom \\(i\\)-ten Grades in \\(a_1,\\ldots,a_n\\) mit ganzen Koeffizienten ist. Es folgt sofort \\((a_1,\\ldots,a_n)_{\\mathfrak L}\\subset (a_1,\\ldots,a_n)_{\\mathfrak A}\\).  III. Das Idealsystem \\(\\mathfrak V(a_1,\\ldots,a_n)_{\\mathfrak V}\\) besteht aus den Vielfachen aller gemeinsamen Teiler von \\(a_1,\\ldots,a_n\\). Ist \\((a_1,\\ldots,a_n)_{\\mathfrak S}\\) ein Ideal eines beliebigen Systems, so ist immer \\((a_1,\\ldots,a_n)_{\\mathfrak S}\\subset (a_1,\\ldots,a_n)_{\\mathfrak V}\\).  F\u00fcr Idealsysteme \\(\\mathfrak S\\) werden nun die speziellen Teilbarkeitseigenschaften \\(A,B,\\varGamma,\\varDelta \\) aufgestellt. (Das Symbol \\(\\mathfrak SA,\\mathfrak SB,\\mathfrak S\\varGamma, \\mathfrak S\\varDelta \\) bedeute, da\u00df \\(\\mathfrak S\\) die Eigenschaft \\(A, B, \\varGamma, \\varDelta \\) hat.) \\(A\\): Jedes Ideal ist Hauptideal. \\(B\\): Aus \\(\\mathfrak a\\supseteqq \\mathfrak b\\) folgt \\(\\mathfrak b=\\mathfrak a\\mathfrak c\\) mit ganzem \\(\\mathfrak c\\). \\(\\varGamma \\): Aus \\(\\mathfrak a\\mathfrak c\\supseteqq \\mathfrak b\\mathfrak c\\) und \\(\\mathfrak c\\neq (0)\\) folgt \\(\\mathfrak a\\supseteqq \\mathfrak c\\). \\(\\varDelta \\): Aus \\((\\mathfrak a)\\mathfrak c\\supseteqq (\\mathfrak b)\\mathfrak c\\) und \\(\\mathfrak c\\neq (0)\\) folgt: \\(\\mathfrak b\\) ist teilbar durch \\(\\mathfrak a\\). Die G\u00fcltigkeit dieser Teilbarkeitseigenschaften in den verschiedenen Idealsystemen und ihre Abh\u00e4ngigkeit voneinander werden untersucht. Jede folgende Eigenschaft ist schw\u00e4cher als die vorhergehende. Es gilt ein Monotoniesatz, nach dem die Eigenschaft \\(\\mathfrak S'A\\) aus \\(\\mathfrak SA\\), \\(\\mathfrak S'B\\) aus \\(\\mathfrak SB\\), \\(\\mathfrak S\\varDelta \\) aus \\(\\mathfrak S'\\varDelta \\) gefolgert werden kann, wenn immer \\((a_1,\\ldots,a_n)_{\\mathfrak S}\\subset (a_1,\\ldots,a_n)_{\\mathfrak S'}\\) -. Die Eigenschaft \\(\\mathfrak L\\varDelta \\) ist charakteristisch f\u00fcr die ganz abgeschlossenen K\u00f6rper; die Eigenschaft \\(\\mathfrak VA\\) f\u00fcr die vollst\u00e4ndigen K\u00f6rper, in denen je zwei Elemente einen gr\u00f6\u00dften gemeinsamen Teiler haben. In den vollst\u00e4ndigen K\u00f6rpern sind die Teilbarkeitseigenschaften leicht zu \u00fcbersehen. Es gibt K\u00f6rper, die war nicht vollst\u00e4ndig sind, in denen aber ein Idealsystem ``multiplikativ vollst\u00e4ndig'' sein kann. Dann hat man eine \u00dcbersicht \u00fcber die Teilbarkeitseigenschaften der Ideale und damit \u00fcber die der K\u00f6rperelemente. F\u00fcr die multiplikative Vollst\u00e4ndigkeit eines Idealsystems ist die Eigenschaft \\(B\\) notwendig und hinreichend. In diesem Fall kann man die \\textit{Dedekind}sche Idealtheorie aufbauen. - Die K\u00f6rper mit der Eigenschaft \\(\\mathfrak LA\\) sind die linear-vollst\u00e4ndigen K\u00f6rper, bei denen der gr\u00f6\u00dfte gemeinsame Teiler von zwei Elementen \\(a, b\\) als Vielfachsumme \\(Xa + Yb\\) mit ganzen \\(a, b\\) darstellbar ist. Es gibt vollst\u00e4ndige K\u00f6rper, die nicht linear-vollst\u00e4ndig sind. - Ferner werden die Teilbarkeitseigenschaften bei K\u00f6rpererweiterung untersucht. Es ergibt sich bei transzendenter Erweiterung: Ist \\(\\mathfrak K\\) der rationale Funktionenk\u00f6rper mit endlich oder unendlich vielen Unbestimmten \u00fcber dem K\u00f6rper \\(\\mathfrak K_1\\) und gelten die Polynome mit in \\(\\mathfrak K_1\\), ganzen Koeffizienten als ganze Elemente von \\(\\mathfrak K\\), so folgt bzw. \\(\\mathfrak VA,\\mathfrak VB,\\mathfrak V\\varGamma,\\mathfrak V\\varDelta \\) f\u00fcr \\(\\mathfrak K\\) aus der G\u00fcltigkeit der bzw. Eigenschaft f\u00fcr \\(\\mathfrak K_1\\). - In einem algebraischen Funktionenk\u00f6rper gilt die Eigenschaft \\(\\mathfrak VB\\), wenn sie in dem Koeffizientenk\u00f6rper gilt. - Man kann aber durch Erweiterung auch neue Teilbarkeitseigenschaften erhalten, z. B. unter gewissen Bedingungen einen K\u00f6rper zu einem vollst\u00e4ndigen K\u00f6rper erweitern.","type":"string"},"datatype":"string"},"type":"statement","id":"Q563408$5B3824D6-0F8A-42C7-8658-2CC630C8A85F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9b28595c384803a9889ace6bf92b905c6d7eb203","datavalue":{"value":"2549361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q563408$DAA5DD91-8C8B-406E-960E-447627D6400A","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":"Q563408$CA4A3C2A-DD84-4FD9-B9CF-5B6ECFF24E71","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"766892fd87081af2c1cbc921c3c9692a1d769836","datavalue":{"value":"W2735367813","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q563408$55CAA11F-65F9-4C76-AFC3-D1C4CD5AA3AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"be40ca7cbf5af4a4c046ce015a8c89c98305e688","datavalue":{"value":"10.1515/CRLL.1932.168.1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q563408$EE8627AA-8B38-4F58-AE49-318D79A37294","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Untersuchungen \u00fcber Teilbarkeitseigenschaften in K\u00f6rpern.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Untersuchungen_%C3%BCber_Teilbarkeitseigenschaften_in_K%C3%B6rpern."}}}}}