1,788 reputation
412
bio website williamdemeo.org
location
age
visits member for 3 years, 4 months
seen 9 hours ago

on the job market


9h
comment A Course in Universal Algebra (Millennium edition), page 74
@TimLee No, the "Sub" tab draws the lattice of subalgebras of the currently selected algebra. If "Sub" showed a 2x2, that means you're still looking at the 2-element lattice. After following the steps I gave above, you will see two lines in the Algebras list at the bottom of the UACalc window. The first is lat2. The second is the free algebra over lat2 that you constructed using the Tasks menu. Now, from this list of Algebras, select "F(2) over lat2". You can then click the Edit tab and see what the multiplication table is for the free algebra, and draw it using Drawing-->Algebra.
1d
answered What does a lattice of the direct power of the two-element chain look like?
2d
comment A Course in Universal Algebra (Millennium edition), page 74
You may find it instructive to try out some small examples in the Universal Algebra Calculator (www.uacalc.org). After you launch the application, try, for example: File -> Built In Algs -> lat2. Then: Tasks -> Free Algebra. You will be prompted for the number if generators. Enter 2, then click "Drawing" and "Go". You will see a 2x2 lattice. When learning this stuff, UACalc can be useful for verifying pencil/paper calculations.
2d
comment A Course in Universal Algebra (Millennium edition), page 74
You ask, "any example?" ...but you already gave an example inside the parentheses. In your example, K contains only the two element lattice L. The free algebra over K on two generators is a 2x2 lattice, which is not isomorphic to L, so it is not isomorphic to any lattice in K.
May
15
awarded  Yearling
Apr
9
comment H P S class operators and their inequalities
Perhaps people would be more willing to answer if you accepted, or at least commented on, the answers provided to your earlier questions, for example this one or this one or this one or this one. This isn't simply a matter of reputation points. No one wants to spend time posting answers if they have the feeling their answers will be ignored.
Mar
29
comment What do we call functions that are definable by expressions?
Eran is right. See also: page 68 and 69 of Burris and Sankappanavar.
Mar
23
revised Suggestions for a learning roadmap for universal algebra?
deleted 15 characters in body
Mar
23
answered Proving every totally ordered and bounded lattice set is a Heyting Algebra
Mar
23
comment Proving every totally ordered and bounded lattice set is a Heyting Algebra
Okay, I'll change my comment to an answer, so the question can be marked answered. By the way, I recently started learning Coq, so if you implement this proof, could you share it? Thanks!
Mar
7
comment Can the actual scope of “lattice theory” be summarized as “algebraic order theory”?
I see. That makes sense. Thanks for elaborating on the motivation.
Mar
7
comment Can the actual scope of “lattice theory” be summarized as “algebraic order theory”?
What do you mean by "scope", and what is your motivation? Semilattice theory is connected to lattice theory insofar as a semilattice is a reduct of a lattice. One could argue that the "scope" of lattice theory extends beyond "pure" lattice theory, since lattices show up so often when studying other mathematical structures (e.g., lattices of: subalgebras, congruence realtions, ideals, normal subgroups, partitions, etc). However, "pure" lattice theory might be confined to the abstract theory of lattices. I think scope is hard to define, and I'm not sure why you would want to define it.
Feb
18
revised Subdirect embedding of a quotient algebra
added 20 characters in body
Feb
14
comment complete lattice
What do you mean by continuous?
Feb
14
comment complete lattice
Why do you write "(finite) complete" instead of "finite (complete)"?
Feb
13
revised Subdirect embedding of a quotient algebra
deleted 10 characters in body
Feb
13
answered Subdirect embedding of a quotient algebra
Feb
11
revised Help visualize set of all equivalence relations
added 959 characters in body
Feb
8
revised Help visualize set of all equivalence relations
deleted 10 characters in body
Feb
8
answered Help visualize set of all equivalence relations