Math 2.0

General algebraic systems Definition

Minimal clone

Builds on CloneProjection operationLattice of clones

Definition

Let AA be a set with at least two elements, and let JAJ_A be the clone of all projections on AA. A clone CC on AA is minimal if C≠JAC \ne J_A and the only clones DD with JA⊆D⊆CJ_A \subseteq D \subseteq C are JAJ_A and CC. Equivalently, CC is an atom of the lattice of clones on AA.

Remarks

A clone C≠JAC \ne J_A is minimal exactly when every non-projection operation in CC generates CC. Example: on {0,1}\set{0, 1}, the clone generated by ∧\wedge is minimal. Check: its nn-ary members are the operations xi1∧⋯∧xirx_{i_1} \wedge \cdots \wedge x_{i_r}, and identifying variables in one with r≥2r \ge 2 distinct variables gives x∧yx \wedge y back. Non-example: the clone generated by ∧\wedge and ∨\vee on {0,1}\set{0, 1} is not minimal. It properly contains the clone generated by ∧\wedge, which is not the projection clone. On {0,1}\set{0, 1} there are exactly seven minimal clones, generated by the constant 00, the constant 11, ¬\neg, ∧\wedge, ∨\vee, the majority operation, and x+y+zx + y + z modulo 22.

Reading path

To understand this page from the ground up, read these 4 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Clone concept
  2. Lattice of clones concept
  3. Projection operation concept
  4. Minimal clone definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Clone_(algebra)
About this page
TagJFJYSSWSSR
URIm2://JFJYSSWSSR
Kinddefinition
WritingW0 stub
MSC08A40
DefinesMinimal clone
UsesClone, Projection operation, Lattice of clones
Changed2 November 2026

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

No page links to this page yet.