Showing 1–11 of 11 results for author: Filho, A C S

Collatz Numbers

Authors: G. H. S. Costa, A. C. Souza Filho

Abstract: In this article we present set of infinite natural numbers which satisfies the conjecture $3n+1$. In this article we present set of infinite natural numbers which satisfies the conjecture $3n+1$. △ Less

Submitted 3 August, 2016; originally announced August 2016.

Comments: The article is written in format of a report

MSC Class: 11A07; 11D61; 11Z05

Dirichlet-Ford domains and Double Dirichlet domains

Authors: Eric Jespers, Stanley Orlando Juriaans, Ann Kiefer, Antonio Calixto Souza Filho, Antonio De Andrade E. Silva

Abstract: We continue investigations started by Lakeland on Fuchsian and Kleinian groups which have a Dirichlet fundamental domain that also is a Ford domain in the upper half-space model of hyperbolic $2$- and $3$-space, or which have a Dirichlet domain with multiple centers. Such domains are called DF-domains and Double Dirichlet domains respectively. Making use of earlier obtained concrete formulas for t… ▽ More We continue investigations started by Lakeland on Fuchsian and Kleinian groups which have a Dirichlet fundamental domain that also is a Ford domain in the upper half-space model of hyperbolic $2$- and $3$-space, or which have a Dirichlet domain with multiple centers. Such domains are called DF-domains and Double Dirichlet domains respectively. Making use of earlier obtained concrete formulas for the bisectors defining the Dirichlet domain of center $i \in \HQ^2$ or center $j \in \HQ^3$, we obtain a simple condition on the matrix entries of the side-pairing transformations of the fundamental domain of a Fuchsian or Kleinian group to be a DF-domain. Using the same methods, we also complement a result of Lakeland stating that a cofinite Fuchsian group has a DF domain (or a Dirichlet domain with multiple centers) if and only if it is an index $2$ subgroup of the discrete group G of reflections in a hyperbolic polygon. △ Less

Submitted 21 June, 2016; v1 submitted 25 November, 2014; originally announced November 2014.

Comments: new refereed version. We changed minor things, but added Lemma 4.7. 13 pages. arXiv admin note: substantial text overlap with arXiv:1205.1127

From the Poincaré Theorem to generators of the unit group of integral group rings of finite groups

Authors: Eric Jespers, Stanley Orlando Juriaans, Ann Kiefer, Antonio de Andrade e Silva, Anotnio Calixto Souza Filho

Abstract: We give an algorithm to determine finitely many generators for a subgroup of finite index in the unit group of an integral group ring $\mathbb{Z} G$ of a finite nilpotent group $G$, this provided the rational group algebra $\mathbb{Q} G$ does not have simple components that are division classical quaternion algebras or two-by-two matrices over a classical quaternion algebra with centre… ▽ More We give an algorithm to determine finitely many generators for a subgroup of finite index in the unit group of an integral group ring $\mathbb{Z} G$ of a finite nilpotent group $G$, this provided the rational group algebra $\mathbb{Q} G$ does not have simple components that are division classical quaternion algebras or two-by-two matrices over a classical quaternion algebra with centre $\mathbb{Q}$. The main difficulty is to deal with orders in quaternion algebras over the rationals or a quadratic imaginary extension of the rationals. In order to deal with these we give a finite and easy implementable algorithm to compute a fundamental domain in the hyperbolic three space $\mathbb{H}^3$ (respectively hyperbolic two space $\mathbb{H}^2$) for a discrete subgroup of ${\rm PSL}_2(\mathbb{C})$ (respectively ${\rm PSL}_2(\mathbb{R})$) of finite covolume. Our results on group rings are a continuation of earlier work of Ritter and Sehgal, Jespers and Leal. △ Less

Submitted 27 October, 2013; originally announced October 2013.

Comments: 32 pages, accepted in Mathematics of Computations. arXiv admin note: substantial text overlap with arXiv:1205.1127

Traces of Torsion Units

Authors: S. O. Juriaans, A. De A. E Silva, A. C. Souza Filho

Abstract: A conjecture due to Zassenhaus asserts that if $\ G$ is a finite group then any torsion unit in $\mathbb{Z}G$ is conjugate in $\mathbb{Q}G$ to an element of $\ G$. We present a weaker form of this conjecture for some infinite groups. A conjecture due to Zassenhaus asserts that if $\ G$ is a finite group then any torsion unit in $\mathbb{Z}G$ is conjugate in $\mathbb{Q}G$ to an element of $\ G$. We present a weaker form of this conjecture for some infinite groups. △ Less

Submitted 5 October, 2012; originally announced October 2012.

Comments: Key words and frases: Group Rings, torsion units, unique trace property, 7 pages

MSC Class: Primary 20C05; 20C07; 16S34. Secondary 16U60

Free Groups in Quaternion Algebras

Authors: S. O. Juriaans, A. C. Souza Filho

Abstract: In \cite{jpsf} we constructed pairs of units $u,v$ in $\Z$-orders of a quaternion algebra over $\Q (\sqrt{-d})$, $d \equiv 7 \pmod 8$ positive and square free, such that $< u^ n,v^n>$ is free for some $n\in \mathbb{N}$. Here we extend this result to any imaginary quadratic extension of $\ \mathbb{Q}$, thus including matrix algebras. More precisely, we show that $< u^n,v^n> $ is a free group for al… ▽ More In \cite{jpsf} we constructed pairs of units $u,v$ in $\Z$-orders of a quaternion algebra over $\Q (\sqrt{-d})$, $d \equiv 7 \pmod 8$ positive and square free, such that $< u^ n,v^n>$ is free for some $n\in \mathbb{N}$. Here we extend this result to any imaginary quadratic extension of $\ \mathbb{Q}$, thus including matrix algebras. More precisely, we show that $< u^n,v^n> $ is a free group for all $n\geq 1$ and $d>2$ and for $d=2$ and all $n\geq 2$. The units we use arise from Pell's and Gauss' equations. A criterion for a pair of homeomorphisms to generate a free semigroup is also established and used to prove that two certain units generate a free semigroup but that, in this case, the Ping-Pong Lemma can not be applied to show that the group they generate is free. △ Less

Submitted 4 October, 2010; v1 submitted 14 January, 2009; originally announced January 2009.

Comments: 10 pages, article presented in conferences: Algebra School, Brasilia-Brazil, Brasilia National University (july-2010); Summer 2009 Meeting of CMS in Groups and Hopf Algebras section, St. Jonh's-Canada, Memorial University of Newfoundland (June-2009); Groups, Rings and Group Rings, Ubatuba-Brazil (july-2008)

MSC Class: 16U60; 20E05; 16S34; 20F67

Hyperbolicity of Semigroup Algebras II

Authors: E. Iwaki, E. Jespers, S. O. Juriaans, A. C. Souza Filho

Abstract: In 1996 Jespers and Wang classified finite semigroups whose integral semigroup ring has finitely many units. In a recent paper, Iwaki-Juriaans-Souza Filho continued this line of research by partially classifying the finite semigroups whose rational semigroup algebra %over a field of characteristic zero, contains a ${\mathbb{Z}}$-order with hyperbolic unit group. In this paper we complete this cl… ▽ More In 1996 Jespers and Wang classified finite semigroups whose integral semigroup ring has finitely many units. In a recent paper, Iwaki-Juriaans-Souza Filho continued this line of research by partially classifying the finite semigroups whose rational semigroup algebra %over a field of characteristic zero, contains a ${\mathbb{Z}}$-order with hyperbolic unit group. In this paper we complete this classification by handling the case in which the semigroup is semi-simple. △ Less

Submitted 24 October, 2008; originally announced October 2008.

Comments: In doi:10.1016/j.jalgebra.2008.03.015 it was, partially, classified the finite semigroups S which the semigroup algebra QS has the hyperbolic property. In this article we complete this classification

MSC Class: 16U60; 20M25 (Primary); 20M10; 16S36 (Secondary)

Alternative algebras with the hyperbolic property

Authors: S. O. Juriaans, C. Polcino Milies, A. C. Souza Filho

Abstract: We investigate the structure of an alternative finite dimensional $\Q$-algebra $\mathfrak{A}$ subject to the condition that for a $\Z$-order $Γ\subset \mathfrak{A}$, and thus for every $\Z$-order of $\mathfrak{A}$, the loop of units of $\U (Γ)$ does not contain a free abelian subgroup of rank two. In particular, we prove that the radical of such an algebra associates with the whole algebra. We als… ▽ More We investigate the structure of an alternative finite dimensional $\Q$-algebra $\mathfrak{A}$ subject to the condition that for a $\Z$-order $Γ\subset \mathfrak{A}$, and thus for every $\Z$-order of $\mathfrak{A}$, the loop of units of $\U (Γ)$ does not contain a free abelian subgroup of rank two. In particular, we prove that the radical of such an algebra associates with the whole algebra. We also classify $RA$-loops $L$ for which $\mathbb{Z}L$ has this property. The classification for group rings is still an open problem. △ Less

Submitted 31 January, 2011; v1 submitted 24 October, 2008; originally announced October 2008.

Comments: Third author's Ph.D. (parcial); generalization of those results for the non-associative case, 9 pps. Conf.: Geometry, Topology, Algebra and Number Theory, Steklov Math. Inst., Moscow-Russia (Aug, 2010); XVIII Latin American Colloquium of Algebra, São Paulo-Brazil (July, 2009); Algebras, Representation and Applications, Ubatuba-Brazil (aug., 2007); Group and Group Rings, Bedlewo-Poland (2005)

MSC Class: 20N05; 17D05 (Primary); 16S34 (Secondary)

Hyperbolic Unit Groups and Quaternion Algebras

Authors: S. O. Juriaans, I. B. S. Passi, A. C. Souza Filho

Abstract: We Classify the rational quadratic extensions K and the finite groups G for which the group ring R[G] of G over the ring R of integers of K has the property that the group of units of augmentation 1 of R[G] is hyperbolic. We also construct units in a non-split quaternion algebra over R. We Classify the rational quadratic extensions K and the finite groups G for which the group ring R[G] of G over the ring R of integers of K has the property that the group of units of augmentation 1 of R[G] is hyperbolic. We also construct units in a non-split quaternion algebra over R. △ Less

Submitted 14 January, 2009; v1 submitted 13 September, 2007; originally announced September 2007.

Comments: 15 pages, this work is part of the PHd. Thesis of the third author. The paper was accepted in Proceedings Mathematical Sciences

MSC Class: 16U60; 16S34; 20F67

Hyperbolicity of Semigroup Algebras

Authors: E. Iwaki, S. O. Juriaans, A. C. Souza Filho

Abstract: Let $A$ be a finite dimensional $Q-$algebra and $Γsubset A$ a $Z-$order. We classify those $A$ with the property that $Z^2$ does not embed in $\mathcal{U}(Γ)$. We call this last property the hyperbolic property. We apply this in the case that $A = KS$ a semigroup algebra with $K = Q$ or $K = Q(\sqrt{-d})$. In particular, when $KS$ is semi-simple and has no nilpotent elements, we prove that $S$ i… ▽ More Let $A$ be a finite dimensional $Q-$algebra and $Γsubset A$ a $Z-$order. We classify those $A$ with the property that $Z^2$ does not embed in $\mathcal{U}(Γ)$. We call this last property the hyperbolic property. We apply this in the case that $A = KS$ a semigroup algebra with $K = Q$ or $K = Q(\sqrt{-d})$. In particular, when $KS$ is semi-simple and has no nilpotent elements, we prove that $S$ is an inverse semigroup which is the disjoint union of Higman groups and at most one cyclic group $C_n$ with $n \in \{5,8,12\}$. △ Less

Submitted 21 November, 2007; v1 submitted 17 April, 2007; originally announced April 2007.

Comments: This article corresponds to the second chapter of the third author PhD Thesis

MSC Class: 16U60; 20M25

On the Classification of Finite Semigroups and RA-loop with the Hyperbolic Property

Authors: S. O. Juriaans, A. C. Souza Filho

Abstract: We classify the finite semigroups S, for which all the Z-orders O of the rational Q-algebra QS, is such that the unit group U(O) is hyperbolic. We also classify the RA-loops L, for which the unit loop U(ZL) does not contain any free abelian subgroup of rank two. We classify the finite semigroups S, for which all the Z-orders O of the rational Q-algebra QS, is such that the unit group U(O) is hyperbolic. We also classify the RA-loops L, for which the unit loop U(ZL) does not contain any free abelian subgroup of rank two. △ Less

Submitted 19 April, 2007; v1 submitted 23 October, 2006; originally announced October 2006.

Comments: 5 pages; this is part of the second and third chapters of the second author's PhD. Thesis. The last theorem was revised, as well as added some definitions and references

MSC Class: 20M25;20M10

Hyperbolicity of Orders of Quaternions Algebras and Group Rings

Authors: S. O. Juriaans A. C. Souza Filho

Abstract: For a given divison algebra of the quaternions we construct two types of units: Pell units and Gauss units. If K is a rational quadratic extension and G is a finite group, we classify R and G, s.t., the unit group U(RG) of augmentation one is hyperbolic. In particular we give necessary and sufficient conditions when G is the quaternion group of order 8. In this case, the hyperbolic boundary is i… ▽ More For a given divison algebra of the quaternions we construct two types of units: Pell units and Gauss units. If K is a rational quadratic extension and G is a finite group, we classify R and G, s.t., the unit group U(RG) of augmentation one is hyperbolic. In particular we give necessary and sufficient conditions when G is the quaternion group of order 8. In this case, the hyperbolic boundary is isomorphic to the 2-dimensional sphere. As a result we reach a class of groups of one end, that are not virtually free. △ Less

Submitted 19 April, 2007; v1 submitted 23 October, 2006; originally announced October 2006.

Comments: This report is part of the first chapter of the second author's PhD. Thesis. It was included a result in main theorem and a sketch of its proof before it, as well as two new references

MSC Class: 16S34;20C99