0 Daumen
160 Aufrufe

Aufgabe:

Es sei WW := {0, 1} und f^: (WW × WW ) → WW durch diese Tabelle gegeben:

f^01
000
101

Geben Sie alle Homomorphismen von <W W, f^> in sich selbst an.

Problem/Ansatz:

Ich hänge noch daran, wie genau man in diesem Fall vorgeht, um die Abbildungen aus den Angaben zu bekommen, aus denen man später die Homomorphismen bestimmen soll.

Die Abbildungen wären:

- 0 → 0, 1 → 1 ('Identität')

- 0 → 1, 1 → 0 ('Negation')

- 0 → 0, 1 → 0 ('Null')

- 0 → 1, 1 → 1 ('Eins')

Avatar von

1 Antwort

0 Daumen

Sei \(\varphi:\ WW\to WW\).

Die Abbildung \(\varphi\) ist genau dann ein Homomorphismus, wenn gilt:

        \(\begin{aligned} f_{\wedge}(\varphi(0), \varphi(0)) &= \varphi(f_\wedge(0,0))\\ f_{\wedge}(\varphi(0), \varphi(1)) &= \varphi(f_\wedge(0,1))\\ f_{\wedge}(\varphi(1), \varphi(0)) &= \varphi(f_\wedge(1,0))\\ f_{\wedge}(\varphi(1), \varphi(1)) &= \varphi(f_\wedge(1,1)) \end{aligned}\)

Ist \(\varphi\) die Negation, dann ist

        \(f_{\wedge}(\varphi(0), \varphi(1)) = f_\wedge(1,0) = 0\)

aber

        \(\varphi(f_\wedge(0,1)) = \varphi(0) = 1\)

also ist die Negation kein Homomorphismus.

Prüfe entsprechend die Identität, die Null und die Eins.

Avatar von 107 k 🚀

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community