Explore >> Select a destination


You are here

kpknudson.com
| | thehousecarpenter.wordpress.com
19.0 parsecs away

Travel
| | NB: I've opted to just get straight to the point with this post rather than attempting to introduce the subject first, so it may be of little interest to readers who aren't already interested in proving the completeness theorem for propositional logic. A PDF version of this document is available here. The key thing I...
| | mattbaker.blog
18.8 parsecs away

Travel
| | Test your intuition: is the following true or false? Assertion 1: If $latex A$ is a square matrix over a commutative ring $latex R$, the rows of $latex A$ are linearly independent over $latex R$ if and only if the columns of $latex A$ are linearly independent over $latex R$. (All rings in this post...
| | cronokirby.com
16.8 parsecs away

Travel
| | - Read more: https://cronokirby.com/posts/2021/02/tychonoff-theorem-and-zorns-lemma/
| | www.jeremykun.com
44.7 parsecs away

Travel
| Last time we defined and gave some examples of rings. Recapping, a ring is a special kind of group with an additional multiplication operation that "plays nicely" with addition. The important thing to remember is that a ring is intended to remind us arithmetic with integers (though not too much: multiplication in a ring need not be commutative). We proved some basic properties, like zero being unique and negation being well-behaved.