报告题目：On pronomality of X-submaximal subgroups of finite groups
报告人：李保军 南通大学
报告时间：2025年3月5日 上午8:20-9:00
报告地点：教二327会议室
主办单位：5822yh银河国际5822yh银河国际
邀请人：邵长国 蒋琴会
报告内容：Using R. Wilson’s recent results, we prove the existence of triples (X, G, H) such that X is a complete (i.e., closed under taking subgroups, homomorphic images, and extensions) class of finite groups, G is a finite simple group, and H is its X-maximal subgroup nonpronormal in G. This disproves a conjecture stated earlier by D. Revin and W. Guo.
报告人简介：李保军，南通大学教授，博士生导师，2008年毕业于中国科学技术大学并获博士学位。四川省数学会原理事，四川省学术与技术带头人后备人选，江苏省双创博士。主要从事群论研究，在群的类理论和结构理论研究中先后解决了同行专家提出的多个公开问题，在《中国科学》、《Journal of Algebra》等国内外知名期刊发表学术论文40余篇。
报告题目：Higher-order rewriting systems, categorial algebras and Curry-Howard isomorphisms
报告人：Enric Cosme Llópez University of Valencia and Nantong University
报告时间：2025年3月5日 上午 9:00-9:40
报告地点：教二327会议室
主办单位：5822yh银河国际5822yh银河国际
邀请人：蒋琴会 邵长国
报告内容：This presentation explores the Curry-Howard correspondence, which links mathematical proofs to computer programs. The author discusses formal derivation systems based on rewriting rules, where paths between terms represent simplified proofs, forming a category with algebraic structures. The work extends to second-order rewriting systems, introducing second-order paths and a corresponding second-order Curry-Howard isomorphism. It is based on the preprint J. Climent Vidal and E. Cosme Llópez. From higher-order rewriting systems to higher-order categorial algebras and higher-order Curry-Howard isomorphisms ArXiv https://arxiv.org/abs/2402.12051.
报告人简介：Enric Cosme Llópez holds a degree in Mathematics from the University of Valencia, a Master's in Pure and Applied Logic from the University of Barcelona and the Polytechnic University of Catalonia, and a Ph.D. in Mathematics from the University of Valencia. His doctoral thesis, titled “Some contributions to the algebraic theory of automata”, was supervised by Professors Adolfo Ballester Bolinches and Jean-Éric Pin. Currently, he is an associate professor at the University of Valencia and a Jiangsu specially-appointed professor at Nantong University for the next three years. His research focuses on the algebraic study of automata theory and formal languages, which are fundamental to computer science. He employs universal algebra, many-sorted algebra, and category theory as key tools in his work. In this talk, he will provide an introduction to his recent research on rewriting systems.
报告题目：The norm and size of the lower central series in a finte group
报告人：龚律 南通大学
报告时间：2025年3月5日 上午9:40-10:20
报告地点：教二327会议室
主办单位：5822yh银河国际5822yh银河国际
邀请人：邵长国 蒋琴会
报告内容：The norm of the lower central series in a finite group is introduced, which unifies the norm of derived subgroups and nilpotent residuals. Some further propositions on the norm of the lower central series are obtained, and some related subgroups as well as their equivalent propositions can also be found. We give a new size of index of center in group. Let G^c be the class 2 residual of a finite group G. In this paper it is proved that |G:Z(G)|<|G^{c}|^2 if is a finite non-abelian group with \Phi(G) = 1.
报告人简介：龚律，男，南通大学数学系主任兼党支部书记，硕士生导师，博士。1984年10月出生，江苏常熟人。主要研究方向：有限群论。参与国家自然科学基金面上项目1项，主持完成国家自然科学基金2项。在国内外发表学术论文40余篇，被SCI 检索30多篇，出版教材1部。
