Johnson pseudo-contractibility of certain semigroup algebras. II

M. Askari-Sayah,A. Pourabbas,A. Sahami

DOI: https://doi.org/10.1007/s00233-021-10232-8

2021-10-15

Semigroup Forum

Abstract:<p class="a-plus-plus">We investigate Johnson pseudo-contractibility and pseudo-contractibility of Clifford semigroup algebras. We show that, for a Clifford semigroup <em class="a-plus-plus">S</em>, if <span class="a-plus-plus inline-equation id-i-eq1"><span class="a-plus-plus equation-source format-t-e-x"><span class="mjpage"><svg xmlns:xlink="http://www.w3.org/1999/xlink" width="5.332ex" height="3.009ex" style="vertical-align: -0.838ex;" viewBox="0 -934.9 2295.9 1295.7" role="img" focusable="false" xmlns="http://www.w3.org/2000/svg"><g stroke="currentColor" fill="currentColor" stroke-width="0" transform="matrix(1 0 0 -1 0 0)"> <use xlink:href="#MJMAIN-2113" x="0" y="0"></use> <use transform="scale(0.707)" xlink:href="#MJMAIN-31" x="590" y="513"></use> <use xlink:href="#MJMAIN-28" x="871" y="0"></use> <use xlink:href="#MJMATHI-53" x="1260" y="0"></use> <use xlink:href="#MJMAIN-29" x="1906" y="0"></use></g></svg></span></span></span> has a central approximate identity in <span class="a-plus-plus inline-equation id-i-eq2"><span class="a-plus-plus equation-source format-t-e-x"><span class="mjpage"><svg xmlns:xlink="http://www.w3.org/1999/xlink" width="6.192ex" height="2.843ex" style="vertical-align: -0.838ex;" viewBox="0 -863.1 2665.8 1223.9" role="img" focusable="false" xmlns="http://www.w3.org/2000/svg"><g stroke="currentColor" fill="currentColor" stroke-width="0" transform="matrix(1 0 0 -1 0 0)"> <use xlink:href="#MJMATHI-63" x="0" y="0"></use><g transform="translate(433,-150)"> <use transform="scale(0.707)" xlink:href="#MJMAIN-30"></use> <use transform="scale(0.707)" xlink:href="#MJMAIN-30" x="500" y="0"></use></g> <use xlink:href="#MJMAIN-28" x="1241" y="0"></use> <use xlink:href="#MJMATHI-53" x="1630" y="0"></use> <use xlink:href="#MJMAIN-29" x="2276" y="0"></use></g></svg></span></span></span>, then <span class="a-plus-plus inline-equation id-i-eq3"><span class="a-plus-plus equation-source format-t-e-x"><span class="mjpage"><svg xmlns:xlink="http://www.w3.org/1999/xlink" width="5.332ex" height="3.009ex" style="vertical-align: -0.838ex;" viewBox="0 -934.9 2295.9 1295.7" role="img" focusable="false" xmlns="http://www.w3.org/2000/svg"><g stroke="currentColor" fill="currentColor" stroke-width="0" transform="matrix(1 0 0 -1 0 0)"> <use xlink:href="#MJMAIN-2113" x="0" y="0"></use> <use transform="scale(0.707)" xlink:href="#MJMAIN-31" x="590" y="513"></use> <use xlink:href="#MJMAIN-28" x="871" y="0"></use> <use xlink:href="#MJMATHI-53" x="1260" y="0"></use> <use xlink:href="#MJMAIN-29" x="1906" y="0"></use></g></svg></span></span></span> is (Johnson) pseudo-contractible if and only if <em class="a-plus-plus">E</em>(<em class="a-plus-plus">S</em>) is locally finite and each maximal subgroup of <em class="a-plus-plus">S</em> is (amenable) finite, respectively. As an application, we characterize Johnson pseudo-contractibility and pseudo-contractibility of <span class="a-plus-plus inline-equation id-i-eq4"><span class="a-plus-plus equation-source format-t-e-x"><span class="mjpage"><svg xmlns:xlink="http://www.w3.org/1999/xlink" width="5.332ex" height="3.009ex" style="vertical-align: -0.838ex;" viewBox="0 -934.9 2295.9 1295.7" role="img" focusable="false" xmlns="http://www.w3.org/2000/svg"><g stroke="currentColor" fill="currentColor" stroke-width="0" transform="matrix(1 0 0 -1 0 0)"> <use xlink:href="#MJMAIN-2113" x="0" y="0"></use> <use transform="scale(0.707)" xlink:href="#MJMAIN-31" x="590" y="513"></use> <use xlink:href="#MJMAIN-28" x="871" y="0"></use> <use xlink:href="#MJMATHI-53" x="1260" y="0"></use> <use xlink:href="#MJMAIN-29" x="1906" y="0"></use></g></svg></span></span></span>, where <em class="a-plus-plus">S</em> is a commutative semigroup, a band semigroup, or an inverse semigroup with totally ordered idempotents set. </p><svg xmlns="http://www.w3.org/2000/svg" style="display: none;"><defs id="MathJax_SVG_glyphs"><path stroke-width="1" id="MJMAIN-2113" d="M345 104T349 104T361 95T369 80T352 59Q268 -20 206 -20Q170 -20 146 3T113 53T99 104L94 129Q94 130 79 116T48 86T28 70Q22 70 15 79T7 94Q7 98 12 103T58 147L91 179V185Q91 186 91 191T92 200Q92 282 128 400T223 612T336 705Q397 705 397 636V627Q397 453 194 233Q185 223 180 218T174 211T171 208T165 201L163 186Q159 142 159 123Q159 17 208 17Q228 17 253 30T293 56T335 94Q345 104 349 104ZM360 634Q360 655 354 661T336 668Q328 668 322 666T302 645T272 592Q252 547 229 467T192 330L179 273Q179 272 186 280T204 300T221 322Q327 453 355 590Q360 612 360 634Z"></path><path stroke-width="1" id="MJMAIN-31" d="M213 578L200 573Q186 568 160 563T102 556H83V602H102Q149 604 189 617T245 641T273 663Q275 666 285 666Q294 666 302 660V361L303 61Q310 54 315 52T339 48T401 46H427V0H416Q395 3 257 3Q121 3 100 0H88V46H114Q136 46 152 46T177 47T193 50T201 52T207 57T213 61V578Z"></path><path stroke-width="1" id="MJMAIN-28" d="M94 250Q94 319 104 381T127 488T164 576T202 643T244 695T277 729T302 750H315H319Q333 750 333 741Q333 738 316 720T275 667T226 581T184 443T167 250T184 58T225 -81T274 -167T316 -220T333 -241Q333 -250 318 -250H315H302L274 -226Q180 -141 137 -14T94 250Z"></path><path stroke-width="1" id="MJMATHI-53" d="M308 24Q367 24 416 76T466 197Q466 260 414 284Q308 311 278 321T236 341Q176 383 176 462Q176 523 208 573T273 648Q302 673 343 688T407 704H418H425Q521 704 564 640Q565 640 577 653T603 682T623 704Q624 704 627 704T632 705Q645 705 645 698T617 577T585 459T569 456Q549 456 549 465Q549 471 550 475Q550 478 551 494T553 520Q553 554 544 579T526 616T501 641Q465 662 419 662Q362 662 313 616T263 510Q263 480 278 458T319 427Q323 425 389 408T456 390Q490 379 522 342T554 242Q554 216 546 186Q541 164 528 137T492 78T426 18T332 -20Q320 -22 298 -22Q199 -22 144 33L134 44L106 13Q83 -14 78 -18T65 -22Q52 -22 52 -14Q52 -11 110 221Q112 227 130 227H143Q149 221 149 216Q149 214 148 207T144 186T142 153Q144 114 160 87T203 47T255 29T308 24Z"></path><path stroke-width="1" id="MJMAIN-29" d="M60 749L64 750Q69 750 74 750H86L114 726Q208 641 251 514T294 250Q294 182 284 119T261 12T224 -76T186 -143T145 -194T113 -227T90 -246Q87 -249 86 -250H74Q66 -250 63 -250T58 -247T55 -238Q56 -237 66 -225Q221 -64 221 250T66 725Q56 737 55 738Q55 746 60 749Z"></path><path stroke-width="1" id="MJMATHI-63" d="M34 159Q34 268 120 355T306 442Q362 442 394 418T427 355Q427 326 408 306T360 285Q341 285 330 295T319 325T330 359T352 380T366 386H367Q367 388 361 392T340 400T306 404Q276 404 249 390Q228 381 206 359Q162 315 142 235T121 119Q121 73 147 50Q169 26 205 26H209Q321 26 394 111Q403 121 406 121Q410 121 419 112T429 98T420 83T391 55T346 25T282 0T202 -11Q127 -11 81 37T34 159Z"></path><path stroke-width="1" id="MJMAIN-30" d="M96 585Q152 666 249 666Q297 666 345 640T423 548Q460 465 460 320Q460 165 417 83Q397 41 362 16T301 -15T250 -22Q224 -22 198 -16T137 16T82 83Q39 165 39 320Q39 494 96 585ZM321 597Q291 629 250 629Q208 629 178 597Q153 571 145 525T137 333Q137 175 145 125T181 46Q209 16 250 16Q290 16 318 46Q347 76 354 130T362 333Q362 478 354 524T321 597Z"></path></defs></svg>

mathematics