monoid.free

Recent Notes

  • The Nyberg-Brodda Monoid Family is FCRS

    Sep 05, 2026

  • The Gilbert-Howie group H(9,7) has 37 elements

    Aug 23, 2026

  • Exercise A0.V.3.08

    Aug 23, 2026

  • Random Proofs

    Aug 23, 2026

  • Exercise A0.V.3.06

    Jun 19, 2026

Home

❯

Notes

Folder: Notes

7 items under this folder.

  • Sep 05, 2026

    The Nyberg-Brodda Monoid Family is FCRS

    • research
    • monoids
  • Aug 23, 2026

    The Gilbert-Howie group H(9,7) has 37 elements

    • research
  • Aug 23, 2026

    Random Proofs

    • May 28, 2026

      The 3-Sylow of the triple cover of the third Janko group

      • WIP
    • Mar 30, 2026

      Homological Algebra Lemmas

      • WIP
      • playground
      • homological-algebra
    • Mar 22, 2026

      Isomorphism Theorems

      • isomorphism-theorems
      • groups
      • modules
      • ideals
      • rings
    • Mar 11, 2026

      Joint Epi and Joint Mono


      Recent Notes

      • The Nyberg-Brodda Monoid Family is FCRS

        Sep 05, 2026

      • The Gilbert-Howie group H(9,7) has 37 elements

        Aug 23, 2026

      • Exercise A0.V.3.08

        Aug 23, 2026

      • Random Proofs

        Aug 23, 2026

      • Exercise A0.V.3.06

        Jun 19, 2026

      Created with Quartz v4.5.2 and Remark42

      • contact me