Definition talk:Generator of Algebra

From ProofWiki
Jump to navigation Jump to search

Feels like the title is talking about $S$ while the page seems to be talking about the subalgebra generated by $S$. I would want a separate page for "generated subalgebra" Caliburn (talk) 10:01, 23 August 2023 (UTC)

This page as it stands is probably better named Definition:Generator of Subalgebra. Feel free to rename it, and if you're in that area, also feel free to expand this in any which way you think would work. --prime mover (talk) 10:26, 23 August 2023 (UTC)