5 ms·
You can get that every integral domain is a field with fewer words by using a higher powered set theory result -- injections on finite sets are also surjections
by clintonc 1y ago
You can get that every integral domain is a field with fewer words by using a higher powered set theory result -- injections on finite sets are also surjections. The cancellation property says multiplication by any element is an injection, so it is also a surjection, i.e., 1 is in the range, so that gives you the multiplicative inverse.
- csense 1y ago> injections on finite sets are also surjections Not necessarily [1]. I think you're missing an assumption there. [1] https://en.wikipedia.org/wiki/Injective_function#/media/File:Injection.svg https://en.wikipedia.org/wiki/Injective_function#/media/File...
- MaxRegret 1y agoIn this case, multiplication by any nonzero fixed element of the ring is an injection from the ring to itself. Any injection from a finite set to itself is indeed a surjection (and so also a bijection).
- susam 1y agoThe intended point, I believe, is the fact that any injective function from a finite set to itself is also surjective.
- vouaobrasil 1y agoThe correct statement is that an injection from a finite set to itself is a surjection. The converse is true, too. A surjection from a finite set to itself is an injection.