✦ LIBER ✦

A non-Abelian variety of groups has an undecidable elementary theory

✍ Scribed by A. P. Zamyatin

Publisher: Springer US
Year: 1978
Tongue: English
Weight: 408 KB
Volume: 17
Category: Article
ISSN: 0002-5232
DOI: 10.1007/bf01670119

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Undecidability of the theory of Abelian

Undecidability of the theory of Abelian groups with an automorphism

✍ V. I. Mart'yanov 📂 Article 📅 1978 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 249 KB

An Elementary Abelian Group of Rank 4 Is

An Elementary Abelian Group of Rank 4 Is a CI-Group

✍ M. Hirasaka; M. Muzychuk 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 212 KB

In this paper we prove that Z 4 p is a CI-group; i.e., two Cayley graphs over the elementary abelian group Z 4 p are isomorphic if and only if their connecting sets are conjugate by an automorphism of the group Z 4 p .

The Elementary Theory of Torsionfree Abe

The Elementary Theory of Torsionfree Abelian Groups With a Predicate Specifying a Subgroup

✍ Peter H. Schmitt 📂 Article 📅 1982 🏛 John Wiley and Sons 🌐 English ⚖ 367 KB 👁 1 views

This is proved by induction on 7n. For ni = 0 (\*) follows immediately from the definitions. Now take a E C,:,,, for m > 0. There is c E B,,,, such t'hat ac E pCp,n,-l + + C,,;f,l+l. There is thus a' E Cl~.flr-l with a E c + pa' + Cl,.,,f+l. By induction hypothesis a' E 6' + C,.,,, for some b' E @ B

Elementary theory of abelian groups with

Elementary theory of abelian groups without torsion, with a predicate selecting a subgroup

✍ G. T. Kozlov; A. I. Kokorin 📂 Article 📅 1969 🏛 Springer US 🌐 English ⚖ 564 KB

A simple proof of the hereditary undecid

A simple proof of the hereditary undecidability of the theory of lattice-ordered abelian groups

✍ Stanley Burris 📂 Article 📅 1985 🏛 Springer 🌐 English ⚖ 90 KB

Numbers of Generators of Ideals in a Gro

Numbers of Generators of Ideals in a Group Ring of an Elementary Abelian p-Group

✍ James S. Okon; David E. Rush; J.Paul Vicknair 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 174 KB

Let µ I denote the minimal number of generators of an ideal I of a local ring R M . The Dilworth number d R = max µ I I an ideal of R and Sperner number sp R = max µ M i i ≥ 0 are determined in the case that R = A G , where G = Z/pZ k is an elementary abelian p-group, A zA is a principal local ring