Math 2.0

General algebraic systems Homomorphisms and substructures Concept

Subalgebra lattice

Summary

The subalgebra lattice of an algebra is the set of all its subuniverses, ordered by inclusion. It is a complete lattice, and in fact an algebraic lattice whose compact elements are the finitely generated subuniverses. It generalizes the lattice of subgroups of a group. By the Birkhoff–Frink theorem, every algebraic lattice arises in this way.

Where this leads

1 page builds on this one.

Further reading

  1. Web https://en.wikipedia.org/wiki/Compact_element
About this page
TagT0TNG7AGXT
URIm2://T0TNG7AGXT
Kindconcept
WritingW0 stub
MSC08A30, 06B23

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

Definitions

Results about this

Used by