Number of Distinct Homomorphic Images in Coset Diagrams

<div>(a) Homomorphic images <span class="nowrap"><svg height="17.3709pt" id="M404" style="vertical-align:-5.934799pt" version="1.1" viewbox="-0.0498162 -11.4361 90.6754 17.3709" width="90.6754pt" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"><g transform="matrix(.013,0,0,-0.013,0,0)"><path d="M719 146L691 147C666 77 657 72 612 72H528C572 125 688 224 688 364C688 546 558 665 384 665C212 665 77 541 77 361C77 221 188 124 239 72H150C110 72 97 80 73 147L46 146L63 0H307L314 18C284 71 178 203 178 360C178 529 256 631 383 631C509 631 588 523 588 363C588 197 485 67 453 18L458 0H701L719 146Z"></path></g><g transform="matrix(.0091,0,0,-0.0091,9.841,-5.741)"><path d="M158 548H390L417 615L410 623H122L83 318C105 326 143 337 185 337C296 337 350 275 350 188C350 116 308 42 225 42C164 42 122 74 100 93C90 101 82 99 72 92C60 82 51 68 50 59C48 46 52 38 66 24C82 9 125 -12 172 -12C225 -11 292 15 346 59C408 108 437 166 437 226C437 309 371 397 242 397C214 397 170 382 133 369L158 548Z"></path></g><g transform="matrix(.0091,0,0,-0.0091,9.841,3.784)"><path d="M238 675C244 702 241 710 231 710C220 710 155 682 74 673L70 643H101C147 643 151 635 142 594L39 111C18 11 36 -12 55 -12C89 -12 170 38 223 103L207 129C176 98 130 68 118 68C113 68 108 72 114 102L238 675Z"></path></g><g transform="matrix(.0065,0,0,-0.0065,12.08,5.885)"><path d="M468 176V229H370V632H320C217 496 117 353 22 210V176H288V112C288 46 284 42 191 35V0H457V35C374 42 370 46 370 110V176H468ZM288 229H94C161 337 222 429 286 518H288V229Z"></path></g><g transform="matrix(.013,0,0,-0.013,19.939,0)"><path d="M116 412C83 412 59 388 59 355C59 321 83 297 115 297S170 321 170 355C170 388 147 412 116 412ZM114 -12C147 -12 171 11 171 46C171 78 147 103 115 103C84 103 60 78 60 46C60 11 84 -12 114 -12Z"></path></g><g transform="matrix(.013,0,0,-0.013,26.535,0)"><path d="M600 0V24L339 665L311 657L43 24V0H600ZM497 50H107L303 539L497 50Z"></path></g><g transform="matrix(.0091,0,0,-0.0091,36.493,3.132)"><path d="M389 0V32C297 38 291 46 291 118V635C234 613 175 595 109 583V556L161 554C203 552 207 547 207 497V118C207 46 201 38 110 32V0H389Z"></path></g><g transform="matrix(.013,0,0,-0.013,44.345,0)"><path d="M535 230V280H52V230H535Z"></path></g><g transform="matrix(.013,0,0,-0.013,54.881,0)"><path d="M412 140C382 77 369 73 315 73H129L270 222C362 320 402 379 402 466C402 571 322 635 234 635C177 635 130 609 99 576L42 495L64 475C90 514 133 568 201 568C274 568 318 519 318 435C318 349 255 267 193 193C144 135 87 78 32 23V0H405C417 45 427 89 440 131L412 140Z"></path></g><g transform="matrix(.013,0,0,-0.013,61.121,0)"><path d="M238 681C243 705 239 712 230 712C217 712 156 682 75 674L70 648H105C148 648 153 641 144 598L39 110C18 11 35 -12 55 -12C90 -12 166 36 221 103L205 125C174 93 130 65 118 65C112 65 108 68 114 96L238 681Z"></path></g><g transform="matrix(.0091,0,0,-0.0091,64.293,3.132)"><path d="M462 177V227H365V632H320C217 496 116 350 21 208V177H284V109C284 43 280 38 190 31V0H451V31C369 38 365 43 365 108V177H462ZM284 227H88C155 336 218 430 282 519H284V227Z"></path></g><g transform="matrix(.013,0,0,-0.013,72.872,0)"><path d="M512 230V281L75 514V456L453 256V254L75 55V-3L512 230Z"></path></g><g transform="matrix(.013,0,0,-0.013,84.135,0)"><path d="M384 0V27C293 34 287 42 287 114V635C232 613 172 594 109 583V559L157 557C201 555 205 550 205 499V114C205 42 199 34 109 27V0H384Z"></path></g></svg>.</span> (b) Homomorphic images <span class="nowrap"><svg height="17.3709pt" id="M405" style="vertical-align:-5.934799pt" version="1.1" viewbox="-0.0498162 -11.4361 90.6754 17.3709" width="90.6754pt" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"><g transform="matrix(.013,0,0,-0.013,0,0)"><path d="M719 146L691 147C666 77 657 72 612 72H528C572 125 688 224 688 364C688 546 558 665 384 665C212 665 77 541 77 361C77 221 188 124 239 72H150C110 72 97 80 73 147L46 146L63 0H307L314 18C284 71 178 203 178 360C178 529 256 631 383 631C509 631 588 523 588 363C588 197 485 67 453 18L458 0H701L719 146Z"></path></g><g transform="matrix(.0091,0,0,-0.0091,9.841,-5.741)"><path d="M158 548H390L417 615L410 623H122L83 318C105 326 143 337 185 337C296 337 350 275 350 188C350 116 308 42 225 42C164 42 122 74 100 93C90 101 82 99 72 92C60 82 51 68 50 59C48 46 52 38 66 24C82 9 125 -12 172 -12C225 -11 292 15 346 59C408 108 437 166 437 226C437 309 371 397 242 397C214 397 170 382 133 369L158 548Z"></path></g><g transform="matrix(.0091,0,0,-0.0091,9.841,3.784)"><path d="M238 675C244 702 241 710 231 710C220 710 155 682 74 673L70 643H101C147 643 151 635 142 594L39 111C18 11 36 -12 55 -12C89 -12 170 38 223 103L207 129C176 98 130 68 118 68C113 68 108 72 114 102L238 675Z"></path></g><g transform="matrix(.0065,0,0,-0.0065,12.08,5.885)"><path d="M468 176V229H370V632H320C217 496 117 353 22 210V176H288V112C288 46 284 42 191 35V0H457V35C374 42 370 46 370 110V176H468ZM288 229H94C161 337 222 429 286 518H288V229Z"></path></g><g transform="matrix(.013,0,0,-0.013,19.939,0)"><path d="M116 412C83 412 59 388 59 355C59 321 83 297 115 297S170 321 170 355C170 388 147 412 116 412ZM114 -12C147 -12 171 11 171 46C171 78 147 103 115 103C84 103 60 78 60 46C60 11 84 -12 114 -12Z"></path></g><g transform="matrix(.013,0,0,-0.013,26.535,0)"><path d="M600 0V24L339 665L311 657L43 24V0H600ZM497 50H107L303 539L497 50Z"></path></g><g transform="matrix(.0091,0,0,-0.0091,36.493,3.132)"><path d="M389 0V32C297 38 291 46 291 118V635C234 613 175 595 109 583V556L161 554C203 552 207 547 207 497V118C207 46 201 38 110 32V0H389Z"></path></g><g transform="matrix(.013,0,0,-0.013,44.345,0)"><path d="M535 230V280H52V230H535Z"></path></g><g transform="matrix(.013,0,0,-0.013,54.881,0)"><path d="M412 140C382 77 369 73 315 73H129L270 222C362 320 402 379 402 466C402 571 322 635 234 635C177 635 130 609 99 576L42 495L64 475C90 514 133 568 201 568C274 568 318 519 318 435C318 349 255 267 193 193C144 135 87 78 32 23V0H405C417 45 427 89 440 131L412 140Z"></path></g><g transform="matrix(.013,0,0,-0.013,61.121,0)"><path d="M238 681C243 705 239 712 230 712C217 712 156 682 75 674L70 648H105C148 648 153 641 144 598L39 110C18 11 35 -12 55 -12C90 -12 166 36 221 103L205 125C174 93 130 65 118 65C112 65 108 68 114 96L238 681Z"></path></g><g transform="matrix(.0091,0,0,-0.0091,64.293,3.132)"><path d="M462 177V227H365V632H320C217 496 116 350 21 208V177H284V109C284 43 280 38 190 31V0H451V31C369 38 365 43 365 108V177H462ZM284 227H88C155 336 218 430 282 519H284V227Z"></path></g><g transform="matrix(.013,0,0,-0.013,72.872,0)"><path d="M535 323V373H52V323H535ZM535 138V188H52V138H535Z"></path></g><g transform="matrix(.013,0,0,-0.013,84.135,0)"><path d="M384 0V27C293 34 287 42 287 114V635C232 613 172 594 109 583V559L157 557C201 555 205 550 205 499V114C205 42 199 34 109 27V0H384Z"></path></g></svg>.</span> (c) Homomorphic images <svg height="17.3709pt" id="M406" style="vertical-align:-5.934799pt" version="1.1" viewbox="-0.0498162 -11.4361 90.6754 17.3709" width="90.6754pt" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"><g transform="matrix(.013,0,0,-0.013,0,0)"><path d="M719 146L691 147C666 77 657 72 612 72H528C572 125 688 224 688 364C688 546 558 665 384 665C212 665 77 541 77 361C77 221 188 124 239 72H150C110 72 97 80 73 147L46 146L63 0H307L314 18C284 71 178 203 178 360C178 529 256 631 383 631C509 631 588 523 588 363C588 197 485 67 453 18L458 0H701L719 146Z"></path></g><g transform="matrix(.0091,0,0,-0.0091,9.841,-5.741)"><path d="M158 548H390L417 615L410 623H122L83 318C105 326 143 337 185 337C296 337 350 275 350 188C350 116 308 42 225 42C164 42 122 74 100 93C90 101 82 99 72 92C60 82 51 68 50 59C48 46 52 38 66 24C82 9 125 -12 172 -12C225 -11 292 15 346 59C408 108 437 166 437 226C437 309 371 397 242 397C214 397 170 382 133 369L158 548Z"></path></g><g transform="matrix(.0091,0,0,-0.0091,9.841,3.784)"><path d="M238 675C244 702 241 710 231 710C220 710 155 682 74 673L70 643H101C147 643 151 635 142 594L39 111C18 11 36 -12 55 -12C89 -12 170 38 223 103L207 129C176 98 130 68 118 68C113 68 108 72 114 102L238 675Z"></path></g><g transform="matrix(.0065,0,0,-0.0065,12.08,5.885)"><path d="M468 176V229H370V632H320C217 496 117 353 22 210V176H288V112C288 46 284 42 191 35V0H457V35C374 42 370 46 370 110V176H468ZM288 229H94C161 337 222 429 286 518H288V229Z"></path></g><g transform="matrix(.013,0,0,-0.013,19.939,0)"><path d="M116 412C83 412 59 388 59 355C59 321 83 297 115 297S170 321 170 355C170 388 147 412 116 412ZM114 -12C147 -12 171 11 171 46C171 78 147 103 115 103C84 103 60 78 60 46C60 11 84 -12 114 -12Z"></path></g><g transform="matrix(.013,0,0,-0.013,26.535,0)"><path d="M600 0V24L339 665L311 657L43 24V0H600ZM497 50H107L303 539L497 50Z"></path></g><g transform="matrix(.0091,0,0,-0.0091,36.493,3.132)"><path d="M389 0V32C297 38 291 46 291 118V635C234 613 175 595 109 583V556L161 554C203 552 207 547 207 497V118C207 46 201 38 110 32V0H389Z"></path></g><g transform="matrix(.013,0,0,-0.013,44.345,0)"><path d="M535 230V280H52V230H535Z"></path></g><g transform="matrix(.013,0,0,-0.013,54.881,0)"><path d="M412 140C382 77 369 73 315 73H129L270 222C362 320 402 379 402 466C402 571 322 635 234 635C177 635 130 609 99 576L42 495L64 475C90 514 133 568 201 568C274 568 318 519 318 435C318 349 255 267 193 193C144 135 87 78 32 23V0H405C417 45 427 89 440 131L412 140Z"></path></g><g transform="matrix(.013,0,0,-0.013,61.121,0)"><path d="M238 681C243 705 239 712 230 712C217 712 156 682 75 674L70 648H105C148 648 153 641 144 598L39 110C18 11 35 -12 55 -12C90 -12 166 36 221 103L205 125C174 93 130 65 118 65C112 65 108 68 114 96L238 681Z"></path></g><g transform="matrix(.0091,0,0,-0.0091,64.293,3.132)"><path d="M462 177V227H365V632H320C217 496 116 350 21 208V177H284V109C284 43 280 38 190 31V0H451V31C369 38 365 43 365 108V177H462ZM284 227H88C155 336 218 430 282 519H284V227Z"></path></g><g transform="matrix(.013,0,0,-0.013,72.872,0)"><path d="M512 -3V55L134 254V256L512 456V514L75 281V230L512 -3Z"></path></g><g transform="matrix(.013,0,0,-0.013,84.135,0)"><path d="M384 0V27C293 34 287 42 287 114V635C232 613 172 594 109 583V559L157 557C201 555 205 550 205 499V114C205 42 199 34 109 27V0H384Z"></path></g></svg> and <span class="nowrap"><svg height="12.4698pt" id="M407" style="vertical-align:-3.18147pt" version="1.1" viewbox="-0.0498162 -9.28833 76.8062 12.4698" width="76.8062pt" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"><g transform="matrix(.013,0,0,-0.013,0,0)"><path d="M600 0V24L339 665L311 657L43 24V0H600ZM497 50H107L303 539L497 50Z"></path></g><g transform="matrix(.0091,0,0,-0.0091,9.958,3.132)"><path d="M389 0V32C297 38 291 46 291 118V635C234 613 175 595 109 583V556L161 554C203 552 207 547 207 497V118C207 46 201 38 110 32V0H389Z"></path></g><g transform="matrix(.013,0,0,-0.013,17.81,0)"><path d="M535 230V280H52V230H535Z"></path></g><g transform="matrix(.013,0,0,-0.013,28.346,0)"><path d="M238 681C243 705 239 712 230 712C217 712 156 682 75 674L70 648H105C148 648 153 641 144 598L39 110C18 11 35 -12 55 -12C90 -12 166 36 221 103L205 125C174 93 130 65 118 65C112 65 108 68 114 96L238 681Z"></path></g><g transform="matrix(.0091,0,0,-0.0091,31.518,3.132)"><path d="M462 177V227H365V632H320C217 496 116 350 21 208V177H284V109C284 43 280 38 190 31V0H451V31C369 38 365 43 365 108V177H462ZM284 227H88C155 336 218 430 282 519H284V227Z"></path></g><g transform="matrix(.013,0,0,-0.013,40.097,0)"><path d="M512 230V281L75 514V456L453 256V254L75 55V-3L512 230Z"></path></g><g transform="matrix(.013,0,0,-0.013,51.36,0)"><path d="M393 379C402 394 400 411 393 422C384 437 365 448 348 448C301 448 237 372 186 285H182L193 335C210 408 205 448 178 448C150 448 80 402 29 344L45 321C80 355 114 373 122 373C128 373 130 365 124 330C106 228 76 98 50 -5L57 -12C82 -5 112 3 132 6L172 203C196 256 234 304 254 329C275 355 293 367 306 367C318 367 330 360 342 348C347 343 355 343 365 350S386 367 393 379Z"></path></g><g transform="matrix(.013,0,0,-0.013,59.753,0)"><path d="M535 230V280H323V490H265V280H52V230H265V-3H323V230H535Z"></path></g><g transform="matrix(.013,0,0,-0.013,70.29,0)"><path d="M384 0V27C293 34 287 42 287 114V635C232 613 172 594 109 583V559L157 557C201 555 205 550 205 499V114C205 42 199 34 109 27V0H384Z"></path></g></svg>.</span> (d) Homomorphic images <svg height="17.3709pt" id="M408" style="vertical-align:-5.934799pt" version="1.1" viewbox="-0.0498162 -11.4361 90.6754 17.3709" width="90.6754pt" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"><g transform="matrix(.013,0,0,-0.013,0,0)"><path d="M719 146L691 147C666 77 657 72 612 72H528C572 125 688 224 688 364C688 546 558 665 384 665C212 665 77 541 77 361C77 221 188 124 239 72H150C110 72 97 80 73 147L46 146L63 0H307L314 18C284 71 178 203 178 360C178 529 256 631 383 631C509 631 588 523 588 363C588 197 485 67 453 18L458 0H701L719 146Z"></path></g><g transform="matrix(.0091,0,0,-0.0091,9.841,-5.741)"><path d="M158 548H390L417 615L410 623H122L83 318C105 326 143 337 185 337C296 337 350 275 350 188C350 116 308 42 225 42C164 42 122 74 100 93C90 101 82 99 72 92C60 82 51 68 50 59C48 46 52 38 66 24C82 9 125 -12 172 -12C225 -11 292 15 346 59C408 108 437 166 437 226C437 309 371 397 242 397C214 397 170 382 133 369L158 548Z"></path></g><g transform="matrix(.0091,0,0,-0.0091,9.841,3.784)"><path d="M238 675C244 702 241 710 231 710C220 710 155 682 74 673L70 643H101C147 643 151 635 142 594L39 111C18 11 36 -12 55 -12C89 -12 170 38 223 103L207 129C176 98 130 68 118 68C113 68 108 72 114 102L238 675Z"></path></g><g transform="matrix(.0065,0,0,-0.0065,12.08,5.885)"><path d="M468 176V229H370V632H320C217 496 117 353 22 210V176H288V112C288 46 284 42 191 35V0H457V35C374 42 370 46 370 110V176H468ZM288 229H94C161 337 222 429 286 518H288V229Z"></path></g><g transform="matrix(.013,0,0,-0.013,19.939,0)"><path d="M116 412C83 412 59 388 59 355C59 321 83 297 115 297S170 321 170 355C170 388 147 412 116 412ZM114 -12C147 -12 171 11 171 46C171 78 147 103 115 103C84 103 60 78 60 46C60 11 84 -12 114 -12Z"></path></g><g transform="matrix(.013,0,0,-0.013,26.535,0)"><path d="M600 0V24L339 665L311 657L43 24V0H600ZM497 50H107L303 539L497 50Z"></path></g><g transform="matrix(.0091,0,0,-0.0091,36.493,3.132)"><path d="M389 0V32C297 38 291 46 291 118V635C234 613 175 595 109 583V556L161 554C203 552 207 547 207 497V118C207 46 201 38 110 32V0H389Z"></path></g><g transform="matrix(.013,0,0,-0.013,44.345,0)"><path d="M535 230V280H52V230H535Z"></path></g><g transform="matrix(.013,0,0,-0.013,54.881,0)"><path d="M412 140C382 77 369 73 315 73H129L270 222C362 320 402 379 402 466C402 571 322 635 234 635C177 635 130 609 99 576L42 495L64 475C90 514 133 568 201 568C274 568 318 519 318 435C318 349 255 267 193 193C144 135 87 78 32 23V0H405C417 45 427 89 440 131L412 140Z"></path></g><g transform="matrix(.013,0,0,-0.013,61.121,0)"><path d="M238 681C243 705 239 712 230 712C217 712 156 682 75 674L70 648H105C148 648 153 641 144 598L39 110C18 11 35 -12 55 -12C90 -12 166 36 221 103L205 125C174 93 130 65 118 65C112 65 108 68 114 96L238 681Z"></path></g><g transform="matrix(.0091,0,0,-0.0091,64.293,3.132)"><path d="M462 177V227H365V632H320C217 496 116 350 21 208V177H284V109C284 43 280 38 190 31V0H451V31C369 38 365 43 365 108V177H462ZM284 227H88C155 336 218 430 282 519H284V227Z"></path></g><g transform="matrix(.013,0,0,-0.013,72.872,0)"><path d="M512 -3V55L134 254V256L512 456V514L75 281V230L512 -3Z"></path></g><g transform="matrix(.013,0,0,-0.013,84.135,0)"><path d="M384 0V27C293 34 287 42 287 114V635C232 613 172 594 109 583V559L157 557C201 555 205 550 205 499V114C205 42 199 34 109 27V0H384Z"></path></g></svg> and.<svg height="12.4698pt" id="M409" style="vertical-align:-3.18147pt" version="1.1" viewbox="-0.0498162 -9.28833 76.8062 12.4698" width="76.8062pt" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"><g transform="matrix(.013,0,0,-0.013,0,0)"><path d="M600 0V24L339 665L311 657L43 24V0H600ZM497 50H107L303 539L497 50Z"></path></g><g transform="matrix(.0091,0,0,-0.0091,9.958,3.132)"><path d="M389 0V32C297 38 291 46 291 118V635C234 613 175 595 109 583V556L161 554C203 552 207 547 207 497V118C207 46 201 38 110 32V0H389Z"></path></g><g transform="matrix(.013,0,0,-0.013,17.81,0)"><path d="M535 230V280H52V230H535Z"></path></g><g transform="matrix(.013,0,0,-0.013,28.346,0)"><path d="M238 681C243 705 239 712 230 712C217 712 156 682 75 674L70 648H105C148 648 153 641 144 598L39 110C18 11 35 -12 55 -12C90 -12 166 36 221 103L205 125C174 93 130 65 118 65C112 65 108 68 114 96L238 681Z"></path></g><g transform="matrix(.0091,0,0,-0.0091,31.518,3.132)"><path d="M462 177V227H365V632H320C217 496 116 350 21 208V177H284V109C284 43 280 38 190 31V0H451V31C369 38 365 43 365 108V177H462ZM284 227H88C155 336 218 430 282 519H284V227Z"></path></g><g transform="matrix(.013,0,0,-0.013,40.097,0)"><path d="M535 323V373H52V323H535ZM535 138V188H52V138H535Z"></path></g><g transform="matrix(.013,0,0,-0.013,51.36,0)"><path d="M393 379C402 394 400 411 393 422C384 437 365 448 348 448C301 448 237 372 186 285H182L193 335C210 408 205 448 178 448C150 448 80 402 29 344L45 321C80 355 114 373 122 373C128 373 130 365 124 330C106 228 76 98 50 -5L57 -12C82 -5 112 3 132 6L172 203C196 256 234 304 254 329C275 355 293 367 306 367C318 367 330 360 342 348C347 343 355 343 365 350S386 367 393 379Z"></path></g><g transform="matrix(.013,0,0,-0.013,59.753,0)"><path d="M535 230V280H323V490H265V280H52V230H265V-3H323V230H535Z"></path></g><g transform="matrix(.013,0,0,-0.013,70.29,0)"><path d="M384 0V27C293 34 287 42 287 114V635C232 613 172 594 109 583V559L157 557C201 555 205 550 205 499V114C205 42 199 34 109 27V0H384Z"></path></g></svg></div>

Journal of Mathematics

Number of Distinct Homomorphic Images in Coset Diagrams

Figure 11