Apparently "Republic of Ireland" is officially the
description but not the
name of the state:
https://en.wikipedia.org/wiki/Names_of_the_Irish_stateI guess it's similar to Germany being the "Federal Republic of Germany", or China being either the "People's Republic of China" (mainland) or the "Republic of China" (Taiwan).