Showing 1–9 of 9 results for author: Goncalves, J Z

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

Authors: Vitor O. Ferreira, Jairo Z. Goncalves, Javier Sanchez

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)$ c… ▽ More 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 $G \subseteq N$, 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. △ Less

Submitted 22 May, 2018; originally announced May 2018.

Comments: 14 pages

MSC Class: 16K40; 16W10; 16S85; 16W60 (Primary); 20F18; 20F60 (Secondary)

Group algebras whose units satisfy a Laurent Polynomial Identity

Authors: Osnel Broche, Jairo Z. Gonçalves, Ángel del Río

Abstract: Let $KG$ be the group algebra of a torsion group $G$ over a field $K$. We show that if the units of $KG$ satisfy a Laurent polynomial identity which is not satisfied by the units of the relative free algebra $K[α,β: α^2=β^2=0]$ then $KG$ satisfies a polynomial identity. This extends Hartley Conjecture which states that if the units of $KG$ satisfies a group identity then $KG$ satisfies a polynomia… ▽ More Let $KG$ be the group algebra of a torsion group $G$ over a field $K$. We show that if the units of $KG$ satisfy a Laurent polynomial identity which is not satisfied by the units of the relative free algebra $K[α,β: α^2=β^2=0]$ then $KG$ satisfies a polynomial identity. This extends Hartley Conjecture which states that if the units of $KG$ satisfies a group identity then $KG$ satisfies a polynomial identity. As an application of our results we prove that if the units of $KG$ satisfies a Laurent polynomial identity with a support of cardinality at most 3 then $KG$ satisfies a polynomial identity. △ Less

Submitted 13 December, 2017; originally announced December 2017.

Comments: 13 pages

Free algebras in division rings with an involution

Authors: Vitor O. Ferreira, Érica Z. Fornaroli, Jairo Z. Gonçalves

Abstract: Some general criteria to produce explicit free algebras inside the division ring of fractions of skew polynomial rings are presented. These criteria are applied to some special cases of division rings with natural involutions, yielding, for instance, free subalgebras generated by symmetric elements both in the division ring of fractions of the group algebra of a torsion free nilpotent group and in… ▽ More Some general criteria to produce explicit free algebras inside the division ring of fractions of skew polynomial rings are presented. These criteria are applied to some special cases of division rings with natural involutions, yielding, for instance, free subalgebras generated by symmetric elements both in the division ring of fractions of the group algebra of a torsion free nilpotent group and in the division ring of fractions of the first Weyl algebra. △ Less

Submitted 16 May, 2016; originally announced May 2016.

Comments: 11 pages

MSC Class: Primary 16K40; 16S36; 16W10; Secondary 16S10; 16S34

Free algebras and free groups in Ore extensions and free group algebras in division rings

Authors: Jason P. Bell, Jairo Z. Goncalves

Abstract: Let $K$ be a field of characteristic zero, let $σ$ be an automorphism of $K$ and let $δ$ be a $σ$-derivation of $K$. We show that the division ring $D=K(x;σ,δ)$ either has the property that every finitely generated subring satisfies a polynomial identity or $D$ contains a free algebra on two generators over its center. In the case when $K$ is finitely generated over $k$ we then see that for $σ$ a… ▽ More Let $K$ be a field of characteristic zero, let $σ$ be an automorphism of $K$ and let $δ$ be a $σ$-derivation of $K$. We show that the division ring $D=K(x;σ,δ)$ either has the property that every finitely generated subring satisfies a polynomial identity or $D$ contains a free algebra on two generators over its center. In the case when $K$ is finitely generated over $k$ we then see that for $σ$ a $k$-algebra automorphism of $K$ and $δ$ a $k$-linear derivation of $K$, $K(x;σ)$ having a free subalgebra on two generators is equivalent to $σ$ having infinite order, and $K(x;δ)$ having a free subalgebra is equivalent to $δ$ being nonzero. As an application, we show that if $D$ is a division ring with center $k$ of characteristic zero and $D^*$ contains a solvable subgroup that is not locally abelian-by-finite, then $D$ contains a free $k$-algebra on two generators. Moreover, if we assume that $k$ is uncountable, without any restrictions on the characteristic of $k$, then $D$ contains the $k$-group algebra of the free group of rank two. △ Less

Submitted 31 July, 2015; originally announced July 2015.

Comments: 13 pages

MSC Class: 16K40; 16A06; 14J50

Free symmetric algebras in division rings generated by enveloping algebras of Lie algebras

Authors: Vitor O. Ferreira, Jairo Z. Gonçalves, Javier Sánchez

Abstract: For any Lie algebra L over a field, its universal enveloping algebra U(L) can be embedded in a division ring D(L) constructed by Lichtman. If U(L) is an Ore domain, D(L) coincides with its ring of fractions. It is well known that the principal involution of L, $x\mapsto -x$, can be extended to an involution of U(L), and Cimpric has proved that this involution can be extended to one on D(L). For a… ▽ More For any Lie algebra L over a field, its universal enveloping algebra U(L) can be embedded in a division ring D(L) constructed by Lichtman. If U(L) is an Ore domain, D(L) coincides with its ring of fractions. It is well known that the principal involution of L, $x\mapsto -x$, can be extended to an involution of U(L), and Cimpric has proved that this involution can be extended to one on D(L). For a large class of noncommutative Lie algebras L over a field of characteristic zero, we show that D(L) contains noncommutative free algebras generated by symmetric elements with respect to (the extension of) the principal involution. This class contains all noncommutative Lie algebras such that U(L) is an Ore domain. △ Less

Submitted 11 June, 2014; originally announced June 2014.

MSC Class: Primary 16K40; 16S36; 16W10; Secondary 16S10; 16S30

Free symmetric and unitary pairs in division rings infinite-dimensional over their centers

Authors: Vitor O. Ferreira, Jairo Z. Goncalves

Abstract: Let $D$ be a division ring infinite-dimensional over its center $k$ with multiplicative group $D^{\times}$. We show that if $D$ belongs to certain families, there exist free symmetric and unitary pairs in $D^{\times}$ with respect to a $k$-involution on $D$. Let $D$ be a division ring infinite-dimensional over its center $k$ with multiplicative group $D^{\times}$. We show that if $D$ belongs to certain families, there exist free symmetric and unitary pairs in $D^{\times}$ with respect to a $k$-involution on $D$. △ Less

Submitted 29 July, 2014; v1 submitted 19 December, 2013; originally announced December 2013.

Comments: 17 pages

Bass units as free factors in integral group rings of simple groups

Authors: Jairo Z. Gonçalves, Robert M. Guralnick, Ángel del Río

Abstract: Let $G$ be a finite group, $u$ a Bass unit based on an element $a$ of $G$ of prime order, and assume that $u$ has infinite order modulo the center of the units of the integral group ring $\Z G$. It was recently proved that if $G$ is solvable then there is a Bass unit or a bicyclic unit $v$ and a positive integer $n$ such that the group generated by $u^n$ and $v^n$ is a non-abelian free group. It h… ▽ More Let $G$ be a finite group, $u$ a Bass unit based on an element $a$ of $G$ of prime order, and assume that $u$ has infinite order modulo the center of the units of the integral group ring $\Z G$. It was recently proved that if $G$ is solvable then there is a Bass unit or a bicyclic unit $v$ and a positive integer $n$ such that the group generated by $u^n$ and $v^n$ is a non-abelian free group. It has been conjectured that this holds for arbitrary groups $G$. To prove this conjecture it is enough to do it under the assumption that $G$ is simple and $a$ is a dihedral $p$-critical element in $G$. We first classify the simple groups with a dihedral $p$-critical element. They are all of the form $\PSL(2,q)$. We prove the conjecture for $p=5$; for $p>5$ and $q$ even; and for $p>5$ and $q+1=2p$. We also provide a sufficient condition for the conjecture to hold for $p>5$ and $q$ odd. With the help of computers we have verified the sufficient condition for all $q<10000$. △ Less

Submitted 7 February, 2013; originally announced February 2013.

Comments: 22 pages

MSC Class: 20C05; 16S34

Free symmetric group algebras in division rings generated by poly-orderable groups

Authors: Vitor O. Ferreira, Jairo Z. Goncalves, Javier Sanchez

Abstract: We show that the canonical involution on a nonabelian poly-orderable group G extends to the Hughes-free division ring of fractions D of the group algebra k[G] of G over a field k and that, with respect to this involution, D contains a pair of symmetric elements freely generating a free group subalgebra of D over k. We show that the canonical involution on a nonabelian poly-orderable group G extends to the Hughes-free division ring of fractions D of the group algebra k[G] of G over a field k and that, with respect to this involution, D contains a pair of symmetric elements freely generating a free group subalgebra of D over k. △ Less

Submitted 29 June, 2012; originally announced June 2012.

Comments: 18 pages

MSC Class: 16K40; 16S35; 16W10 (Primary) 16S10; 20F60 (Secondary)

Bicyclic units, Bass cyclic units and free groups

Authors: Jairo Z. Goncalves, Angel del Rio

Abstract: Let $G$ be a finite group and $\Z G$ its integral group ring. We show that if $α$ is a non-trivial bicyclic unit of $\Z G$, then there are bicyclic units $β$ and $γ$ of different types, such that $\GEN{α,β}$ and $\GEN{α,γ}$ are non-abelian free groups. In case that $G$ is non-abelian of order coprime with 6, then we prove the existence of a bicyclic unit $u$ and a Bass cyclic unit $v$ in $\Z G$,… ▽ More Let $G$ be a finite group and $\Z G$ its integral group ring. We show that if $α$ is a non-trivial bicyclic unit of $\Z G$, then there are bicyclic units $β$ and $γ$ of different types, such that $\GEN{α,β}$ and $\GEN{α,γ}$ are non-abelian free groups. In case that $G$ is non-abelian of order coprime with 6, then we prove the existence of a bicyclic unit $u$ and a Bass cyclic unit $v$ in $\Z G$, such that for every positive integer $m$ big enough, $\GEN{u^m,v}$ is a free non-abelian group. △ Less

Submitted 12 June, 2007; v1 submitted 4 December, 2006; originally announced December 2006.

Comments: 15 pages

MSC Class: 16S34; 20E05