Recently, a new class of quantum phases of matter---symmetry protected topological states, such as topological insulators---has attracted much attention. In presence of interactions, group cohomology provides a classification of these [Chen et al., Phys. Rev. B 87, 155114 (2013)]. These phases have short-ranged entanglement and no topological order in the bulk. However, when long-range entangled topological order is present, it is much less understood how to classify quantum phases of matter in the presence of global symmetries. Here we present a classification of bosonic gapped quantum phases with or without long-range entanglement in the presence or absence of on-site global symmetries. In
2+1 dimensions, the quantum phases in the presence of a global symmetry group
SG, and with topological order described by a finite gauge group
GG, are classified by the cohomology group ${H}^{3}(SG\ifmmode\times\else\texttimes\fi{}GG,U(1))$. Generally, in
d+1 dimensions, such quantum phases are classified by ${H}^{d+1}(SG\ifmmode\times\else\texttimes\fi{}GG,U(1))$. Although we only partially understand to what extent our classification is complete, we present an exactly solvable local bosonic model, in which the topological order is emergent, for each given class in our classification. When the global symmetry is absent, the topological order in our models is described by the general Dijkgraaf-Witten discrete gauge theories. When the topological order is absent, our models become the exactly solvable models for symmetry protected topological phases [Chen et al., Phys. Rev. B 87, 155114 (2013)]. When both the global symmetry and the topological order are present, our models describe symmetry enriched topological phases. Our classification includes, but goes beyond, the previously discussed projective symmetry group classification. Measurable signatures of these symmetry enriched topological phases and generalizations of our classification are discussed.