Table of Contents
Fetching ...

A note on co-Hopfian groups and rings

Anthony M. Gaglione, Dennis Spellman

Abstract

Let $p$ and $n$ be positive integers. Assume additionally that $p\neq 3$ is a prime and that $n>2$. Let $R$ be a field of characteristic $p$. A very special consequence of a result of Bunina and Kunyavskii (2023, arXiv:2308.10076) is that $SL_{n}(R)$ is co-Hopfian as a group if and only if $R$ is co-Hopfian as a ring. In this paper, we prove that if $k$ is the algebraic closure of the $2$ element field, then $SL_{2}(k)$ is a co-Hopfian group. Since this $k$ is trivially seen to be co-Hopfian as a ring our result somewhat extends that of Bunina and Kunyavskii. We apply our result to prove that the class of groups satisfying Turner's Retract Theorem (called Turner groups here) is not closed under elementary equivalence thereby answering a question posed by the authors in (2017, Comm. Algebra).

A note on co-Hopfian groups and rings

Abstract

Let and be positive integers. Assume additionally that is a prime and that . Let be a field of characteristic . A very special consequence of a result of Bunina and Kunyavskii (2023, arXiv:2308.10076) is that is co-Hopfian as a group if and only if is co-Hopfian as a ring. In this paper, we prove that if is the algebraic closure of the element field, then is a co-Hopfian group. Since this is trivially seen to be co-Hopfian as a ring our result somewhat extends that of Bunina and Kunyavskii. We apply our result to prove that the class of groups satisfying Turner's Retract Theorem (called Turner groups here) is not closed under elementary equivalence thereby answering a question posed by the authors in (2017, Comm. Algebra).

Paper Structure

This paper contains 3 sections, 20 theorems, 21 equations, 1 figure.

Key Result

Proposition 1.1

With the conventions and notation above and with the hypotheses that for $\Phi =A_{2},B_{l},C_{l}.\mathbb{F}_{4}$, $2$ is a unit in $R$ and for $\Phi =G_{2}$, $3$ is a unit in $R$, it is the case that $G(\Phi ,R)$ is co-Hopfian as a group if and only if $R$ is co-Hopfian as a ring.

Theorems & Definitions (38)

  • Proposition 1.1: BK
  • Remark 2.2
  • Definition 2.3
  • Proposition 2.4: H
  • Remark 2.5
  • Theorem 2.6: W
  • Corollary 2.7
  • Proposition 2.8
  • proof
  • Corollary 2.9
  • ...and 28 more