Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 1. Leipzig, 1890.

Zur Gruppentheorie des identischen Kalkuls.

und von den Ausdrücken eines zu sich selbst komplementären Typus nur
die eine Hälfte.

Ist beispielsweise R₄ als Resultante zu x = a₁ b c + a b₁ c₁ ermittelt, so
muss R₄' die Resultante sein zu dem Ansatze x = (a + b₁ + c₁) (a₁ + b + c)
= a b + a₁ c₁ + b₁ c. Und — in Illustration zu den vorhergehenden Be-
merkungen — ist R₃' die Resultante zu dem Ansatze x = a + b c₁, so
muss es auch die Resultante sein zu dem x = a + b₁ c, der durch Ver-
tauschung von b und c aus ihm hervorgeht.

Ist R₅ die Resultante zu x = a (b c₁ + b₁ c), so muss es auch die zu
x = a₁ (b c₁ + b₁ c) sein, weil letzteres Gleichungensystem durch Vertauschung
von a, b, c mit a₁, b₁, c₁ in das vorige übergeht. Etc.

Hiernach ist es nur mehr eine kleine Geduldsprobe, die Vollständigkeit
unsrer Resultantentafel nachzuweisen.

Mühsam bleibt aber die Ableitung von 19 der zusammengestellten 44
Resultanten selbst, von welchen 20 direkt abgeleitet werden mussten (was
nur bei dem Ansatze: x = a sich auf den ersten Blick erledigt — und
wobei die ebenso selbstverständlich auf R₇ führenden Fälle nicht ein-
gerechnet sind). Ich habe nach schon erläuterten und auch noch nicht er-
läuterten Methoden das Eliminationsverfahren auf die mannigfaltigste Weise
variirt, dasselbe aber immer als ein mühsam anzuwendendes gefunden; und
wer mir auch nur einen Teil der Resultanten nachrechnet, wird sicherlich
gleich mir den Wunsch nicht unterdrücken können, dass hierbei eine Art
von Denkrechenmaschine die mechanische Arbeit abnehmen möchte! —

Versuchen wir jetzt noch den rückständigen Beweis des sehr plausibeln
Satzes zu leisten, den auch die Erfahrung in den vorstehenden Aufgaben
bestätigte: dass die Resultante R (x, y, z) = 0 der Elimination von a, b, c
aus den drei Gleichungen:
x = φ (a, b, c), y = φ (b, c, a), z = φ (c, a, b)
eine symmetrische Funktion von x, y, z sein müsse, so sollte man meinen,
dieser Beweis müsste a priori gelingen: es müsste gelingen, zu zeigen, dass
wenn man irgend zwei Argumente von R, wie etwa y und z, in den vor-
liegenden Gleichungen vertauscht, die nämliche Resultante herauskommen
wird. Gelänge dies, so wäre in der That der Beweis der Symmetrie von
R erbracht, indem sich durch eventuell wiederholtes Vertauschen („Trans-
position“) von immer nur zweien der Argumente x, y, z bekanntlich jede
erdenkliche Anordnung derselben würde herstellen lassen. Auffallender-
weise ist es nun aber auf keine Weise möglich, die drei Gleichungen:
x = φ (a, b, c), z = φ (b, c, a), y = φ (c, a, b)
durch was immer für Vertauschungen unter den Parametern a, b, c in die
vorigen dreie zu transformiren, wie es der Leser leichtlich nachweisen wird.
Und die Versuche einer Beweisführung auf dem angedeuteten Wege scheinen
fehlzuschlagen, auch wenn man etwa noch in Berücksichtigung zieht, dass
es von vornherein gleichgültig gewesen, in welcher Reihenfolge man die
Argumente der Funktion φ ansetzen mochte. Die Funktion φ (a, b, c) hätte
man ja z. B. auch Φ (a, c, b) nennen können. Allerdings, wenn man b