Axiomatization of abelian-by-G groups for a finite group G |
| |
| Authors: | Francis Oger |
| |
| Affiliation: | (1) Equipe de Logique Mathématique, Université Paris VII – CNRS, 2 place Jussieu, Case 7012, 75251 Paris Cédex 05, France. e-mail: oger@logique.jussieu.fr, FR |
| |
| Abstract: | We show that, for each finite group G, there exists an axiomatization of the class of abelian-by-G groups with a single sentence. In the proof, we use the definability of the subgroups M n in an abelian-by-finite group M, and the Auslander-Reiten sequences for modules over an Artin algebra. Received: 15 March 1996 / Published online: 18 July 2001 |
| |
| Keywords: | Mathematics Subject Classification (2000): 20A05 (03C60 16G70 20F22) |
| 本文献已被 SpringerLink 等数据库收录！ |
|
