Семинар “Алгебра и логика”

На 10 ноември 2023 г. (петък) от 13:00 часа ще се проведе хибридно заседание (присъствено в зала 578 на ИМИ-БАН и онлайн чрез платформата zoom) на семинара по „Алгебра и логика”. Доклад на тема: Transfinite version of the Mittag-Leffler condition for the vanishing of the derived limit ще изнесе Mishel Carelli (Technion – Israel Institute of Technology, Israel). Абстракт. We give a necessary and sufficient condition for an inverse sequence  S0 ← S1 ← . . . indexed by natural numbers to have lim¹S = 0. This condition can be treated as a transfinite version of the Mittag-Leffler condition. We consider inverse sequences in the category of abelian groups. We also show that the class of inverse sequences S such that lim S = lim¹S = [...]

2023-11-06T12:11:08+02:00понеделник, 6 ноември 2023|Categories: |Tags: |

Семинар “Алгебра и логика”

На 3 ноември 2023 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: A Reduction of Temporary Coalitions in Infinite Multiplayer Games ще изнесе Димитър Гелев. Абстракт. We propose a transformation of Concurrent Game Models which enables the reduction of infinite multiplayer games where players can form temporary coalitions to games with no coalitions by extending moves to include the negotiation steps that lead to the formation of coalitions. We adopt conditional promises as the building blocks of negotiation. Temporary coalitions and their agendas arise as the logical consequences of mutual promises. The transformation enables the use of established solution concepts about games with no coalitions for the analysis of games with temporary coalitions. [...]

2023-10-26T19:14:27+03:00четвъртък, 26 октомври 2023|Categories: |Tags: |

Семинар “Алгебра и логика”

На 20 октомври 2023 г. (петък) от 13:00 часа ще се проведе хибридно (присъствено в зала 578 на ИМИ-БАН и онлайн чрез платформата zoom) заседание на семинара по „Алгебра и логика”. Доклад на тема: Prime numbers and random walks in a square grid ще изнесе Alberto Fraile (Czech Technical University in Prague, Czech Republic). Съвместна работа с Osame Kinouchi, Prashant Dwivedi, Roberto Martínez, Theophanes E. Raptis и Daniel Fernández Абстракт. One can argue that prime numbers present perplexing features, in a hybrid of local unpredictability and global regular behavior. It is this interplay between randomness and regularity that motivated searches for both local and global patterns that could potentially become signatures for certain underlying fundamental mathematical properties.In recent years, computer simulations are playing a fundamental [...]

2023-10-16T09:47:35+03:00понеделник, 16 октомври 2023|Categories: |Tags: |

Семинар “Алгебра и логика”

На 13 октомври 2023 г. (петък) от 13:00 часа ще се проведе хибридно (присъствено в зала 578 на ИМИ-БАН и онлайн чрез платформата zoom) заседание на семинара по „Алгебра и логика”. Доклад на тема: Emmy Noether’s Theorem on the Finite Generation of the Algebra of Invariants ще изнесе Марин Генов (ИМИ - БАН). Абстракт. I will introduce Emmy Noether’s theorem on the finite generation of invariants and give two proofs of it. As an example, I will also calculate the algebra of invariants of the dihedral group of order 2n acting on C[x,y]. Линк към Zoom-стаята на семинара: https://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09 От секция „Алгебра и логика” на ИМИ – БАН http://www.math.bas.bg/algebra/seminarAiL/ ============================== =====================

2023-10-06T16:21:50+03:00петък, 6 октомври 2023|Categories: |Tags: |

Семинар “Алгебра и логика”

На 29 септември 2023 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Reset Controller Synthesis ще изнесе Naijun Zhan (Institute of Software Chinese Academy of Sciences (ISCAS), China). Абстракт. Controller synthesis provides a Correct-by-construction mechanism to guarantee the correctness and reliability of hybrid systems (HS) by design. Depending on the types of controls, controllers can be classified into reset controllers, feedback controllers, and switching logic controllers. Reset controllers steer the behaviour of a HS to attain system objective through restricting its initial set and redefining the reset map associated with discrete jumps, which is less explored in the literature, although it is of theoretical and practical significance. In this talk, I will summarize our [...]

2023-09-25T17:54:59+03:00понеделник, 25 септември 2023|Categories: |Tags: |

Съвместно заседание на общия семинар на секция „Анализ, геометрия и топология“ и семинара на секция „Алгебра и логика”

На 26 септември 2023 г. от 14:00 часа в зала 478 на ИМИ-БАН ще се проведе съвместно заседание на общия семинар на секция „Анализ, геометрия и топология“ и семинара на секция „Алгебра и логика”. Доклад на тема Burau Representation and Application to Reducibility and Exchangeability of Braids ще изнесе Alexander Stоimenov, Dongguk University, Republic of Korea. Абстракт. I will give an introduction to the braid groups, closure operation, Markov theorem, and exchange move. Then I will introduce the Burau representation, and discuss its application to reducibiliy and exchangeability of braids.

Семинар “Алгебра и логика”

На 23 юни 2023 г. (петък) от 13:00 часа в зала 578 на ИМИ - БАН ще се проведе присъствено заседание на семинара по „Алгебра и логика”. Доклад на тема: Distinctness of the “Lifted” Kloosterman Sums over the Prime Field Fp ще изнесе Любомир Борисов. Абстракт   От секция „Алгебра и логика” на ИМИ – БАН http://www.math.bas.bg/algebra/seminarAiL/ ============================== =====================

Семинар “Алгебра и логика”

На 16 юни 2023 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Polynomial identities in Novikov algebras ще изнесе Nurlan Ismailov (Astana IT University and Suleyman Demirel University, Kaskelen, Kazakhstan) (Joint work with V. Dotsenko and U. Umirbaev). Абстракт.The talk is devoted to Novikov algebras satisfying nontrivial identities. We show that a Novikov algebra over a field of zero characteristic that satisfies a nontrivial identity satisfies some unexpected “universal” identities, in particular, right associator nilpotence, and right nilpotence of the commutator ideal. This, in particular, implies that a Novikov algebra over a field of zero characteristic satisfies a nontrivial identity if and only if it is Lie-solvable. We also establish that any system [...]

2023-06-12T12:59:45+03:00понеделник, 12 юни 2023|Categories: |Tags: |

Семинар “Алгебра и логика”

На 9 юни 2023 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Old and new aspects of the Poincaré-Birkhoff-Witt theorem ще изнесе Vladimir Dotsenko (Institute for Advanced Mathematical Research (IRMA), University of Strasbourg and CNRS, France). Абстракт. The Poincaré-Birkhoff-Witt theorem on universal enveloping algebras of Lie algebras is a fundamental result in many areas of mathematics: from differential geometry and representation theory to homological algebra and deformation quantization. I shall give a short overview of that result and some of its proofs that emerged in about 120 years since Poincaré published a paper about it, and outline a new proof which perhaps captures its category-theoretic essence in the best way possible. The talk [...]

Семинар “Алгебра и логика” – встъпителна лекция на проф. Й. Копиц

На 5 май 2023 г. (петък) от 13:00 часа ще се проведе встъпителна академична лекция на проф. Йорг Копиц на тема: Algebraic Properties of Transformation Semigroups Абстракт. Each semigroup is isomorphic to a semigroup of transformations on a suitable set (Cayley Theorem for semigroups). If we know generating sets of minimal size (rank) of a finitely generating semigroup then we have important information about the algebraic structure of the semigroup itself. For not finitely generated semigroups, we consider relative generating sets of minimal size modulo a given subset of the semigroup (relative rank). We determine the (relative) rank of several semigroups of transformations. These semigroups were already considered by other authors. By the study of congruences on a semigroup, we obtain further important information about [...]

Go to Top