თავისუფალი და პროექციული LinGL2-ალგებრები

ავტორი: ტატიანა კისელიოვა
თანაავტორები: რევაზ გრიგოლია
საკვანძო სიტყვები: თავისუფალი ალგებრა, პროექციული ალგებრა, დამტკიცებადობის ლოგიკა
ანოტაცია:

აღწერილია m-წარმომქმნელიანი თავისუფალი LinGL 2-ალგებრა LinGL2 მრავალსახეობაში, რომელიც შეესაბამება ბი-მოდალურ დამტკიცებადობის ლოგიკას LinGL2 . დახასიათებულია m-წარმომქმნელიანი პროექციული LinGL 2-ალგებრები. ნაჩვენებია, რომ m-წარმომქმნელიანი თავისუფალი LinGL 2-ალგებრის ნებისმიერი LinGL 2-ქვეალგებრა პროექციულია.

მიმაგრებული ფაილები:

Free and projective LinGL2-algebras [en]
თავისუფალი და პროექციული LinGL 2-ალგებრები [ka]