Zum Inhalt springen

Kurs:Einführung in die mathematische Logik (Osnabrück 2021)/Arbeitsblatt 17

Aus Wikiversity



Übungsaufgaben

Bestimme die funktionale Hülle zu einem Element , wobei auf eine Permutation fixiert sei.



Es sei ein Symbolalphabet, das neben Variablen aus einer Konstanten und einem einzigen zweistelligen Funktionssymbol bestehe. Es sei eine endliche Gruppe, wobei als neutrales Element und als die Verknüpfung interpretiert werde. Zeige, dass die funktionale Hülle zu einem Element

mit der von  

erzeugten Untergruppe übereinstimmt.



Erstelle Funktionssymbolstammbäume, die den arithmetischen Ausdrücken

entsprechen.



Definiere die Stelligkeit für ein formal-zusammengesetztes Funktionssymbol.



Es sei ein zweistelliges Funktionssymbol und ein einstelliges Funktionssymbol. Man mache sich klar, dass die Symbolkette in zweifacher Weise als formal-zusammengesetztes Funktionssymbol gelesen werden kann.



Zeige, dass eine funktional abgeschlossene Teilmenge einer - Struktur auch unter jedem formal-zusammengesetzten Funktionssymbol abgeschlossen ist.



Wir betrachten das Symbolalphabet , welches neben Variablen aus besteht, mit der Standardinterpretation auf . Bestimme die funktionale Hülle der einzelnen Elemente . Welche sind untereinander - isomorph, welche nicht?



Es sei ein Symbolalphabet ohne Funktionssymbole und sei eine endliche - Struktur.

  1. Charakterisiere die Automorphismengruppe von mit Hilfe der elementaren Äquivalenzklassen.
  2. Beweise Satz 17.6 in diesem Fall.



Es sei ein Symbolalphabet und sei eine endliche - Struktur mit der Eigenschaft, dass alle elementaren Äquivalenzklassen einelementig seien. Beweise Satz 17.6 in diesem Fall.



Definiere einen Isomorphismus auf zur Permutation

anhand von Satz 17.6, wobei im ersten Schritt auf abgebildet werden soll.



Es sei , aufgefasst als Gruppe. Definiere entlang von Satz 17.6 einen Isomorphismus

startend mit und weiter mit , wobei die funktionale Hülle von und sei, und als gewählt wird, etc. Welche Wahlmöglichkeiten hat man für mit ?



Es sei . Zeige, dass die Automorphismengruppen der -Strukturen und jeweils trivial sind.



Es sei die Symbolmenge eines Körpers. Zeige, dass es einen Unterkörper derart gibt, dass nicht trivial ist.



Es sei die Symbolmenge eines angeordneten Körpers. Zeige, dass für jeden Unterkörper die Automorphismengruppe trivial ist.



Es sei die Symbolmenge eines angeordneten Körpers. Zeige, dass es einen angeordneten Körper derart gibt, dass nicht trivial ist.



Es sei

das Symbolalphabet für einen angeordneten Körper und es sei die - Struktur mit der Standardinterpretation.

  1. Zeige, dass die Äquivalenzklassen zur elementaren Äquivalenz einelementig sind.
  2. Zeige, dass es für die Elemente im Allgemeinen keinen charakterisierenden Ausdruck gibt.



Wir betrachten die beiden folgenden Punktkonfigurationen im ,

Zeige, dass es keine lineare Abbildung

gibt, die in überführt. Widerspricht dies Satz 17.6?



Es sei ein erststufiges Symbolalphabet, eine - Struktur und eine Teilmenge. Zeige, dass die (rekursiv definierte) funktionale Hülle von gleich dem Durchschnitt über alle funktional abgeschlossenen Teilmengen ist, die umfassen.


In der Mathematik interessiert man sich nicht nur für die von einer Teilmenge einer Struktur erzeugte funktionale Hülle, sondern auch für Unterstrukturen, in denen zusätzlich noch die gleichen Gesetzmäßigkeiten (ausgedrückt durch ein Axiomensystem ) wie in der Struktur gelten, beispielsweise die von einer Teilmenge erzeugten Untergruppen, Unterringe, Unterkörper, Untervektorräume. Diese von einer Teilmenge erzeugten -Strukturen kann man oft, wenn es sie überhaupt gibt, als Durchschnitt über alle -Unterstrukturen erhalten, die die Teilmenge umfassen.


Wir betrachten die Gruppe . Bestimme die funktionale Hülle von (hier spricht man vom erzeugten Untermonoid) und die von erzeugte Untergruppe.



Das Symbolalphabet bestehe neben Variablen aus einem einstelligen Funktionssymbol und es sei mit . Es sei , wobei als interpretiert wird mit der einzigen Ausnahme

a) Zeige, dass von erfüllt wird.

b) Bestimme die funktionale Hülle von .

c) Zeige, dass die funktionale Hülle von nicht erfüllt.

d) Man gebe zwei funktional abgeschlossene, -erfüllende und enthaltende Teilmengen an, deren Durchschnitt nicht erfüllt.


Zu einer -Struktur und einer -Unterstruktur versteht man unter der relativen -Automorphismengruppe von bezüglich die Menge der - Automorphismen auf , die die Elemente aus in sich überführen. Sie wird mit bezeichnet.


Es sei ein Symbolalphabet, eine - Struktur und eine - Unterstruktur. Zeige, dass die relative Automorphismengruppe eine Untergruppe der Automorphismengruppe ist.



Interpretiere die Galoisgruppe zu einer Körpererweiterung als eine relative Automorphismengruppe zu einem geeigneten Symbolalphabet. Welche Rolle spielen dabei die Körperaxiome?



Es sei ein Symbolalphabet, eine - Struktur und eine - Unterstruktur. Zeige, dass man durch eine Symbolmengenerweiterung , wobei nur Konstanten hinzugenommen werden, erreichen kann, dass die relative Automorphismengruppe der - Automorphismengruppe entspricht (dazu muss insbesondere auf und interpretiert werden).


Wir erinnern an die Definition eines algebraisch abgeschlossenen Körpers. Die komplexen Zahlen sind algebraisch abgeschlossen (Fundamentalsatz der Algebra), die reellen Zahlen nicht.


Ein Körper heißt algebraisch abgeschlossen, wenn jedes nichtkonstante Polynom eine Nullstelle in besitzt.



Definiere über der Symbolmenge einen algebraisch abgeschlossenen Körper mit Hilfe eines Axiomenschemas.




Aufgaben zum Abgeben

Aufgabe (3 Punkte)

Es sei ein Symbolmenge und eine endliche - Struktur. Zeige, dass zwei Elemente genau dann elementar äquivalent sind, wenn es einen - Automorphismus

mit gibt.



Aufgabe (4 Punkte)

Wir betrachten die Gruppe . Zeige, dass es in zueinander isomorphe Untergruppen derart gibt, dass man einen Isomorphismus nicht zu einem Automorphismus auf fortsetzen kann. Sind diese Untergruppen elementar unterscheidbar?



Verwende, dass Polynomfunktionen auf einem angeordneten Körper stetig sind.


Aufgabe (4 Punkte)

Es sei das Symbolalphabet, das neben Variablen aus einem zweistelligen Relationssymbol besteht. Wir betrachten vierelementige - Strukturen, die erfüllen (also WM-Fußballgruppen, wobei als gewinnt gegen interpretiert wird). Erstelle Aussagen in einer freien Variablen derart, dass

bedeutet, dass in der Abschlusstabelle Punkte hat.



Aufgabe (3 Punkte)

Man gebe ein Beispiel für zwei (abstrakte) WM-Fußballgruppen, die die gleiche Abschlusspunktetabelle besitzen, aber nicht isomorph sind.



<< | Kurs:Einführung in die mathematische Logik (Osnabrück 2021) | >>

PDF-Version dieses Arbeitsblattes

Zur Vorlesung (PDF)