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
_version_ 1782378837230747648
author Fine, Benjamin
Gaglione, Anthony
Lipschutz, Seymour
Spellman, Dennis
author_facet Fine, Benjamin
Gaglione, Anthony
Lipschutz, Seymour
Spellman, Dennis
author_sort Fine, Benjamin
collection PubMed
description 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.
format Online
Article
Text
id pubmed-4485932
institution National Center for Biotechnology Information
language English
publishDate 2015
publisher Hindawi Publishing Corporation
record_format MEDLINE/PubMed
spelling pubmed-44859322015-07-13 Discrimination in a General Algebraic Setting Fine, Benjamin Gaglione, Anthony Lipschutz, Seymour Spellman, Dennis ScientificWorldJournal Research Article 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. Hindawi Publishing Corporation 2015 2015-06-01 /pmc/articles/PMC4485932/ /pubmed/26171421 http://dx.doi.org/10.1155/2015/824268 Text en Copyright © 2015 Benjamin Fine et al. https://creativecommons.org/licenses/by/3.0/ This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
spellingShingle Research Article
Fine, Benjamin
Gaglione, Anthony
Lipschutz, Seymour
Spellman, Dennis
Discrimination in a General Algebraic Setting
title Discrimination in a General Algebraic Setting
title_full Discrimination in a General Algebraic Setting
title_fullStr Discrimination in a General Algebraic Setting
title_full_unstemmed Discrimination in a General Algebraic Setting
title_short Discrimination in a General Algebraic Setting
title_sort discrimination in a general algebraic setting
topic Research Article
url 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
work_keys_str_mv AT finebenjamin discriminationinageneralalgebraicsetting
AT gaglioneanthony discriminationinageneralalgebraicsetting
AT lipschutzseymour discriminationinageneralalgebraicsetting
AT spellmandennis discriminationinageneralalgebraicsetting