E-posta veye kullanıcı adı:
Şifre:
Hatırla
Lou van den Dries'in Mathematical Logic notlarında sayfa 26'daki $strong$ $homomorphism$ tanımını tam anlamadım, "onto" bir homomorfizma mıdır bu?
http://math.stackexchange.com/questions/466657/two-definitions-of-strong-homomorphism
deki gibi olabilir mi?
Oradaki tanımı da pek anlamadım hocam. Elimizde iki $L-structure$ var, birinden diğerine giden homomorfizma eğer güçlüyse varış kümesindeki her bağıntı için kalkış kümesinde de bir bağıntı vardır; diye anlıyorum. Bunun bendeki çağrışımı, o homomorfizmanın $onto$ olması. Ama öyle olsa neden $güçlü$ desin ki?
Diğer aleme sordumdu:
http://math.stackexchange.com/questions/1988514/what-is-strong-homomorphism
Meğer hem bağıntıları hem de bağıntısızlkları taşıyınca $güçlü$ oluyor imiş.