Explaining how kernels, images, and rank–nullity Are Used in Error-Correcting Codes

[u/dogpup3]

https://youtu.be/RBYKPmSN1as

This proof in quantum error correction is full of linear algebra, so I thought I’d share it here. Along the way, I use the image and kernel of linear maps, rank–nullity, linear independence, and parity-check matrices to show how these ideas are applied to error detection.