Cargando…

Discrimination in a General Algebraic Setting

Discriminating groups were introduced by G. Baumslag, A. Myasnikov, and V. Remeslennikov as an outgrowth of their theory of algebraic geometry over groups. Algebraic geometry over groups became the main method of attack on the solution of the celebrated Tarski conjectures. In this paper we explore t...

Descripción completa

Detalles Bibliográficos
Autores principales: Fine, Benjamin, Gaglione, Anthony, Lipschutz, Seymour, Spellman, Dennis
Formato: Online Artículo Texto
Lenguaje:English
Publicado: Hindawi Publishing Corporation 2015
Materias:
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4485932/
https://www.ncbi.nlm.nih.gov/pubmed/26171421
http://dx.doi.org/10.1155/2015/824268
Descripción
Sumario:Discriminating groups were introduced by G. Baumslag, A. Myasnikov, and V. Remeslennikov as an outgrowth of their theory of algebraic geometry over groups. Algebraic geometry over groups became the main method of attack on the solution of the celebrated Tarski conjectures. In this paper we explore the notion of discrimination in a general universal algebra context. As an application we provide a different proof of a theorem of Malcev on axiomatic classes of Ω-algebras.