Abstract
A monoid S generated by {x 1,. . .,x n} is said to be of (left) I-type if there exists a map v from the free Abelian monoid FaMn of rank n generated by {u 1,. . .,u n} to S so that for all a∈FaMn one has {v(u 1 a),. . .,v(u n a)}={x 1 v(a),. . .,x n v(a)}. Then S has a group of fractions, which is called a group of (left) I-type. These monoids first appeared in the work of Gateva-Ivanova and Van den Bergh, inspired by earlier work of Tate and Van den Bergh.
In this paper we show that monoids and groups of left I-type can be characterized as natural submonoids and groups of semidirect products of the free Abelian group Fan and the symmetric group of degree n. It follows that these notions are left–right symmetric. As a consequence we determine many aspects of the algebraic structure of such monoids and groups. In particular, they can often be decomposed as products of monoids and groups of the same type but on less generators and many such groups are poly-infinite cyclic. We also prove that the minimal prime ideals of a monoid S of I-type, and of the corresponding monoid algebra, are principal and generated by a normal element. Further, via left–right divisibility, we show that all semiprime ideals of S can be described. The latter yields an ideal chain of S with factors that are semigroups of matrix type over cancellative semigroups.
Similar content being viewed by others
References
Brown, K. A.: Height one prime ideals of polycyclic group rings, J. London Math. Soc. 32(2) (1985), 426–438.
Charlap, S. C.: Bieberbach Groups and Flat Manifolds, Springer-Verlag, Berlin, 1986.
Clifford, A. H. and Preston, G. B.: The Algebraic Theory of Semigroups, Vol. I, Amer. Math. Soc., Providence, RI, 1961.
Dehornoy, P.: Complete positive group presentations, J. Algebra 268 (2003), 156–197.
Drinfeld, V. G.: On some unsolved problems in quantum group theory, In: Quantum Groups, Lecture Notes in Math. 1510, Springer-Verlag, New York, 1992, pp. 1–8.
Etingof, P., Schedler, T. and Soloviev, A.: Set-theoretical solutions of the quantum Yang–Baxter equation, Duke Math. J. 100 (1999), 169–209.
Fountain, J. and Petrich, M.: Completely 0-simple semigroups of quotients III, Math. Proc. Cambridge Philos. Soc. 105 (1989), 263–275.
Gateva-Ivanova, T.: Skew polynomial rings with binomial relations, J. Algebra 185 (1996), 710–753.
Gateva-Ivanova, T.: Set theoretic solutions of the Yang–Baxter equation, in: Mathematics and Education in Mathematics, Proc. 29th Spring Conference of the Union of Bulgarian Mathematicians, Lovech 2000, 2000, pp. 107–117.
Gateva-Ivanova, T.: A combinatorial approach to the set-theoric solutions of the Yang–Baxter equation, J. Math. Phys. 45(10) (2005), 3828–3858.
Gateva-Ivanova, T., Jespers, E. and Okniński, J.: Quadratic algebras of skew type and the underlying semigroups, J. Algebra 270 (2003), 635–659.
Gateva-Ivanova, T. and Van den Bergh, M.: Semigroups of I-type, J. Algebra 206 (1998), 97–112.
Jespers, E. and Okniński, J.: Binomial semigroups, J. Algebra 202 (1998), 250–275.
Jespers, E. and Okniński, J.: Submonoids of polycyclic-by-finite groups and their algebras, Algebr. Represent. Theory 4 (2001), 133–153.
Jespers, E. and Okniński, J.: Quadratic algebras of skew type satisfying the cyclic condition, Internat. J. Algebra Comput. 14(4) (2004), 479–498.
McConnell, J. C. and Robson, J. C.: Noncommutative Noetherian Rings, Wiley, New York, 1987.
Okniński, J.: Semigroup Algebras, Marcel Dekker, New York, 1991.
Okniński, J.: Semigroups of Matrices, World Scientific, Singapore, 1998.
Okniński, J.: In search for noetherian algebras, in: Algebra – Representation Theory, NATO ASI Series, Kluwer, Dordrecht, 2001, pp. 235–247.
Passman, D. S.: Permutation Groups, Benjamin, New York, 1968.
Passman, D. S.: The Algebraic Structure of Group Rings, Wiley, New York, 1977.
Passman, D. S.: Infinite Crossed Products, Academic Press, New York, 1989.
Promislow, D. S.: A simple example of a torsion-free non-unique product group, Bull. London Math. Soc. 20(4) (1988), 302–304.
Rump, W.: A decomposition theorem for square-free unitary solutions of the quantum Yang–Baxter equation, Adv. Math. 193(1) (2005), 40–55.
Tate, J. and Van den Bergh, M.: Homological properties of Sklyanin algebras, Invent. Math. 124 (1996), 619–647.
Author information
Authors and Affiliations
Corresponding author
Additional information
In memory of Paul Wauters
Mathematics Subject Classifications (2000)
20F05, 20M05; 16S34, 16S36, 20F16.
The authors were supported in part by Onderzoeksraad of Vrije Universiteit Brussel, Fonds voor Wetenschappelijk Onderzoek (Belgium), Flemish–Polish bilateral agreement BIL 01/31, and KBN research grant 2P03A 033 25 (Poland).
Rights and permissions
About this article
Cite this article
Jespers, E., Okniński, J. Monoids and Groups of I-Type. Algebr Represent Theor 8, 709–729 (2005). https://doi.org/10.1007/s10468-005-0342-7
Issue Date:
DOI: https://doi.org/10.1007/s10468-005-0342-7