Let MP, p = 0, 1, 2 ,..., be a sequence of positive numbers satisfying the conditions (2.1)-(2.3). Let Sz be an open set in R”, and let 9((M,), s2) and 9( { M,}, Q), Sz z [w”, denote the test function spaces of Beurling type and Roumieu type of ultradifferentiable functions of compact support, respectively. The corresponding ultradistribution spaces, denoted by 9’( (M,), a) and 9’( (M,}, 51) are generalizations of the Schwartz space 9’(G). Other spaces of the above type, consisting of ultradifferentiable functions on g, are I((M,), Sz) and &‘( {M,}, Sz), respectively. These are generalizations of the Gevrey-space rd(C2). For various properties of these spaces we may refer to [S, 10, 12, 163. If any result is true for both types of spaces then (M,) and (M,} will be replaced by the same MP. Assume that P(D) is a partial differential operator with constant coefficients. An ultradistribution EE g’(M,, R”) is said to be a fundamental solution of the operator P(D) if P(D) E = 6. In terms of this definition of fundamental solutions we define M,,-hypoelliptic operators, extending the definition of Schwartz of hypoelliptic operators. Nevertheless, we also extend the Schwartz criterion of hypoellipticity to M,-hypoellipticity. Let M(p) be the associated function of the sequence MP in the sense of Komatsu [ 111. Let P(c) be the hypoelliptic polynomial associated with the operator P(D). Then we extend Hbrmander’s algebraic characterization of hypoelliptic operators to M,-hypoelliptic operators in terms of the function M(p). This problem has been investigated earlier by Bjorck [6] for Beurling class of non-quasi-analytic functions, but our results are valid for quasianalytic class also. Moreover we unify both Beurling and Roumieu classes of ultradifferentiable functions. Assume that P(D) is a d-hypoelliptic operator of type p [3]. Let o denote a plane piece of the boundary of Sz, and let Qi(D),..., Q,(D) be 22 0022-0396/85 $3.00