Primitive torsionsfreie abelsche Gruppen vom endlichen Range.
type: Item
instance of: scholarly article
title: Primitive torsionsfreie abelsche Gruppen vom endlichen Range.
zbMATH Open document ID: 63.0074.01
DOI: 10.2307/1968518
author: Alexander Kurosch
published in: Annals of Mathematics. Second Series
publication date: 1937-01-01T00:00:00Z
review text: Eine abelsche Gruppe \(G\) heißt torsionsfrei, wenn jedes Element außer Null unendliche Ordnung hat. Unter dem Rang \(n\) von \(G\) versteht man die größte Anzahl (in bezug auf die ganzen rationalen Zahlen) linear unabhängiger Elemente. \(G\) heißt \(p\)-primitiv, wenn man eine Primzahl \(p\) und in \(G\) einen \(n\)-gliedrigen Linearformenmodul \(H\) derart finden kann, daß es zu jedem \(g\subset G\) ein \(m_g\) gibt, so daß \(p^{m_g}\cdot g\) in \(H\) liegt. Ist \(H\) ein derartiger Untermodul, so bezeichne \(H^*\) die Untergruppe aller derjenigen Elemente \(h^*\) von \(G\), für die \(p\cdot h^*\) in \(H\) liegt. Die Faktorgruppe \(H^*/H\) ist direkte Summe von \(r(H^*/H) \leqq n\) Gruppen der Ordnung \(p\). Die kleinste aller Zahlen \(r(H^*/H)\), wo \(H\) alle Linearformenmoduln der eben betrachteten Art durchläuft, heißt der reduzierte Rang \(r\) von \(G\). Ein Linearformenmodul \(H\), für den \(r(H^*/H) = r\) gilt, heißt Hauptuntergruppe. Im Falle \(r = 0\) ist \(G\) selbst ein \(n\)-gliedriger Linearformenmodul. Für \(r=n\) wird \(G\) eine direkte Summe von \(n\) Summanden, von denen jeder isomorph ist zu der additiven Gruppe aller rationalen Zahlen, deren Nenner Potenzen von \(p\) sind. Ist \(0 < r < n\), so läßt sich der Gruppe \(G\) in folgender Weise eine Matrix zuordnen, deren Koeffizienten ganze \(p\)-adische Zahlen sind: \(H_0\) sei eine Hauptuntergruppe. Man setze \[ H_{k+1} = H^*_k\qquad (k= 0,1,\ldots). \] \(H_{k+1}\) läßt sich aus \(H_k\) mit Hilfe von \(r\) Elementen \(a^{k+1}_1,\ldots, a^{k+1}_r\) erzeugen. Man kann nun eine Basis \[ a_1^0,\ldots, a_r^0,\quad b_1,\ldots, b_s\qquad (r + s = n) \] von \(H_0\) und die \(a_\varrho^{k+1}\) \((\varrho = 1,\ldots, r; k = 0, 1,\ldots)\) derart wählen, daß für \(k = 0,1,\ldots\) gilt \[ pa^{k+1}_\varrho = a^k_\varrho + \sum\limits_{j=1}^s \alpha_{\varrho j}^k b_j \qquad (\varrho=1,\ldots,r) \] mit \(0 \leqq \alpha^k_{\varrho j} < p\). Bildet man die ganzen \(p\)-adischen Zahlen \(\varphi_{\varrho j} = \sum…
zbMATH DE Number: 2519978
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.2307/1968518
OpenAlex ID: W2312277546
description: scientific article