95:
85:
64:
31:
176:
22:
392:
ambiguous. I would say "two distinct elements" if that's definitely what we mean. (I think it's a slightly controversial point whether there's a one-element
Boolean algebra; in my usage there is not, but I'm not sure there's a complete consensus on it in the literature.)
358:
I think it is typical (See for instance page 10 of "Introduction to
Boolean algebras" by Paul Halmos) that in the definition of the algebra, $ 0$ and $ 1$ are distinct elements. Should I make the change?
151:
439:
429:
35:
444:
424:
454:
201:
197:
193:
189:
141:
117:
434:
449:
108:
69:
254:
being mentioned in the title, but not in the section itself? Are all homomorphisms also isomorphisms? That should be written then.
339:
Does this have a standard name? It follows immediately from distributivity, of course. Should it be mentioned in the article? --
419:
44:
231:
210:
262:
50:
364:
360:
116:
on
Knowledge (XXG). If you would like to participate, please visit the project page, where you can join
94:
258:
21:
398:
379:
344:
277:
216:
100:
84:
63:
212:
175:
402:
383:
368:
348:
281:
266:
394:
214:
413:
375:
340:
273:
272:
I've added the definition of isomorphism; not every homomorphism is an isomorphism.
113:
90:
374:
In
English, "two elements 0 and 1" means "two" not "one or two".
217:
169:
15:
354:$ 1$ and $ 0$ are supposed to be distinct in the definition
440:
112:, a collaborative effort to improve the coverage of
292:Another useful identity (theorem, not axiom) is:
430:Knowledge (XXG) vital articles in Mathematics
225:This page has archives. Sections older than
8:
58:
235:when more than 10 sections are present.
126:Knowledge (XXG):WikiProject Mathematics
60:
19:
425:Knowledge (XXG) level-5 vital articles
445:B-Class vital articles in Mathematics
7:
106:This article is within the scope of
248:§ 4, Homomorphisms and isomorphisms
49:It is of interest to the following
14:
455:Mid-priority mathematics articles
229:may be automatically archived by
174:
129:Template:WikiProject Mathematics
93:
83:
62:
29:
20:
146:This article has been rated as
435:B-Class level-5 vital articles
403:19:16, 20 September 2024 (UTC)
384:14:21, 20 September 2024 (UTC)
369:13:59, 20 September 2024 (UTC)
1:
282:05:45, 31 December 2017 (UTC)
120:and see a list of open tasks.
450:B-Class mathematics articles
471:
349:20:09, 26 March 2021 (UTC)
267:13:50, 18 July 2016 (UTC)
145:
78:
57:
152:project's priority scale
109:WikiProject Mathematics
420:B-Class vital articles
232:Lowercase sigmabot III
43:on Knowledge (XXG)'s
36:level-5 vital article
132:mathematics articles
242:About isomorphisms
101:Mathematics portal
45:content assessment
239:
238:
166:
165:
162:
161:
158:
157:
462:
234:
218:
178:
170:
134:
133:
130:
127:
124:
103:
98:
97:
87:
80:
79:
74:
66:
59:
42:
33:
32:
25:
24:
16:
470:
469:
465:
464:
463:
461:
460:
459:
410:
409:
388:I'd say it's a
356:
290:
288:Anti-absorption
259:Unknowledgeable
244:
230:
219:
213:
183:
131:
128:
125:
122:
121:
99:
92:
72:
40:
30:
12:
11:
5:
468:
466:
458:
457:
452:
447:
442:
437:
432:
427:
422:
412:
411:
408:
407:
406:
405:
355:
352:
337:
336:
315:
289:
286:
285:
284:
243:
240:
237:
236:
224:
221:
220:
215:
211:
209:
206:
205:
185:
184:
179:
173:
164:
163:
160:
159:
156:
155:
144:
138:
137:
135:
118:the discussion
105:
104:
88:
76:
75:
67:
55:
54:
48:
26:
13:
10:
9:
6:
4:
3:
2:
467:
456:
453:
451:
448:
446:
443:
441:
438:
436:
433:
431:
428:
426:
423:
421:
418:
417:
415:
404:
400:
396:
391:
387:
386:
385:
381:
377:
373:
372:
371:
370:
366:
362:
361:PierreQuinton
353:
351:
350:
346:
342:
335:
331:
327:
323:
319:
316:
314:
310:
306:
302:
298:
295:
294:
293:
287:
283:
279:
275:
271:
270:
269:
268:
264:
260:
255:
253:
249:
241:
233:
228:
223:
222:
208:
207:
204:
203:
199:
195:
191:
187:
186:
182:
177:
172:
171:
168:
153:
149:
143:
140:
139:
136:
119:
115:
111:
110:
102:
96:
91:
89:
86:
82:
81:
77:
71:
68:
65:
61:
56:
52:
46:
38:
37:
27:
23:
18:
17:
389:
357:
338:
333:
329:
325:
321:
317:
312:
308:
304:
300:
296:
291:
256:
252:isomorphisms
251:
247:
245:
226:
188:
180:
167:
148:Mid-priority
147:
107:
73:Mid‑priority
51:WikiProjects
34:
123:Mathematics
114:mathematics
70:Mathematics
414:Categories
395:Trovatore
39:is rated
376:D.Lazard
341:Macrakis
274:Andrewbt
250:, why's
227:365 days
181:Archives
150:on the
41:B-class
390:little
47:scale.
28:This
399:talk
380:talk
365:talk
345:talk
328:) =
320:∧ (¬
307:) =
299:∨ (¬
278:talk
263:talk
246:In
142:Mid
416::
401:)
393:--
382:)
367:)
347:)
332:∧
324:∨
311:∨
303:∧
280:)
265:)
257:--
200:,
196:,
192:,
397:(
378:(
363:(
343:(
334:b
330:a
326:b
322:a
318:a
313:b
309:a
305:b
301:a
297:a
276:(
261:(
202:4
198:3
194:2
190:1
154:.
53::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.