{"entities":{"Q2585950":{"pageid":2596693,"ns":120,"title":"Item:Q2585950","lastrevid":44407266,"modified":"2025-11-22T17:53:34Z","type":"item","id":"Q2585950","labels":{"en":{"language":"en","value":"\u00dcber die Ausreduktion ganzzahliger Gruppendarstellungen bei arithmetischer \u00c4quivalenz."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2505622"}},"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":"Q2585950$EB9898BF-3BA4-4824-99AB-E170E15BD981","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b0f850e2052b000c0288c979d0b8a05dbf2ad6cb","datavalue":{"value":{"text":"\u00dcber die Ausreduktion ganzzahliger Gruppendarstellungen bei arithmetischer \u00c4quivalenz.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2585950$652ADA94-8611-4F1B-9612-3091EDA65E25","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c9d51d224923ea71641742f7660cc897d89bab0","datavalue":{"value":"66.0089.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2585950$9B525E1A-8E80-4429-A8BD-0909B8778110","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1f4cf3289b7545aad4691d5b0950b3e6980b7ee9","datavalue":{"value":"10.1007/BF02940768","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2585950$14681239-7E7D-4491-A457-3DCD24F4DAF8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cdcd3c2c1427f536d701888e5b762b522443dfd","datavalue":{"value":{"entity-type":"item","numeric-id":2585949,"id":"Q2585949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2585950$E1EF8138-416C-45CB-9DCA-4096016AE7CC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8c7a36fed93a2c5106c0dd147c45f135ff18693b","datavalue":{"value":{"entity-type":"item","numeric-id":227705,"id":"Q227705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2585950$EB8613F5-A96E-4FCF-8208-393138692414","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1701512ca85d58575d88b06da5ab938c2d9a4cd9","datavalue":{"value":{"time":"+1940-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":"Q2585950$37EF2DAC-45D3-4A55-81BB-1BE99C2F98C4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a1f1ae33605332a3d7e349317b60d9e1adf73e15","datavalue":{"value":"Es werden die Darstellungen einer Gruppe \\(\\mathfrak G\\) in einem Hauptidealring \\(\\mathfrak o\\) untersucht. \\(\\mathfrak o\\)-\u00c4quivalenz bedeutet \u00c4quivalenz der Darstellungen mittels in \\(\\mathfrak o\\) invertierbarer Matrizen, \\(R\\)-\u00c4quivalenz eine solche mittels in \\(R\\) invertierbarer Matrizen, \\(R\\) der Quotientenk\u00f6rper von \\(\\mathfrak o\\). Ist eine \\(\\mathfrak o\\)-Darstellung \\(R\\)-reduzibel, so ist sie auch \\(\\mathfrak o\\)-reduzibel. Jede \\(R\\)-voll-reduzible \\(\\mathfrak o\\)-Darstellung l\u00e4\u00dft sich \\(\\mathfrak o\\)-\u00e4quivalent in folgende Normalform \\(\\mathfrak D\\) bringen:  \\[ \\mathfrak D=\\begin{pmatrix}  \\l\\,&\\;&\\;&\\;&\\,&\\\\ \\varGamma _1&&&&&\\ast\\\\ &\\varGamma _2&&&&\\\\ &&\\cdot&&&\\\\ &&&\\cdot&&\\\\ &&&&\\cdot&\\\\ 0&&&&&\\varGamma _f \\end{pmatrix},\\;\\; \\varGamma _i=\\begin{pmatrix}  \\l\\,&\\;&\\;&\\;&\\,&\\\\ \\varDelta _i^1&&&&&\\ast\\\\ &\\varDelta _i^2&&&&\\\\ &&\\cdot&&&\\\\ &&&\\cdot&&\\\\ &&&&\\cdot&\\\\ 0&&&&&\\varDelta _i^{fi}\\end{pmatrix}, \\]  wobei die Darstellung \\(\\varDelta _i^{\\mu }\\) irreduzibel ist und \\(\\varDelta _i^\\mu \\) \\(R\\)-\u00e4quivalent \\(\\varDelta _i^\\nu \\) ist, aber \\(\\varDelta _i^\\mu \\) nicht \\(R\\)-\u00e4quivalent \\(\\varDelta _j^\\nu \\), wenn \\(i\\neq j\\). Die \\(\\varGamma _i\\) sind bis auf die Reihenfolge und \\(\\mathfrak o\\)-\u00c4quivalenz eindeutig bestimmt. Es wird nun das Problem untersucht, bei festen \\(\\varGamma _i\\) alle \\(\\mathfrak o\\)-Klassen zu finden, deren Normalform gerade die gegebenen \\(\\varGamma _i\\) in der Hauptdiagonale enth\u00e4lt. Dies geschieht auf folgendem Wege: Es wird eine sch\u00e4rfere \u00c4quivalenz eingef\u00fchrt: Zwei \\(\\mathfrak o\\)-Darstellungen in der Normalform hei\u00dfen stark- oder \\(\\sigma \\)-\u00e4quivalent, wenn sie durch \\(\\mathfrak o\\)-Matrizen der Form \\(\\begin{pmatrix}\\l\\,&\\,&\\,&\\,&\\\\ E_1&&&&\\ast\\\\\\vspace{-1\\jot} &\\cdot&&&\\\\\\vspace{-1\\jot} &&\\cdot&&\\\\\\vspace{-1\\jot} &&&\\cdot&\\\\\\vspace{-1\\jot} 0&&&&E_f\\end{pmatrix}\\) ineinander \u00fcbergef\u00fchrt werden k\u00f6nnen, wobei die \\(E_{i}\\) Einheitsmatrizen der Gr\u00f6\u00dfe der \\(\\varGamma _i\\) sind. Die \\(\\mathfrak o\\)-Klassen der Darstellungen entstehen dann durch Klassenbildung aus den \\(\\sigma \\)-Klassen. In \\S\\ 2 wird eine halbreduzierte \\(\\mathfrak o\\)-Darstellung der Form \\(x\\to\\begin{pmatrix} \\l&\\\\ \\varGamma _x&\\varLambda _x\\\\ 0&\\varDelta _x\\end{pmatrix}\\) untersucht. Die Gruppe \\(\\mathfrak G\\) der \\(x\\) wird als endlich vorausgesetzt, auch \u00fcber den Hauptidealring \\(\\mathfrak o\\) werden noch weitere Voraussetzungen gemacht, die durch den Ring der ganzen Zahlen z. B. erf\u00fcllt werden. Bei festem \\(\\varGamma \\) und \\(\\varDelta \\) (jetzt sogar beliebige \\(\\mathfrak o\\)-Darstellungen von \\(\\mathfrak G\\)) gibt es nur endlich viele \\(\\sigma \\)-Klassen, die sich durch die \\(\\varLambda _x\\) unterscheiden. Diese \\(\\varLambda _x\\) lassen sich explizit aufstellen, und die Klassenzahl \\(\\sigma (\\varGamma, \\varDelta )\\) l\u00e4\u00dft sich als Produkt der Betr\u00e4ge der Elernentarteiler einer Matrix bestimmen. \\(\\sigma (\\varGamma, \\varDelta )\\) ist nur von der \\(\\mathfrak o\\)-Klasse von \\(\\varGamma \\) und \\(\\varDelta \\) abh\u00e4ngig. In \\S\\ 5 wird der allgemeine Fall von \\(f > 2\\) Darstellungen \\(\\varGamma \\), \\(\\varDelta \\),\\dots untersucht und auf den Fall der zwei Darstellungen zur\u00fcckgef\u00fchrt. Auch hier lassen sich alle \\(\\sigma \\)-Klassen explizit aufstellen. \\S 3 bringt Hilfss\u00e4tze \u00fcber Kreisteilungspolynome, mit denen in \\S 4 bewiesen wird, da\u00df f\u00fcr ganzzahlige Darstellungen einer zyklischen Gruppe der Form \\(\\begin{pmatrix}\\l&\\\\ \\varGamma &\\varLambda\\\\ 0&\\varDelta \\end{pmatrix}\\), wobei \\(\\varGamma \\), \\(\\varDelta \\) irreduzibel von den Ordnungen \\(m\\) bzw. \\(n\\) sind, \\(\\sigma (\\varGamma, \\varDelta )=1\\) ist, au\u00dfer wenn \\(n = mp^i\\) ist, mit \\(i>0\\); dann ist \\(\\sigma =p^{\\varphi (m)}\\) (\\(\\varphi \\) die Gau\u00dfsche Funktion). \\S 6 bringt auch f\u00fcr den Fall \\(f > 2\\) f\u00fcr zyklische Gruppen weitere Vereinfachungen und enth\u00e4lt eine einfache Formel f\u00fcr die Anzahl der \\(\\sigma \\)-Klassen. In \\S 7 gelingt es, f\u00fcr die zyklischen Gruppen \\(\\mathfrak Z_p\\) von Primzahlordnung eine \u00dcbersicht \u00fcber alle Klassen von unzerf\u00e4llbaren ganzzahligen Darstellungen zu erhalten. Es gibt \\(2h + 1\\) solche Klassen, \\(h\\) die Idealklassenzahl im K\u00f6rper der \\(p\\)-ten Einheitswurzeln. Bereits die zyklische Gruppe der Ordnung vier besitzt unendlich viele Klassen unzerf\u00e4llbarer Darstellungen beliebig hohen Grades. Auch ist die Zerf\u00e4llung einer Darstellung in unzerf\u00e4llbare bereits bei den \\(\\mathfrak Z_p\\) f\u00fcr \\(h > 1\\) keineswegs eindeutig bis auf \\(\\mathfrak o\\)-\u00c4quivalenz und Reihenfolge.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2585950$A3771831-6302-425F-95CB-5B1F02579B6A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd9b4ea45f76d2c8276de4be7189a5af6b2ddb18","datavalue":{"value":"2505622","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2585950$5549F60D-4831-487D-90B9-09585F87D1E5","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":"Q2585950$B582EC4D-8566-4CB3-9101-4008F5E84B55","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f225845ed6bc411dfc0a6e6b38b042ea1ad6c44","datavalue":{"value":{"entity-type":"item","numeric-id":2646409,"id":"Q2646409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2585950$227DEA60-F45B-4E0B-84DA-6671215B1F08","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2585950","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2585950"}}}}}