Free symmetric and unitary pairs in the field of fractions of torsion-free nilpotent group algebras

DOI10.1007/S10468-019-09866-8zbMATH Open1445.16022arXiv1805.08757OpenAlexW2963435439WikidataQ122111956 ScholiaQ122111956MaRDI QIDQ2188384FDOQ2188384

Vitor O. Ferreira, J. Z. Gonçalves, Javier Sánchez

Publication date: 11 June 2020

Published in: Algebras and Representation Theory (Search for Journal in Brave)

Abstract: Let $k$ be a field of characteristic different from $2$ and let $G$ be a nonabelian residually torsion-free nilpotent group. It is known that $G$ is an orderable group. Let $k(G)$ denote the subdivision ring of the Malcev-Neumann series ring generated by the group algebra of $G$ over $k$. If $ast$ is an involution on $G$, then it extends to a unique $k$-involution on $k(G)$. We show that $k(G)$ contains pairs of symmetric elements with respect to $ast$ which generate a free group inside the multiplicative group of $k(G)$. Free unitary pairs also exist if $G$ is torsion-free nilpotent. Finally, we consider the general case of a division ring $D$, with a $k$-involution $ast$, containing a normal subgroup $N$ in its multiplicative group, such that $GsubseteqN$, with $G$ a nilpotent-by-finite torsion-free subgroup that is not abelian-by-finite, satisfying $G^{*}=G$ and $N^{*}=N$. We prove that $N$ contains a free symmetric pair.

Full work available at URL: https://arxiv.org/abs/1805.08757

zbMATH Keywords

division rings with involutioninfinite dimensional division rings(residually) torsion-free nilpotent groups

Mathematics Subject Classification ID

Group rings (16S34) Infinite-dimensional and general division rings (16K40) Units, groups of units (associative rings and algebras) (16U60)

Cites Work

• A Survey on Free Objects in Division Rings and in Division Rings with an Involution
• Free Subgroups of Normal Subgroups of the Multiplicative Group of Skew Fields
• Free subgroups in division rings generated by group rings of soluble groups
• Explicit free groups in division rings
• Title not available (Why is that?)
• Free symmetric and unitary pairs in division rings infinite-dimensional over their centers.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On Ordered Division Rings
• Title not available (Why is that?)
• On Subgroups of the Multiplicative Group of Skew Fields
• Title not available (Why is that?)
• Division Rings of Fractions for Group Rings
• Free products of units in algebras. I: Quaternion algebras
• Free group algebras in Malcev–Neumann skew fields of fractions
• Free algebras in division rings with an involution
• Free symmetric group algebras in division rings generated by poly-orderable groups.
• Free pairs of symmetric and unitary units in normal subgroups of a division ring
• Free group algebras in division rings with valuation I

Cited In (3)

• Free subgroups in division rings generated by group rings of soluble groups
• Free symmetric pairs in the field of fractions of enveloping Lie algebras with involution
• Free Group Algebras in Division Rings with Valuation II

This page was built for publication: Free symmetric and unitary pairs in the field of fractions of torsion-free nilpotent group algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2188384)