Profinite methods in semigroup theory

International Journal of Algebra and Computation

Volumn 12, Issue 1-2, 2002, Pages 137-178

  Weil, Pascal ^a  

^a CNRS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0036016723     PISSN: 02181967     EISSN: None     Source Type: Journal    
DOI: 10.1142/s0218196702000912     Document Type: Conference Paper

References (119)

1. Undecidability of the identity problem for finite semigroups
2. Some pseudovariety joins involving the pseudovariety of finite groups
3. Equations for pseudovarieties
4. Semidirect products of pseudovarieties from the universal algebraist's point of view
5. A syntactical proof of locality of DA
6. Hyperdecidable pseudovarieties and the calculation of semidirect products
7. On hyperdecidable pseudovarieties of simple semigroups
8. Dynamics of implicit operations and tameness of pseudovarieties of groups
9. The join of the pseudovarieties of R-trivial and L-trivial semigroups
10. On regular implicit operations
11. Globals of pseudovarieties of commutative semigroups: The finite basis problem, decidability and gaps
12. n
13. Pseudovariety joins involving ℑ-trivial semigroups and completely regular semigroups
14. Sur certains systèmes d'équations avec contraintes dans un groupe libre
15. On the equation V * G = εV
16. On the hyperdecidability of semidirect products of pseudovarieties
17. SC-hyperdecidability of R
18. Syntactic and global semigroup theory: A synthesis approach
19. Iterated semidirect products with applications to complexity
20. Hyperdecidability of pseudovaricties of orthogroups
21. Reduced factorization in free profinite groups and join decompositions of pseudo-varieties
22. Relatively free profinite monoids: An introduction and examples
23. Free profinite semigroups over semidirect products
24. Free profinite R-trivial monoids
25. Profinite categories and semidirect products
26. The pseudovariety J is hyperdecidable
27. Finite semigroups with commuting idempotents
28. Inevitable graphs: A proof of the type II conjecture and some related decision procedures
29. Semigroups with central idempotents
30. Almost finite expansions of arbitrary semigroups
31. Characterization of locally testable events
32. A course in Universal Algebra
33. Free profinite semigroups over some classes of semigroups locally in DG
34. Free product, profinite topology and finitely generated subgroups
35. On the hyperdecidability of pseudovarieties of groups
36. Semigroup expansions using the derived category, kernel and Malcev products
37. Profinite groups and Boolean graphs
38. Pointlike sets: The finest aperiodic cover of a monoid
39. Ash's Type II theorem, profinite topology and Malcev products
40. The theorem of Knast, the PG = BG and type II conjectures
41. Extending partial automorphisms and the profinite topology on free groups
42. An algebraic proof that pseudovarieties are defined by pseudoidentities
43. Certain finitely generated compact zero-dimensional semigroups
44. Profinite categories, implicit operations and pseudovarieties of categories
45. A kernel for relational morphisms of categories
46. Locality of DS and associated varieties
47. Some theorems on graph congruences
48. Normal forms for free aperiodic semigroups
49. E-unitary inverse monoids and the Cayley graph of group presentations
50. Inverse semigroups and extensions of groups by semilattices
51. Irreducibility of certain pseudovarieties
52. Closed subgroups in pro-p topologies and the extension problem for inverse automata
53. A topological approach to a conjecture of Rhodes
54. Topologies for the free monoid
55. PG = BG, a success story
56. A variety theorem without complementation
57. Syntactic semigroups
58. Bridges for concatenation hierarchies
59. Ordered categories and ordered semigroups
60. A conjecture on the hall topology for the free group
61. A Reiterman theorem for pseudovarieties of finite first-order structures
62. Profinite semigroups, Mal'cev products and identities
63. Polynomial closure and unambiguous products
64. Uniformities on free semigroups
65. Semidirect products of ordered semigroups
66. The wreath product principle for ordered semigroups
67. The Birkhoff theorem for finite algebras
68. Lower bounds for the complexity of finite semigroups
69. Improved lower bounds for the complexity of finite semigroups
70. New techniques in global semigroup theory
71. On the profinite topology on a free group
72. The pro-p topology of a free group and algorithmic problems in semigroups
73. Profinite semigroups, varieties, expansions and the structure of relatively free profinite semigroups
74. The kernel of monoid morphisms
75. Decomposition techniques for finite semigroups using categories I and II
76. Introduction to profinite groups and Galois cohomology
77. Over testable languages
78. On pointlike sets and joins of pseudovarieties
79. Semidirect products of categories and applications
80. Polynomial closure and topology
81. Algorithmic problems for joins of pseudovarieties
82. Inevitable graphs and profinite topologies: Some solutions to algorithmic problems in monoid and automata theory, stemming from group theory
83. Finite-state automata: A geometric approach and profinite topologies on a free group
84. Inverse automata and profinite topologies on a free group
85. A delay theorem for pointlikes
86. Finite semigroup varieties of the form V * D
87. Partially ordered finite monoids and a theorem of I. Simon
88. Regular languages defined by generalized first-order formula with a bounded number of bound variables
89. On semidirectly closed pseudovarieties of aperiodic semigroups
90. The semidirectly closed pseudovariety generated by aperiodic Brandt semigroups
91. Two-sided wreath product of categories
92. Graph congruences and wreath products
93. Categories as algebras: An essential ingredient in the theory of monoids
94. The finite basis problem in the pseudovariety joins of aperiodic semigroups with groups
95. The lattice of pseudovarieties of idempotent semigroups and a non-regular analogue
96. Implicit operations on pseudo-varieties: An introduction
97. Some results on the dot-depth hierarchy
98. Computing closures of finitely generated subgroups of the free group