scientific article; zbMATH DE number 1272996
algorithmsblack box groupscentralizers of involutionsgroups of finite Morley ranksimple algebraic groupssimple tame \(K^*\)-groups of odd type
Classification theory, stability, and related concepts in model theory (03C45) Models with special properties (saturated, rigid, etc.) (03C50) Model-theoretic algebra (03C60) Software, source code, etc. for problems pertaining to group theory (20-04) Applications of logic to group theory (20A15) Simple groups (20E32) Linear algebraic groups over arbitrary fields (20G15) Linear algebraic groups over finite fields (20G40) Symbolic computation and algebraic computation (68W30)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4237289)