We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.GR

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Group Theory

Title: The Axiomatics of Free Group Rings

Abstract: In [FGRS1,FGRS2] the relationship between the universal and elementary theory of a group ring $R[G]$ and the corresponding universal and elementary theory of the associated group $G$ and ring $R$ was examined. Here we assume that $R$ is a commutative ring with identity $1 \ne 0$. Of course, these are relative to an appropriate logical language $L_0,L_1,L_2$ for groups, rings and group rings respectively. Axiom systems for these were provided in [FGRS1]. In [FGRS1] it was proved that if $R[G]$ is elementarily equivalent to $S[H]$ with respect to $L_{2}$, then simultaneously the group $G$ is elementarily equivalent to the group $H$ with respect to $L_{0}$, and the ring $R$ is elementarily equivalent to the ring $S$ with respect to $L_{1}$. We then let $F$ be a rank $2$ free group and $\mathbb{Z}$ be the ring of integers. Examining the universal theory of the free group ring ${\mathbb Z}[F]$ the hazy conjecture was made that the universal sentences true in ${\mathbb Z}[F]$ are precisely the universal sentences true in $F$ modified appropriately for group ring theory and the converse that the universal sentences true in $F$ are the universal sentences true in ${\mathbb Z}[F]$ modified appropriately for group theory. In this paper we show this conjecture to be true in terms of axiom systems for ${\mathbb Z}[F]$.
Comments: final journal version
Subjects: Group Theory (math.GR); Logic (math.LO); Rings and Algebras (math.RA)
Journal reference: journal of Groups, complexity, cryptology, volume 13, issue 2 (December 6, 2021) gcc:8801
DOI: 10.46298/jgcc.2021.13.2.8796
Cite as: arXiv:2112.01056 [math.GR]
  (or arXiv:2112.01056v2 [math.GR] for this version)

Submission history

From: Benjamin Fine [view email] [via PASCAL proxy]
[v1] Thu, 2 Dec 2021 08:36:27 GMT (20kb)
[v2] Fri, 3 Dec 2021 09:19:38 GMT (20kb,D)

Link back to: arXiv, form interface, contact.