{"entities":{"Q1470311":{"pageid":1481051,"ns":120,"title":"Item:Q1470311","lastrevid":43135287,"modified":"2025-07-21T19:03:26Z","type":"item","id":"Q1470311","labels":{"en":{"language":"en","value":"Allgemeine Theorie der Kongruenzklassengruppen und ihrer Invarianten in algebraischen K\u00f6rpern."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2610419"}},"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":"Q1470311$0FAF2210-E4C6-4D67-A0F1-7F51024F27E8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9e0e7802d34c256a5529612f0ed73c49713a0250","datavalue":{"value":{"text":"Allgemeine Theorie der Kongruenzklassengruppen und ihrer Invarianten in algebraischen K\u00f6rpern.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1470311$CEDCCD1E-64AE-47A9-8BEB-A4071B8CA47D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc6e3a70c1c527a9d9a0fa2a15b08117d84b940d","datavalue":{"value":"46.0251.03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1470311$C2BA0524-7F24-46BE-8326-3096E6334EC5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"73ec259e545250968601c3299581254783136792","datavalue":{"value":{"entity-type":"item","numeric-id":563635,"id":"Q563635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1470311$FDB5E2C1-5405-4D0D-BC9A-4335DBAB68EE","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":"Q1470311$BB376678-9207-4929-BB62-9A133F191E76","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"150770cc7dc46eed7ee297764e1ac3f861796385","datavalue":{"value":{"time":"+1917-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":"Q1470311$35693C62-6E1F-4D74-840D-361DCFCB0FC5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"66993259faba05ea4aaa0874b69b25d03526320e","datavalue":{"value":"https://eudml.org/doc/149456","type":"string"},"datatype":"url"},"type":"statement","id":"Q1470311$D88B31F4-1CB0-4C92-AFD6-FA270346FDC3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"96ac4a34ac0f7809bf06c84f127675511423de98","datavalue":{"value":"Jede rationale Zahl \\(A\\) kann im Bereich der Primzahl \\(p\\) in der Form dargestellt werden: \\[ A=p^{\\alpha}\\eta (p), \\] wo \\[ \\eta=c_0+c_1p+c_2p^2+\\cdots, c_0\\not\\equiv 0 (\\text{mod.}p) \\] eine \\(p\\)-adische Einheit ist. Der Verf. beweist auf elementare Weise, da\u00df jedes \\(\\eta\\) sich in der Form darstellen, l\u00e4\u00dft: \\[ \\begin{aligned} & \\eta=w^b(1+p)^c\\;\\quad \\left( \\begin{matrix}\\l\\\\ b=0, 1, \\dots, p-2 \\\\ c=c_0+c_1p+\\cdots \\end{matrix} \\right)\\quad p\\neq 2,\\\\ & \\eta=(-1)^b5^c\\;\\quad\\quad \\left(\\begin{matrix}\\l\\\\ b=0, 1 \\\\ c=c_0+c_12+\\cdots \\end{matrix} \\right)\\quad p=2.\\end{aligned} \\] Dabei ist \\(w\\) im Falle eines ungeraden \\(p\\) eine der \\(\\varphi(p- 1)\\) primitiven \\(p\\)-adischen Einheitswurzeln der \\(p\\)-adischen Gleichung \\[ x^{p-1}-1=0(p). \\] In diesem Falle k\u00f6nnen alle \\(\\eta\\) durch die Potenzen eines einzigen erhalten werden. Als Anwendung ergibt sich sofort die Untersuchung der rationalen Einheiten \\(\\eta\\) f\u00fcr eine beliebige Potenz \\(p^{s+1}\\) von \\(p\\) als Modul. Ist entsprechend \\(\\pi\\) eine nur durch die 1. Potenz des Primideals \\(y\\) eines algebraischen K\u00f6rpers teilbare ganze Zahl des K\u00f6rpers, so ist jede Zahl \\(A\\) derselben in der Form darstellbar \\[ A=\\pi^{\\alpha}\\eta({\\mathfrak p}), \\] wo \\[ \\eta=\\gamma_0+\\gamma_1\\pi+\\gamma_2\\pi^2+\\cdots{\\mathfrak p})\\;\\gamma_0\\not \\equiv (\\text{mod}. {\\mathfrak p}) \\] eine \\(\\pi\\)-adische Einheit ist. Der Verf. kann genau in der obigen Weise, nur durch entsprechend kompliziertere Rechnungen beweisen, da\u00df sich jede \\(\\pi\\)-adische Einheit \\(\\eta\\) in der Form darstellen l\u00e4\u00dft: \\[ \\eta=w^b\\eta_0^{c_0}\\eta_1^{c_1}\\dots \\eta_{\\lambda}^{c_2}\\quad \\left\\{\\begin{aligned} b&=0, 1, \\dots, p^f-2 \\\\ c_0&=0, 1, \\dots, p^r-1 \\\\ c_i&=c_i^{(0)}+c_i^{(1)}p+\\cdots \\end{aligned} \\right\\}. \\] Dabei ist \\(w\\) eine primitive \\((p^f-1)\\)-te \\(\\pi\\)-adische Einheitswurzel, \\(p^f\\) die Norm von \\({\\mathfrak p, p}^e\\) die gr\u00f6\u00dfte in \\((p)\\) enthaltene Potenz von \\({\\mathfrak p}, \\lambda=ef, p^{\\nu- 1}\\) die gr\u00f6\u00dfte in \\(e\\) enthaltene Potenz von \\(p\\) und \\(\\eta_1, \\dots, \\eta_{\\lambda}\\) ein bestimmtes Fundamentalsystem von \\(\\pi\\)-adischen Einheiten. Die zweite Arbeit baut sich auf der ersten auf und rekapituliert deshalb zun\u00e4chst das gefundene Hauptresultat. Im regul\u00e4ren Falle \\(\\eta_0=1\\) ergibt die Darstellung aller \\(\\eta\\) sofort, da\u00df jedes \\(\\eta\\) einer Kongruenz gen\u00fcgt: \\[ \\eta\\equiv w^b\\eta_1^{c_1}\\eta_2^{c_2}\\dots \\eta_{\\lambda}^{c_{\\lambda}} (\\text{mod}.{\\mathfrak p}^{s+1})\\;\\left( \\begin{aligned} & b=0, 1, \\dots, p^f-2 \\\\ &c_0=0, 1, \\dots, p^{\\mu_i}-1 \\end{aligned} \\right), \\] wo \\(P_i=p^{\\mu_i}\\) der kleinste Exponent ist, f\u00fcr den \\[ \\eta^{P_i}\\equiv 1(\\text{mod}. {\\mathfrak p}^{s+1}) \\] ist. Die \\(\\lambda+1\\) Zahlen \\(w, \\eta_1, \\dots, \\eta_{\\lambda}\\) bilden daher die Basis einer \\textit{Abel}schen Gruppe. Dabei ist \\[ \\mu_1+\\mu_2+\\cdots+\\mu_{\\lambda}=f_s. \\] Der Verf. bestimmt noch genau die Invarianten \\(p^{\\mu_i}\\) und zeigt, wie sich aus denselben diejenigen f\u00fcr den Modul \\({\\mathfrak p}^{s+2}\\) ergeben. Damit sind die Kongruenzklassen \\((\\text{mod.}{\\mathfrak p}^{s+1})\\) v\u00f6llig bestimmt. Schlie\u00dflich werden noch die Abweichungen f\u00fcr den Ausnahmefall \\(\\eta_0\\neq 1\\) angegeben, ohne jedoch das Problem vollkommen zu l\u00f6sen. Die dritte Arbeit bringt nunmehr die Erledigung des Ausnahmefalles. Auch jetzt gilt f\u00fcr jede Einheit \\[ \\eta\\equiv w^b\\eta_0^{c_0}\\eta_1^{c_1}\\dots \\eta_{\\lambda}^{c_{\\lambda}} (\\text{mod}. {\\mathfrak p}^{s+1}),\\;\\left(\\begin{aligned} b&=0, 1, \\dots, p^f-2 \\\\ c_0&=0, 1, \\dots, (p^{\\mu_0}, p^{\\nu_0}) \\\\ c_i&=0, 1, \\dots, p^{\\mu_0},-1 \\end{aligned} \\right), \\] wo \\((p^{\\mu_0}, p^{\\nu_0})\\) der gr\u00f6\u00dfte gemeinsame Teiler dieser beiden Potenzen ist, und \\(p^{\\mu_i} (i=0, 1, \\dots, \\lambda)\\) wieder die Exponenten bedeuten, zu denen die \\(\\eta_i (\\text{mod.}{\\mathfrak p}^{s+1}\\) geh\u00f6ren. Allein die \\(\\eta_i\\) sind \\((\\text{mod.}{\\mathfrak p}^{s+1}\\)) nicht voneinander unabh\u00e4ngig, sobald \\(s+1>s_1\\), wo \\(s_k\\) der ``Irregularit\u00e4tsgrad'' von \\(\\eta_k\\) ist, d. h. der Grad von \\(\\eta_k^{p^{\\chi}}\\) ist, falls \\(p^{\\chi}\\) die kleinste Potenzist, f\u00fcr die \\(\\overline{k}p^{\\chi}> \\left[ \\frac{e}{p-1} \\right]\\) ist (\\(\\overline k\\) der Grad von \\(\\eta_k\\)). Ist dagegen \\(s_k