Semiregulaarinen monitahokas

Semiregulaarinen monitahokas on avaruusgeometrinen termi, jota eri kirjoittajat ovat käyttäneet hieman eri merkityksissä.
Alkuperäisen määritelmän mukaan semiregulaarinen on monitahokas, jonka tahkot ovat säännöllisiä monikulmioita ja jonka symmetriaryhmä on transitiivinen kärkien suhteen, toisin sanoen se voidaan aina kuvata yhtenevyyskuvauksella itselleen niin, että mikä tahansa sen kärjistä voi kuvautua mihkä tahansa toisen kärjen kohdalle. Tässä merkityksessä nimitys perustuu Thorold Gosset'n vuonna 1900 esittämään yleisempään semiregulaarisen polytoopin määritelmään. Nykyisin tällaisista käytetään kuitenkin yleisemmin nimitystä "uniforminen monitahokas". Uniformisia eli tässä merkityksessä semiregulaarisia ovat:
Nämä semiregulaariset kappaleet voidaan täysin määrittää kärkikuviolla eli luettelemalla sivujensa lukumäärän mukaan ja sijaintiensa mukaisessa järjestyksessä ne tahkot, jotka kärjessä kohtaavat. Esimerkiksi "3.5.3.5" esittää ikosidodekaedria, jossa jokaisen kärjen ympärillä on vuorotellen kaksi kolmiota ja kaksi viisikulmiota. Sen sijaan "3.3.3.5" tarkoittaa pentagonaalista antiprismaa. Näitä monitahokkaita sanotaan joskus kärkitransitiivisiksi.
Gosset'n jälkeen muut kirjoittajat ovat käyttäneet termiä "semiregulaarinen" varsinkin korkeampiulotteisten polytooppien yhteydessä eri merkityksissä. E. L. Elte esitti määritelmän, jota Coxeter piti liian keinotekoisena. Coxeter itse nimitti Gosset'n semiregulaariksiksi nimittämiä kappaleita uniformisiksi kappaleiksi, joista hän nimitti semiregulaariksi vain hyvin rajoitettua osajoukkoa.
Toiset sen sijaan ovat päin vastoin laajentaneet semiregulaarisen monitahokkaan käsitettä luokittelemalla sellaisiksi eräitä muitakin kuin edellä mainitut. Sellaisia ovat:
Lisää sekaannusta aiheutuu siitäkin, millä tavoin Arkhimedeen kappaleet on määritelty, sillä niistäkin on erilaisia tulkintoja.
Gosset'n määritelmän mukaan semiregulaarisiksi katsotaan nekin kappaleet, joilla on vielä suurempi symmetria, kuten säännölliset monitahokkaat eli Platonin kappaleet sekä kvasisäännölliset monitahokkaat. Joidenkuiden myöhempien kirjoittajien mukaan näitä ei pitäisi sanoa semiregulaariksi eli "puoliksi säännöllisiksi", koska ne ovat vielä säännöllisempiä: termiä uniforminen monitahokas käytetään tällöin kattokäsitteenä, joka jakautuu kolmeen ryhmään: säännölliset, kvasisäännölliset ja semiregulaariset monitahokkaat. Tätä nimeämisjärjestelmää käyttämällä vältytään monilta, joskaan ei kaikilta sekaannuksilta.
Käytännössä sekaannusta esiintyy pätevimmilläkin kirjoittajilla, jotka määrittelevät jonkin monitahokkaiden joukon semiregulaariseksi tai Arkhimedeen monitahokkaisiksi, mutta käyttävätkin näitä termejä myöhemmin laajemmasta tai suppeammasta monitahokkaiden joukosta, kuin alun perin määrittelivät niiden tarkoittavan. Esimerkiksi joukkoon luetaan myöhemmin vain kuperat monitahokkaat, vaikka niin ei määritelmässä sanottukaan. Tämän virheen ovat tehneet muun muassa Coxeter ja Cromwell sekä Cundy ja Rollett.
Yleisiä huomioita.
Monissa teoksissa termiä "semiregulaarinen monitahokas" on käytetty myös Arkhimedeen kappaleen synonyyminä.
Monitahokkaat, joiden tahkot ovat säännöllisiä monikulmioita, ovat vain osittain samoja kuin Gosset'n tarkoittamassa merkityksessä semiregulaariset monitahokkaat. Samoin on erotettava toisistaan monitahokkaat, joiden kärkikuviot ovat säännöllisiä monikulmioita, ja toisaalta semiregulaaristen monitahokkaiden tahkotransitiiviset duaalit.
Coxeter ym. (1954) käyttivät termiä "semiregulaariset monitahokkaat" luokittelemaan uniformiset monitahokkaat, joiden Wythoffin symboli on muotoa "p q | r". Tämän määritelmän mukaan semiregulaarisia ovat vain kuusi kahdestatoista Arkhimedeen kappaleesta sekä säännölliset särmiöt sekä useat ei-kuperat kappaleet, mutta "eivät" esimerkiksi säännölliset antiprismat. Myöhemmin, vuonna 1973 Coxeter käytti Gosset'n määritelmää kommentoimatta sitä, hyväksymällä sen implisiittisesti.
Muun muassa Robert Williams on nimittänyt semiregulaarisiksi kuperia uniformisia monitahokkaita, lukuun ottamatta viittä säännöllistä monitahokasta mutta Arkhimedeen kappaleet, uniformiset särmiöt ja uniformiset antiprismat mukaan luettuina. 
Peter Cromwell mainitsee vuonna 1997 alaviitteessä sivulla 149, että nykyisin semiregulaarisilla monitahokkailla tarkoitetaan Arkhimedeen ja Catalanin kappaleita, joista viimeksi mainitut ovat Arkhimedeen kappaleiden duaaleja. Samassa kirjassa sivulta 367 lähtien hän kuitenkin käsittelee Catalanin kappaleiden suhdetta "semiregulaarisiin" Arkhimedeen kappaleisiin, ikään kuin termi "semiregulaarinen" ei kattaisikaan Catalanin kappaleita.