Vom Duplikat:
Titel: T(Σ). Freie Termalgebra. A Algebra Signatur Σ. Zeige, es gibt eind. best. Homomorphismus h:T(Σ)→A.
Stichworte: algebra,signatur,homomorphismus,freien,termalgebra
Sei A eine Algebra zur Signtur Σ. Zeigen Sie, dass es einen eindeutig bestimmten Homomorphismus
h: T(Σ) → A von der freien Termalgebra nach A gibt.
Hinweis: Sie dürfen ohne Beweis benutzen, dass es für jedes t ∈ T(Σ) ein eindeutiges f ∈ Σfunc und
t1
, . . . , tn ∈ T(Σ) gibt, sodass t = f (t1
, . . . , tn
).