Sopra una formola generale nel calcolo delle estensioni. (Q1488775): Difference between revisions

Es handelt sich um den Beweis der Formel \[ x_1'x_2'\cdots x_\varrho' = (e_1 e_2 \cdots e_\sigma M)^{\varrho- 1} x_1 x_2 \cdots x_\varrho e_1e_2 \cdots e_\sigma\cdot M, \] wo \(e_1,e_2,\dots, e_\nu\) eine Gruppe von unabhängigen Einheiten eines Gebietes \(\nu\)-ter Stufe, \(M\) ein Teilgebiet \((\nu-\sigma)\)- ter Stufe und \(x_1,x_2,\dots,x_\varrho\) eine andere Gruppe von Einheiten bezeichnen, die voneinander abhangen mögen oder nicht, und wo \(x_1',x_2',\dots,x_\varrho'\) definiert sind als die Produkte: \[ \begin{aligned} & x_1'=x_1e_1e_2\cdots e_\sigma\cdot M,\\ & x_2'=x_1e_1e_2\cdots e_\sigma\cdot M,\\ &\hdotsfor1\\ & x_\varrho'=x_\varrho e_1e_2\cdots e_\sigma\cdot M.0\end{aligned} \] In dem Sonderfalle, wo das Gebiet \(M\) die \textit{Graßmann}sche Ergänzung zu \(e_1,e_2,\dots,e_\sigma\) bildet, wo also \[ [e_1,e_2 \dots e_\sigma M]=1 \] ist, lautet der Satz einfacher so: \[ x_1'x_2'\dots x_\varrho' = x_1 x_2 \dots x_\varrho e_1e_2 \dots e_\sigma\cdot M. \] Für den Fall, daß \(\sigma=1\), findet sich der Satz, wie der Verfasser selber bemerkt, bereits bei \textit{Whitehead}, Universal Algebra, S. 224; doch ist der Beweis des Verfassers durchaus verschieden von dem Gedankengange \textit{Whiteheads}.