A class C of structures is said to be group universal if every group is the full automorphism group of some structure in C. In the present paper it is shown that each of the following classes is group universal: affine planes, projective planes, (m,n)-planes, (k,n)-Steiner systems, LP-spaces, covering geometries, commutative loops, quasigroups, commutative division algebras over fields and other related classes. In the proof the authors first select for a given group G a graph D with G=Aut(D). Then to each node and each edge of D a rigid structure is attached. Using free constructions, all these structures are amalgamated to a structure in C whose automorphism group is G. The proof uses geometric techniques as well as model-theoretic machinery.

Gruppenuniversalität und Homogenisierbarkeit

FUNK, Martin;
1985

Abstract

A class C of structures is said to be group universal if every group is the full automorphism group of some structure in C. In the present paper it is shown that each of the following classes is group universal: affine planes, projective planes, (m,n)-planes, (k,n)-Steiner systems, LP-spaces, covering geometries, commutative loops, quasigroups, commutative division algebras over fields and other related classes. In the proof the authors first select for a given group G a graph D with G=Aut(D). Then to each node and each edge of D a rigid structure is attached. Using free constructions, all these structures are amalgamated to a structure in C whose automorphism group is G. The proof uses geometric techniques as well as model-theoretic machinery.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11563/426
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact