https://peeterjoot.com/2015/09/28/can-anticommuting-operators-have-a-simulaneous-eigenket/
Can anticommuting operators have a simulaneous eigenket?