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

На 1 декември 2023 г. (петък) от 13:00 часа ще се проведе хибридно заседание (присъствено в зала 578 на ИМИ-БАН и онлайн чрез платформата zoom) на семинара по „Алгебра и логика”. Доклад на тема: Characterization of Ideals of Q-algebras Related to its G-part ще изнесе доц. Йорг Копиц, ИМИ - БАН. Абстракт. In this presentation, we study the G -part of Q -algebras X , i.e. the set G(X)=\{x\in X:0x=x\} . We show that G(X) is an abelian group, whenever G(X) is an ideal and characterize all Q -algebras X such that G(X) is an ideal of X . Moreover, we show that, up to isomorphism, there is only one Q -algebra X with G(X)=X , which is only [...]

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

На 24 ноември 2023 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”, на който ще бъдат изнесени два доклада. От 13:00 ч. Димитринка Владева (ИМИ-БАН) ще изнесе доклад на тема Catalan numbers and additively idempotent semirings От 14:00 ч. Русанка Луканова (ИМИ-БАН) ще изнесе доклад на тема Semantics of Propositional Attitudes in Type-Theory of Algorithms   Заглавие: Catalan numbers and additively idempotent semirings Абстракт. The purpose of the present talk is to provide new applications of remarkable Catalan numbers. In Richard Stanley’s book Enumerative Combinatorics, Volume II (Cambridge University Press) there are many combinatorial objects that are counted by the Catalan numbers as well as applications in graph theory, Young diagrams, lattice theory, real matrices, real polynomials and so on. [...]

2023-11-21T10:34:51+02:00понеделник, 20 ноември 2023|Categories: |Tags: |

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

На 17 ноември 2023 г. (петък) от 13:00 часа ще се проведе хибридно заседание (присъствено в зала 578 на ИМИ-БАН и онлайн чрез платформата zoom) на семинара по „Алгебра и логика”. Доклад на тема: Noncommutative invariants of dihedral groups ще изнесе Боян Костадинов, ИМИ - БАН. Абстракт. We consider the 2-generated free metabelian associative and Lie algebras over the complex field and the invariants of the dihedral groups of finite order acting on these algebras. In the associative case we find a finite set of generators of the algebra of invariants. In the Lie case, when the algebra of invariants is not finitely generated, we give a minimal system of generators of the invariants in the commutator ideal as a module of the algebra [...]

2023-11-14T20:28:03+02:00вторник, 14 ноември 2023|Categories: |Tags: |

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

На 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/ ============================== =====================

Go to Top