Quotient sheaves of algebraic supergroups are superschemes

To generalize some fundamental results on group schemes to the super context, we study the quotient sheaf of an algebraic supergroup G by its closed supersubgroup H, in arbitrary characteristic ≠ 2. Our main theorem states that is a Noetherian superscheme. This together with derived results give positive answers to interesting questions posed by J. Brundan.