000			03219nam a22004935i 4500
001			978-0-387-30806-7
003			DE-He213
005			20250710083947.0
007			cr nn 008mamaa
008			100301s2006 xxu| s |||| 0|eng d
020			_a9780387308067 _a99780387308067
024	7		_a10.1007/0-387-30806-7 _2doi
082	0	4	_a512 _223
100	1		_aKoppitz, J. _eauthor.
245	1	0	_aM-Solid Varieties of Algebras _h[recurso electrónico] / _cby J. Koppitz, K. Denecke.
264		1	_aBoston, MA : _bSpringer US, _c2006.
300			_aXIII, 341 p. _bonline resource.
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_arecurso en línea _bcr _2rdacarrier
347			_atext file _bPDF _2rda
490	1		_aAdvances in Mathematics ; _v10
505	0		_aBasic Concepts -- Closure Operators and Lattices -- M-Hyperidentities and M-solid Varieties -- Hyperidentities and Clone Identities -- Solid Varieties of Arbitrary Type -- Monoids of Hypersubstitutions -- M-Solid Varieties of Semigroups -- M-solid Varieties of Semirings.
520			_aM-Solid Varieties of Algebras provides a complete and systematic introduction to the fundamentals of the hyperequational theory of universal algebra, offering the newest results on M-solid varieties of semirings and semigroups. The book aims to develop the theory of M-solid varieties as a system of mathematical discourse that is applicable in several concrete situations. It applies the general theory to two classes of algebraic structures, semigroups and semirings. Both these varieties and their subvarieties play an important role in computer science. A unique feature of this book is the use of Galois connections to integrate different topics. Galois connections form the abstract framework not only for classical and modern Galois theory, involving groups, fields and rings, but also for many other algebraic, topological, ordertheoretical, categorical and logical theories. This concept is used throughout the whole book, along with the related topics of closure operators, complete lattices, Galois closed subrelations and conjugate pairs of completely additive closure operators. Audience This book is intended for researchers in the fields of universal algebra, semigroups, and semirings; researchers in theoretical computer science; and students and lecturers in these fields.
650		0	_aMATHEMATICS.
650		0	_aCOMPUTER SCIENCE.
650		0	_aALGEBRA.
650		0	_aGROUP THEORY.
650	1	4	_aMATHEMATICS.
650	2	4	_aGENERAL ALGEBRAIC SYSTEMS.
650	2	4	_aGROUP THEORY AND GENERALIZATIONS.
650	2	4	_aORDER, LATTICES, ORDERED ALGEBRAIC STRUCTURES.
650	2	4	_aPROGRAMMING LANGUAGES, COMPILERS, INTERPRETERS.
650	2	4	_aMATHEMATICAL LOGIC AND FORMAL LANGUAGES.
700	1		_aDenecke, K. _eauthor.
710	2		_aSpringerLink (Online service)
773	0		_tSpringer eBooks
776	0	8	_iPrinted edition: _z9780387308043
830		0	_aAdvances in Mathematics ; _v10
856	4	0	_uhttp://dx.doi.org/10.1007/0-387-30806-7 _zVer el texto completo en las instalaciones del CICY
912			_aZDB-2-SMA
942			_2ddc _cER
999			_c57082 _d57082