𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Finitely Determined Members of Varieties of Groups and Rings

✍ Scribed by Oleg Belegradek

Publisher
Elsevier Science
Year
2000
Tongue
English
Weight
138 KB
Volume
228
Category
Article
ISSN
0021-8693

No coin nor oath required. For personal study only.

✦ Synopsis

A finitely generated algebra A in a variety V V is called finitely determined in V V if there exists a finite V V-consistent set of equalities and inequalities in an alphabet containing the generating set of A, which, together with the identities of V V , yields all relations and non-relations of A. Obviously, if the equational theory of V V is recursively enumerable then any finitely determined algebra in V V has solvable word problem. The known algebraic characterizations of groups and semigroups with solvable word problem imply that in the varieties of all groups and all semigroups the members with solvable word problem are finitely determined. We construct a finitely generated center-by-metabelian group with solvable word problem, which is not finitely determined in every group variety V V with Z α‘› 2 : V V : α‘› 3 . We show that every extension of a finitely generated abelian group by a finite group from a variety W W is finitely determined in every variety V V = Z α‘› 2 W W . However, in any abelian-by-nilpotent variety no infinite group is finitely determined; moreover, in every variety, in which all finitely presented algebras are residually finite, each finitely determined algebra is finite. In the variety of all associative linear algebras over a finitely generated field every member with solvable word problem is finitely determined. We construct an example, which shows that for the variety of all associative rings it is not true; however, in this variety each torsion-free member with solvable word problem is finitely determined.

πŸ“œ SIMILAR VOLUMES

On the Cohomology of Galois Groups Deter
On the Cohomology of Galois Groups Determined by Witt Rings
✍ Alejandro Adem; Dikran B Karagueuzian; JΓ‘n MinÑč πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 494 KB

Let F denote a field of characteristic different from two. In this paper we describe the mod 2 cohomology of a Galois group G F (called the W-group of F) which is known to essentially characterize the Witt ring WF of anisotropic quadratic modules over F. We show that H\*(G F , F 2 ) contains the mod

Group Structures of Elementary Supersing
Group Structures of Elementary Supersingular Abelian Varieties over Finite Fields
✍ Hui June Zhu πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 176 KB

Let A be a supersingular abelian variety over a finite field k which is k-isogenous to a power of a simple abelian variety over k. Write the characteristic polynomial of the Frobenius endomorphism of A relative to k as f = g e for a monic irreducible polynomial g and a positive integer e. We show th

Stable Finiteness of Group Rings in Arbi
Stable Finiteness of Group Rings in Arbitrary Characteristic
✍ Pere Ara; Kevin C. O'Meara; Francesc Perera πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 168 KB

We show that every (discrete) group ring DΒ½G of a free-by-amenable group G over a division ring D of arbitrary characteristic is stably finite, in the sense that one-sided inverses in all matrix rings over DΒ½G are two-sided. Our methods use Sylvester rank functions and the translation ring of an ame

Picard Groups, Grothendieck Rings, and B
Picard Groups, Grothendieck Rings, and Burnside Rings of Categories
✍ J.P. May πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 138 KB

for spurring me to write these observations, and I thank Halvard Fausk and Gaunce Lewis for careful readings of several drafts and many helpful comments. I thank Madhav Nori and Hyman Bass for help with the ring theory examples and Peter Freyd, Michael Boardman, and Neil Strickland for facts about c