Talk:Boolean algebra (structure)

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia
WikiProject Mathematics (Rated B-class, Mid-priority)
WikiProject iconThis article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.
B This article has been rated as B-Class on the project's quality scale.
 Mid  This article has been rated as Mid-priority on the project's priority scale.

About isomorphisms[edit]

In § 4, Homomorphisms and isomorphisms, why's isomorphisms being mentioned in the title, but not in the section itself? Are all homomorphisms also isomorphisms? That should be written then.

--Unknowledgeable (talk) 13:50, 18 July 2016 (UTC)Reply[reply]

I've added the definition of isomorphism; not every homomorphism is an isomorphism. Andrewbt (talk) 05:45, 31 December 2017 (UTC)Reply[reply]


Another useful identity (theorem, not axiom) is:

a ∨ (¬ab) = ab
a ∧ (¬ab) = ab

Does this have a standard name? It follows immediately from distributivity, of course. Should it be mentioned in the article? --Macrakis (talk) 20:09, 26 March 2021 (UTC)Reply[reply]