22:
40:
58:
380:
121:
The following definition originates in
Schmidt's 1968 work and was subsequently adjusted by Wehrung.
72:
99:
240:
87:
306:
295:
103:
374:
76:
15:
344:
36:
261:
but whose set of operations is a subset of the one of
355:
A uniform refinement property for congruence lattices
366:
A solution to
Dilworth's congruence lattice problem
31:
may be too technical for most readers to understand
257:(that is, an algebra with same underlying set as
125:Definition (weakly distributive homomorphisms).
8:
59:Learn how and when to remove this message
43:, without removing the technical details.
94:has a largest element. We say that θ is
41:make it understandable to non-experts
7:
346:, Mat. Casopis Sloven. Akad. Vied.
114:, of monomial join-congruences of
14:
283:is weakly distributive. Here, Con
20:
1:
397:
139:between join-semilattices
361:, no. 2 (1999), 363–370.
357:, Proc. Amer. Math. Soc.
318:(∨, 0)-homomorphism
267:(∨, 0)-homomorphism
334:is weakly distributive.
292:(∨, 0)-semilattice
183:, there are elements
296:compact congruences
149:weakly distributive
104:congruence lattice
90:of any element of
368:, preprint 2006.
307:convex sublattice
265:), the canonical
88:equivalence class
69:
68:
61:
388:
381:Abstract algebra
319:
316:, the canonical
293:
268:
127:A homomorphism
77:join-semilattice
64:
57:
53:
50:
44:
24:
23:
16:
396:
395:
391:
390:
389:
387:
386:
385:
371:
370:
350:(1968), 3--20.
340:
330:
323:
317:
291:
286:
279:
272:
266:
65:
54:
48:
45:
37:help improve it
34:
25:
21:
12:
11:
5:
394:
392:
384:
383:
373:
372:
342:E.T. Schmidt,
339:
336:
328:
321:
284:
277:
270:
67:
66:
28:
26:
19:
13:
10:
9:
6:
4:
3:
2:
393:
382:
379:
378:
376:
369:
367:
362:
360:
356:
351:
349:
345:
337:
335:
333:
326:
315:
312:of a lattice
311:
308:
303:
301:
297:
289:
282:
275:
264:
260:
256:
252:
249:
245:
242:
237:
236:
232:
230:
226:
222:
218:
214:
210:
206:
202:
198:
194:
190:
186:
182:
178:
174:
170:
166:
162:
158:
154:
151:, if for all
150:
146:
142:
138:
134:
130:
126:
122:
119:
117:
113:
109:
105:
101:
98:, if it is a
97:
93:
89:
85:
81:
78:
74:
63:
60:
52:
49:November 2011
42:
38:
32:
29:This article
27:
18:
17:
365:
364:F. Wehrung,
363:
358:
354:
353:F. Wehrung,
352:
347:
343:
341:
331:
324:
313:
309:
304:
299:
290:denotes the
287:
280:
273:
262:
258:
254:
250:
247:
243:
238:
234:
233:
228:
224:
220:
216:
212:
208:
204:
200:
196:
192:
188:
184:
180:
176:
172:
168:
164:
160:
156:
152:
148:
144:
140:
136:
132:
128:
124:
123:
120:
115:
111:
107:
96:distributive
95:
91:
83:
79:
70:
55:
46:
30:
239:(1) For an
86:, if the θ-
338:References
305:(2) For a
195:such that
167:such that
106:Con
73:congruence
235:Examples:
102:, in the
375:Category
320:from Con
269:from Con
159:and all
131: :
84:monomial
294:of all
241:algebra
75:θ of a
35:Please
327:to Con
276:to Con
248:reduct
246:and a
219:, and
227:) ≤
215:) ≤
187:and
175:) ≤
153:a, b
143:and
100:join
359:127
298:of
253:of
191:of
163:in
155:in
147:is
110:of
82:is
39:to
377::
348:18
302:.
231:.
207:,
203:∨
199:≤
179:∨
135:→
118:.
71:A
332:L
329:c
325:K
322:c
314:L
310:K
300:A
288:A
285:c
281:B
278:c
274:A
271:c
263:B
259:B
255:B
251:A
244:B
229:b
225:y
223:(
221:μ
217:a
213:x
211:(
209:μ
205:y
201:x
197:c
193:S
189:y
185:x
181:b
177:a
173:c
171:(
169:μ
165:T
161:c
157:S
145:T
141:S
137:T
133:S
129:μ
116:S
112:S
108:S
92:S
80:S
62:)
56:(
51:)
47:(
33:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.