We present the group-thoretical classification of gap functions in superconductors coexisting with some magnetic order in non-symmorphic magnetic space groups. Based on the weak-coupling BCS theory, we show that UCoGe-type ferromagnetic superconductors must have horizontal line nodes on either kz = 0 or ±π/c plane. Moreover, it is likely that additional Weyl point nodes exist at the axial point. On the other hand, in UPd2Al3-type antiferromagnetic superconductors, gap functions with Ag symmetry possess horizontal line nodes in antiferromagnetic Brillouin zone boundary perpendicular to c-axis. In other words, the conventional fully-gapped s-wave superconductivity is forbidden in this type of antiferromagnetic superconductors, irrelevant to the pairing mechanism, as long as the Fermi surface crosses a zone boundary. UCoGe and UPd2Al3 are candidates for unconventional superconductors possessing hidden symmetry-protected line nodes, peculiar to non-symmorphic magnetic space groups.In the research field of superconductivity, its coexistence of magnetism is a very interesting topic. Such coexistence between superconductivity and magnetism is often discovered in the U-based heavy-fermion superconductors. For example, UPd 2 Al 3 shows an antiferromagnetic transition at T N = 14K, and then coexists with unconventional superconductivity below T c = 2K [1,2]. UGe 2 [3], URhGe [4], and UCoGe [5] encounter a superconducting transition in the ferromagnetic phase. A rare reentrant superconductivity has been discovered under the magnetic field [6]. Theoretically, in UPd 2 Al 3 , it was discussed that a spin-singlet superconductivity with horizontal line nodes occurs via the virtual exchange of magnetic excitons [7,8]. In the ferromagnetic superconductors, it has been considered that the Ising-like ferromagnetic fluctuation can lead to a spin-triplet pairing state [9,10], and many fascinating phenomena including the odd H − T phase diagram have been studied [11][12][13][14][15][16]. However, in spite of the growing interest, the properties characteristic of the coexisting phase is less well understood systematically. In this situation, the group-theoreical classification, which provides definite statements independent of the details of materials, plays an important role.It is well-known that the superconducting states are classified into the irreducible representations (IRs) under a given point group symmetry [17][18][19]. Such classification provides useful information in analyzing the nodal structure of various unconventional superconductors [20]. Also, another development of gap classification based on the space group symmetry [21][22][23][24] gives us the correct way to take into account small representations at Brillouin zone (BZ) boundary in non-symmorphic space groups [25,26]. T. Micklitz and M. R. Norman [24] demonstrated in the pioneering work that new types of * nomoto.takuya@scphys.kyoto-u.ac.jp symmetry-protected nodes can appear at the BZ boundary. As for the coexisting phase, there is little progress of gap class...