有限群と共役類と形式化と幾何学 - 2026/8/12の論文13本

arXiv math.GRの新着論文13本をご紹介します。番組ページ: https://prepridondon.nyoho.jp/channels/math-gr/episodes/2026-08-12/Two new functions related to the sum of element orders of a finite groupOn a divisibility condition related to the sum of element orders of a finite groupNormality of Relative Elementary Tranvection GroupsA simple acylindrical recipe for non-split characteristic $2$ sharply $k$-transitive actions and their generalizationsQuasirandomness and Uniform Twin-WidthConjugacy languages in free inverse monoidsA canonical section method for conjugacy classes of GL_n(O_2)Torsion in asymptotic cones of free groupsThe Geometry of Pattern GroupsQuasi-isometries, contractions, and intersection graphsBockstein Spectral Sequences and Applications to the Tame Fontaine Mazur ConjectureFormaTheoria: Constructing Large-Scale Lean Theories from Mathematical Literature $-$ Toward the Formalization of the Classification of Finite Simple GroupsThe $C^*$--ISR Property for $\text{PSL}_n(\mathbb{Z})$