Keineswegs braucht man alle 256 Elemente von G (a, b, c) einzeln gleich x gesetzt (und durch cyklische Permutation der beiden Buchstaben- systeme a, b, c und x, y, z zu einem Systeme von drei Gleichungen er- gänzt) direkt auf ihre Resultante zu prüfen.
Zunächst liefern die hinsichtlich a, b, c symmetrischen Ausdrücke oder Elemente von G (a, b, c) stets ohne alle Rechnung R7, weil der Ansatz auf x = y = z augenscheinlich hinausläuft. Dergleichen Ausdrücke kommen nur bei dem 1. und 22., 2. und 21., 5. und 18., 8. und 15., beim 9., und beim 14. Typus vor, mithin bei 10 Typen und 6 Haupttypen, und finden sich -- abgesehen von den Elementen 0 und 1 -- oben bei R7 vertreten durch Repräsentanten, welche mit Rücksicht auf die nachfolgenden Bemerkungen als ausreichende hingestellt werden durften.
Wir brauchten also nur mehr die Ausdrücke durchzugehen, welche nicht bezüglich aller drei Buchstaben a, b, c symmetrisch erscheinen.
Solche können nun aber noch in Hinsicht zweier von diesen drei Buch- staben symmetrisch sein, was in der That vorkommt bei den Typen: 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13. und 21, 20, 19, 18, 17, 16, 15, sonach bei allen Typen ausser 11 und den schon abgethanen 1 nebst 22 und 14.
In solchem Falle braucht man nur solche Ausdrücke zu berücksichtigen, bei welchen der Buchstabe a bevorzugt erscheint, die Symmetrie also hin- sichtlich b und c vorliegt. Denn war dies nicht der Fall, war ein andrer Buchstabe als a bevorzugt, so lässt sich durch cyklische Vertauschung der drei Parameter immer hinbringen, dass es der Fall wird, dass in dem = x zu setzenden Ausdrucke ph (a, b, c) der bevorzugte Buchstabe gerade a ist.
Denken wir für den Augenblick uns den bevorzugten Buchstaben als das erste Argument angeführt, so müssen in der That die drei Gleichungen x = ph (b, c, a), y = ph (c, a, b), z = ph (a, b, c), desgleichen diese: x = ph (c, a, b), y = ph (a, b, c), z = ph (b, c, a) bei der Elimination von a, b, c uns die nämliche Resultante R = 0 liefern, als wie die drei Gleichungen: x = ph (a, b, c), y = ph (b, c, a), z = ph (c, a, b) sintemal die Resultante, weil sie die Eliminanden a, b, c gar nicht ent- hält, auch ungeändert bleiben muss, wenn man diese irgendwie unter sich vertauscht.
Auf Grund dieser Bemerkung reduzirt sich nicht nur bei den hin- sichtlich zweier Argumente symmetrischen, sondern auch bei den gänzlich unsymmetrischen Funktionen ph (a, b, c) die Menge der direkt zu ermit- telnden Resultanten sehr beträchtlich, und wird die Resultante schon nur für höchstens ein Drittel der Ausdrücke wirklich aufzusuchen sein.
Zur Gruppentheorie des identischen Kalkuls.
Keineswegs braucht man alle 256 Elemente von G (a, b, c) einzeln gleich x gesetzt (und durch cyklische Permutation der beiden Buchstaben- systeme a, b, c und x, y, z zu einem Systeme von drei Gleichungen er- gänzt) direkt auf ihre Resultante zu prüfen.
Zunächst liefern die hinsichtlich a, b, c symmetrischen Ausdrücke oder Elemente von G (a, b, c) stets ohne alle Rechnung R7, weil der Ansatz auf x = y = z augenscheinlich hinausläuft. Dergleichen Ausdrücke kommen nur bei dem 1. und 22., 2. und 21., 5. und 18., 8. und 15., beim 9., und beim 14. Typus vor, mithin bei 10 Typen und 6 Haupttypen, und finden sich — abgesehen von den Elementen 0 und 1 — oben bei R7 vertreten durch Repräsentanten, welche mit Rücksicht auf die nachfolgenden Bemerkungen als ausreichende hingestellt werden durften.
Wir brauchten also nur mehr die Ausdrücke durchzugehen, welche nicht bezüglich aller drei Buchstaben a, b, c symmetrisch erscheinen.
Solche können nun aber noch in Hinsicht zweier von diesen drei Buch- staben symmetrisch sein, was in der That vorkommt bei den Typen: 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13. und 21, 20, 19, 18, 17, 16, 15, sonach bei allen Typen ausser 11 und den schon abgethanen 1 nebst 22 und 14.
In solchem Falle braucht man nur solche Ausdrücke zu berücksichtigen, bei welchen der Buchstabe a bevorzugt erscheint, die Symmetrie also hin- sichtlich b und c vorliegt. Denn war dies nicht der Fall, war ein andrer Buchstabe als a bevorzugt, so lässt sich durch cyklische Vertauschung der drei Parameter immer hinbringen, dass es der Fall wird, dass in dem = x zu setzenden Ausdrucke φ (a, b, c) der bevorzugte Buchstabe gerade a ist.
Denken wir für den Augenblick uns den bevorzugten Buchstaben als das erste Argument angeführt, so müssen in der That die drei Gleichungen x = φ (b, c, a), y = φ (c, a, b), z = φ (a, b, c), desgleichen diese: x = φ (c, a, b), y = φ (a, b, c), z = φ (b, c, a) bei der Elimination von a, b, c uns die nämliche Resultante R = 0 liefern, als wie die drei Gleichungen: x = φ (a, b, c), y = φ (b, c, a), z = φ (c, a, b) sintemal die Resultante, weil sie die Eliminanden a, b, c gar nicht ent- hält, auch ungeändert bleiben muss, wenn man diese irgendwie unter sich vertauscht.
Auf Grund dieser Bemerkung reduzirt sich nicht nur bei den hin- sichtlich zweier Argumente symmetrischen, sondern auch bei den gänzlich unsymmetrischen Funktionen φ (a, b, c) die Menge der direkt zu ermit- telnden Resultanten sehr beträchtlich, und wird die Resultante schon nur für höchstens ein Drittel der Ausdrücke wirklich aufzusuchen sein.
<TEI><text><body><divn="1"><divn="2"><pbfacs="#f0713"n="693"/><fwplace="top"type="header">Zur Gruppentheorie des identischen Kalkuls.</fw><lb/><p>Keineswegs braucht man alle 256 Elemente von <hirendition="#i">G</hi> (<hirendition="#i">a</hi>, <hirendition="#i">b</hi>, <hirendition="#i">c</hi>) einzeln<lb/>
gleich <hirendition="#i">x</hi> gesetzt (und durch cyklische Permutation der beiden Buchstaben-<lb/>
systeme <hirendition="#i">a</hi>, <hirendition="#i">b</hi>, <hirendition="#i">c</hi> und <hirendition="#i">x</hi>, <hirendition="#i">y</hi>, <hirendition="#i">z</hi> zu einem Systeme von drei Gleichungen er-<lb/>
gänzt) direkt auf ihre Resultante zu prüfen.</p><lb/><p>Zunächst liefern die hinsichtlich <hirendition="#i">a</hi>, <hirendition="#i">b</hi>, <hirendition="#i">c</hi> symmetrischen Ausdrücke oder<lb/>
Elemente von <hirendition="#i">G</hi> (<hirendition="#i">a</hi>, <hirendition="#i">b</hi>, <hirendition="#i">c</hi>) stets ohne alle Rechnung <hirendition="#i">R</hi><hirendition="#sub">7</hi>, weil der Ansatz<lb/>
auf <hirendition="#i">x</hi> = <hirendition="#i">y</hi> = <hirendition="#i">z</hi> augenscheinlich hinausläuft. Dergleichen Ausdrücke kommen<lb/>
nur bei dem<lb/>
1. und 22., 2. und 21., 5. und 18., 8. und 15., beim 9., und beim 14.<lb/>
Typus vor, mithin bei 10 Typen und 6 Haupttypen, und finden sich —<lb/>
abgesehen von den Elementen 0 und 1 — oben bei <hirendition="#i">R</hi><hirendition="#sub">7</hi> vertreten durch<lb/>
Repräsentanten, welche mit Rücksicht auf die nachfolgenden Bemerkungen<lb/>
als ausreichende hingestellt werden durften.</p><lb/><p>Wir brauchten also nur mehr die Ausdrücke durchzugehen, welche<lb/><hirendition="#i">nicht</hi> bezüglich aller drei Buchstaben <hirendition="#i">a</hi>, <hirendition="#i">b</hi>, <hirendition="#i">c</hi> symmetrisch erscheinen.</p><lb/><p>Solche können nun aber noch in Hinsicht zweier von diesen drei Buch-<lb/>
staben symmetrisch sein, was in der That vorkommt bei den Typen:<lb/><hirendition="#et">2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13.<lb/>
und 21, 20, 19, 18, 17, 16, 15,</hi><lb/>
sonach bei allen Typen ausser 11 und den schon abgethanen 1 nebst 22<lb/>
und 14.</p><lb/><p>In solchem Falle braucht man nur solche Ausdrücke zu berücksichtigen,<lb/>
bei welchen der Buchstabe <hirendition="#i">a</hi> bevorzugt erscheint, die Symmetrie also hin-<lb/>
sichtlich <hirendition="#i">b</hi> und <hirendition="#i">c</hi> vorliegt. Denn war dies nicht der Fall, war ein andrer<lb/>
Buchstabe als <hirendition="#i">a</hi> bevorzugt, so lässt sich durch cyklische Vertauschung der<lb/>
drei Parameter immer hinbringen, dass es der Fall wird, dass in dem = <hirendition="#i">x</hi><lb/>
zu setzenden Ausdrucke <hirendition="#i">φ</hi> (<hirendition="#i">a</hi>, <hirendition="#i">b</hi>, <hirendition="#i">c</hi>) der bevorzugte Buchstabe gerade <hirendition="#i">a</hi> ist.</p><lb/><p>Denken wir für den Augenblick uns den bevorzugten Buchstaben als<lb/>
das erste Argument angeführt, so müssen in der That die drei Gleichungen<lb/><hirendition="#c"><hirendition="#i">x</hi> = <hirendition="#i">φ</hi> (<hirendition="#i">b</hi>, <hirendition="#i">c</hi>, <hirendition="#i">a</hi>), <hirendition="#i">y</hi> = <hirendition="#i">φ</hi> (<hirendition="#i">c</hi>, <hirendition="#i">a</hi>, <hirendition="#i">b</hi>), <hirendition="#i">z</hi> = <hirendition="#i">φ</hi> (<hirendition="#i">a</hi>, <hirendition="#i">b</hi>, <hirendition="#i">c</hi>),</hi><lb/>
desgleichen diese:<lb/><hirendition="#c"><hirendition="#i">x</hi> = <hirendition="#i">φ</hi> (<hirendition="#i">c</hi>, <hirendition="#i">a</hi>, <hirendition="#i">b</hi>), <hirendition="#i">y</hi> = <hirendition="#i">φ</hi> (<hirendition="#i">a</hi>, <hirendition="#i">b</hi>, <hirendition="#i">c</hi>), <hirendition="#i">z</hi> = <hirendition="#i">φ</hi> (<hirendition="#i">b</hi>, <hirendition="#i">c</hi>, <hirendition="#i">a</hi>)</hi><lb/>
bei der Elimination von <hirendition="#i">a</hi>, <hirendition="#i">b</hi>, <hirendition="#i">c</hi> uns die nämliche Resultante <hirendition="#i">R</hi> = 0 liefern,<lb/>
als wie die drei Gleichungen:<lb/><hirendition="#c"><hirendition="#i">x</hi> = <hirendition="#i">φ</hi> (<hirendition="#i">a</hi>, <hirendition="#i">b</hi>, <hirendition="#i">c</hi>), <hirendition="#i">y</hi> = <hirendition="#i">φ</hi> (<hirendition="#i">b</hi>, <hirendition="#i">c</hi>, <hirendition="#i">a</hi>), <hirendition="#i">z</hi> = <hirendition="#i">φ</hi> (<hirendition="#i">c</hi>, <hirendition="#i">a</hi>, <hirendition="#i">b</hi>)</hi><lb/>
sintemal die Resultante, weil sie die Eliminanden <hirendition="#i">a</hi>, <hirendition="#i">b</hi>, <hirendition="#i">c</hi> gar nicht ent-<lb/>
hält, auch ungeändert bleiben muss, wenn man diese irgendwie unter sich<lb/>
vertauscht.</p><lb/><p>Auf Grund dieser Bemerkung reduzirt sich nicht nur bei den hin-<lb/>
sichtlich zweier Argumente symmetrischen, sondern auch bei den gänzlich<lb/>
unsymmetrischen Funktionen <hirendition="#i">φ</hi> (<hirendition="#i">a</hi>, <hirendition="#i">b</hi>, <hirendition="#i">c</hi>) die Menge der direkt zu ermit-<lb/>
telnden Resultanten sehr beträchtlich, und wird die Resultante schon nur<lb/>
für höchstens ein Drittel der Ausdrücke wirklich aufzusuchen sein.</p><lb/></div></div></body></text></TEI>
[693/0713]
Zur Gruppentheorie des identischen Kalkuls.
Keineswegs braucht man alle 256 Elemente von G (a, b, c) einzeln
gleich x gesetzt (und durch cyklische Permutation der beiden Buchstaben-
systeme a, b, c und x, y, z zu einem Systeme von drei Gleichungen er-
gänzt) direkt auf ihre Resultante zu prüfen.
Zunächst liefern die hinsichtlich a, b, c symmetrischen Ausdrücke oder
Elemente von G (a, b, c) stets ohne alle Rechnung R7, weil der Ansatz
auf x = y = z augenscheinlich hinausläuft. Dergleichen Ausdrücke kommen
nur bei dem
1. und 22., 2. und 21., 5. und 18., 8. und 15., beim 9., und beim 14.
Typus vor, mithin bei 10 Typen und 6 Haupttypen, und finden sich —
abgesehen von den Elementen 0 und 1 — oben bei R7 vertreten durch
Repräsentanten, welche mit Rücksicht auf die nachfolgenden Bemerkungen
als ausreichende hingestellt werden durften.
Wir brauchten also nur mehr die Ausdrücke durchzugehen, welche
nicht bezüglich aller drei Buchstaben a, b, c symmetrisch erscheinen.
Solche können nun aber noch in Hinsicht zweier von diesen drei Buch-
staben symmetrisch sein, was in der That vorkommt bei den Typen:
2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13.
und 21, 20, 19, 18, 17, 16, 15,
sonach bei allen Typen ausser 11 und den schon abgethanen 1 nebst 22
und 14.
In solchem Falle braucht man nur solche Ausdrücke zu berücksichtigen,
bei welchen der Buchstabe a bevorzugt erscheint, die Symmetrie also hin-
sichtlich b und c vorliegt. Denn war dies nicht der Fall, war ein andrer
Buchstabe als a bevorzugt, so lässt sich durch cyklische Vertauschung der
drei Parameter immer hinbringen, dass es der Fall wird, dass in dem = x
zu setzenden Ausdrucke φ (a, b, c) der bevorzugte Buchstabe gerade a ist.
Denken wir für den Augenblick uns den bevorzugten Buchstaben als
das erste Argument angeführt, so müssen in der That die drei Gleichungen
x = φ (b, c, a), y = φ (c, a, b), z = φ (a, b, c),
desgleichen diese:
x = φ (c, a, b), y = φ (a, b, c), z = φ (b, c, a)
bei der Elimination von a, b, c uns die nämliche Resultante R = 0 liefern,
als wie die drei Gleichungen:
x = φ (a, b, c), y = φ (b, c, a), z = φ (c, a, b)
sintemal die Resultante, weil sie die Eliminanden a, b, c gar nicht ent-
hält, auch ungeändert bleiben muss, wenn man diese irgendwie unter sich
vertauscht.
Auf Grund dieser Bemerkung reduzirt sich nicht nur bei den hin-
sichtlich zweier Argumente symmetrischen, sondern auch bei den gänzlich
unsymmetrischen Funktionen φ (a, b, c) die Menge der direkt zu ermit-
telnden Resultanten sehr beträchtlich, und wird die Resultante schon nur
für höchstens ein Drittel der Ausdrücke wirklich aufzusuchen sein.
Informationen zur CAB-Ansicht
Diese Ansicht bietet Ihnen die Darstellung des Textes in normalisierter Orthographie.
Diese Textvariante wird vollautomatisch erstellt und kann aufgrund dessen auch Fehler enthalten.
Alle veränderten Wortformen sind grau hinterlegt. Als fremdsprachliches Material erkannte
Textteile sind ausgegraut dargestellt.
Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 1. Leipzig, 1890, S. 693. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik01_1890/713>, abgerufen am 23.11.2024.
Alle Inhalte dieser Seite unterstehen, soweit nicht anders gekennzeichnet, einer
Creative-Commons-Lizenz.
Die Rechte an den angezeigten Bilddigitalisaten, soweit nicht anders gekennzeichnet, liegen bei den besitzenden Bibliotheken.
Weitere Informationen finden Sie in den DTA-Nutzungsbedingungen.
Insbesondere im Hinblick auf die §§ 86a StGB und 130 StGB wird festgestellt, dass die auf
diesen Seiten abgebildeten Inhalte weder in irgendeiner Form propagandistischen Zwecken
dienen, oder Werbung für verbotene Organisationen oder Vereinigungen darstellen, oder
nationalsozialistische Verbrechen leugnen oder verharmlosen, noch zum Zwecke der
Herabwürdigung der Menschenwürde gezeigt werden.
Die auf diesen Seiten abgebildeten Inhalte (in Wort und Bild) dienen im Sinne des
§ 86 StGB Abs. 3 ausschließlich historischen, sozial- oder kulturwissenschaftlichen
Forschungszwecken. Ihre Veröffentlichung erfolgt in der Absicht, Wissen zur Anregung
der intellektuellen Selbstständigkeit und Verantwortungsbereitschaft des Staatsbürgers zu
vermitteln und damit der Förderung seiner Mündigkeit zu dienen.
Zitierempfehlung: Deutsches Textarchiv. Grundlage für ein Referenzkorpus der neuhochdeutschen Sprache. Herausgegeben von der Berlin-Brandenburgischen Akademie der Wissenschaften, Berlin 2024. URL: https://www.deutschestextarchiv.de/.
