{"entities":{"Q2595641":{"pageid":2606384,"ns":120,"title":"Item:Q2595641","lastrevid":44436405,"modified":"2025-11-22T22:19:29Z","type":"item","id":"Q2595641","labels":{"en":{"language":"en","value":"Torsionsfreie Abelsche Gruppen vom endlichen Rang."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2514811"}},"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":"Q2595641$FA49E56B-EB61-418F-A63C-C702C0A4CB69","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4e0fcbddb6720138065e18ee21f12064dae396d8","datavalue":{"value":{"text":"Torsionsfreie Abelsche Gruppen vom endlichen Rang.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2595641$741BE829-ED51-454F-99D6-D793ECC303F5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1c406ac12d5251185cbf5d40a66f6a0243b51c3a","datavalue":{"value":"64.0064.05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2595641$847A9EA0-AB7A-44A8-8C27-3139A3CD9266","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d88dd58ddf8304443c1f4cdbf9d53d6815db1c6","datavalue":{"value":{"entity-type":"item","numeric-id":2527234,"id":"Q2527234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2595641$498D1428-E03C-45D9-AEFD-9DC7148F6921","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a6903551564e0f3a14ef595826ea478e17130e4c","datavalue":{"value":{"entity-type":"item","numeric-id":2579687,"id":"Q2579687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2595641$98A25D23-35BB-40DE-9DD9-53AAD2352299","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f858b81427e0400eb7de4859b32f6d4c81a704f4","datavalue":{"value":{"time":"+1938-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":"Q2595641$96B653C7-DD22-4630-9A43-41B49A03E0FB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"348df0029c6df5003f58513c34072d7ed2d53a8b","datavalue":{"value":"Es sei \\(G\\) eine additiv geschriebene abelsche Gruppe vom Rang \\(r\\), deren Elemente s\u00e4mtlich unendliche Ordnung haben; \\(u_1,\\ldots,u_r\\) sei eine Basis von \\(G\\): jedes Element \\(g\\) von \\(G\\) hat also die Form \\(mg = \\sum u_in_i\\) mit ganzen rationalen Zahlen \\(m\\), \\(n_i\\). Die Zuordnung \\(g \\longleftrightarrow \\left(\\dfrac{n_1}{m},\\ldots,\\dfrac{n_r}{m}\\right)\\) ist eineindeutig. Es sei \\(p\\) eine Primzahl und \\(G_{p^{s}}\\) die Untergruppe derjenigen \\(g\\), f\u00fcr welche \\(m\\) in \\(p^s\\) aufgeht. Es seien  \\[  g_i=\\sum_{k} \\dfrac{a_{ik}^{(p^s)}}{p^s}=u_k \\qquad (i=1,\\ldots,r)  \\]  \\(r\\) Elemente aus \\(G_{p^s}\\) von der Art, da\u00df \\(G_{p^s}\\) durch die \\(g_i\\) und \\(u_i\\) erzeugt wird, dann wird \\(G_{p^s}\\) die Matrix \\(A_{p^s}=\\left(a_{ik}^{(p^s)}\\right)\\) zugeordnet, wobei die \\(a_{ik}^{(p^s)}\\) nur \\(\\text{mod}, p^s\\) festgelegt sind. Der bez\u00fcglich \\(p\\) primitiven Untergruppe \\(G^{(p)}\\) von \\(G\\), welche die Vereinigung aller \\(G_{p^s}\\) ist, wird die Folge der Matrizen \\(A_{p^s}\\) zugeordnet. Diese kann als eine \\(r\\)-reihige Matrix \\(A^{(p)}=(\\mathfrak a_{ik})\\) aufgefa\u00dft werden, deren Elemente die Folgen  \\[  \\mathfrak a_{ik}=\\{a_{ik}^{(p)},a_{ik}^{(p^2)},\\ldots\\}  \\]  sind. Sie hei\u00dfen \\(p\\)-Zahlen; eine \\(p\\)-Zahl \\(\\{a_i\\} = \\{a_1,a_2,\\ldots,\\}\\) ist eine Folge von Restklassen \\(a_i\\) \\(\\text{mod}\\, p^i\\); Addition und Multiplikation ist durch \\(\\{a_i\\}+\\{b_i\\}=\\{a_i+b_i\\}\\) und \\(\\{a_i\\}\\{b_i\\}=\\{a_ib_i\\}\\) definiert. Spezielle \\(p\\)-Zahlen sind die \\(p\\)-adischen Zahlen \\(a_i\\); f\u00fcr sie gilt \\(a_{i+1}\\equiv a_i\\) (\\(\\text{mod}\\, p^i\\)). Die \\(A^{(p)}\\) hei\u00dfen \\(p\\)-Matrizen. Eine \\(r\\)-reihige \\(p\\)-Matrix \\(A^{(p)}\\) entspricht dann und nur dann einer bez\u00fcglich \\(p\\) primitiven Untergruppe \\(G^{(p)}\\) einer torsionsfreien Gruppe \\(G\\) vom Rang \\(r\\), wenn sie sich durch gewisse endlich viele ``elementare Umformungen'' in die Gestalt \\(\\begin{pmatrix}\\mathfrak e & \\mathfrak a\\\\\\mathfrak n & \\mathfrak n\\end{pmatrix}\\) bringen l\u00e4\u00dft, wo \\(\\mathfrak e\\), \\(\\mathfrak n\\), \\(\\mathfrak a\\) die Einheitsmatrix, Nullmatrix und eine Matrix aus \\(p\\)-adischen Zahlen bedeuten. Solche Matrizen hei\u00dfen perfekt. Zu \\(G\\) geh\u00f6rt also ein System  \\[  \\mathfrak A=[A^{(2)},A^{(3)},A^{(5)},\\ldots]  \\]  perfekter \\(p\\)-Matrizen \\(A^{(p)}\\). Umgekehrt definiert \\(\\mathfrak A\\) auch eine torsionsfreie abelsche Gruppe \\(G\\) vom Rang \\(r\\). Zwei Systeme \\(\\mathfrak A\\) und \\(\\mathfrak B=[B^{(2)},\\ldots]\\) hei\u00dfen \u00e4quivalent, wenn ihre Komponenten \\(A^{(p)}\\), \\(B^{(p)}\\) durch eine endliche Anzahl gewisser elementarer Umformungen ineinander \u00fcberf\u00fchrt werden k\u00f6nnen, von denen einige auf die Komponenten einzeln, andere auf alle Komponenten simultan anzuwenden sind. Isomorphen Gruppen \\(G\\) entsprechen \u00e4quivalente Systeme \\(\\mathfrak A\\) und umgekehrt. Die hiermit gewonnene \u00dcbersicht \u00fcber alle torsionsfreien abelschen Gruppen endlichen Ranges enth\u00e4lt die Resultate von \\textit{A. G. Kurosch} \u00fcber primitive torsionsfreie abelsche Gruppen endlichen Ranges (Ann. math., Princeton, (2) 38 (1937), 175-203; JFM 63.0074.*). Zum Schlu\u00df untersucht Verf. die Gruppe \\(G\\) hinsichtlich ihrer direkten Zerlegbarkeit und zeigt u. a: daf\u00fcr, da\u00df \\(G\\) einen zyklischen direkten Summanden hat, ist notwendig und hinreichend, da\u00df zwischen den Spalten aller \\(A^{(p)}\\) simultan eine lineare Abh\u00e4ngigkeit mit rationalen Koeffizienten besteht.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2595641$A3ED11DD-6EA9-42B6-98A3-F886FA308B77","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b913f6319e05327725e5a7aeb68981352facccef","datavalue":{"value":"2514811","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2595641$FA3D3525-4068-4D89-94FF-35AC0788388B","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":"Q2595641$42C7F50D-69DE-4FE5-A1B0-005E1AC1871A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2595641","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2595641"}}}}}