Bottom of the lattice of subvarieties of lattices

lambdaL.dot

// From https://www1.chapman.edu/~jipsen/gap/lambdaL.html
digraph {

	rankdir=BT;
	edge[arrowhead=none];

	T [label="Trivial"];
	T -> D;

	D [label="Distributive"];
	D -> M3;
	D -> N;

	M3 [label=<M<sub>3</sub>>];
	M3 -> M4;
	M3 -> M32;
	M3 -> M3N;

	N [label="N"];
	N -> M3N;
	N -> L1;
	N -> L2;
	N -> L3;
	N -> L4;
	N -> L5;
	N -> L6;
	N -> L7;
	N -> L8;
	N -> L9;
	N -> L10;
	N -> L11;
	N -> L12;
	N -> L13;
	N -> L14;
	N -> L15;

	M4 [label=<M<sub>4</sub>>];
	M4 -> M5;

	M32 [label=<M<sub>3^2</sub>>];
	M32 -> M33;
	M32 -> A1;
	M32 -> A2;
	M32 -> A3;
	M32 -> P2;

	M3N [label=<M<sub>3</sub>+N>,fillcolor=coral,style=filled];
	M3N -> V1_8; // V1.. ..V8
	M3N -> V1_8;

	L1 [label=<L<sub>1</sub>>];
	L1 -> L16_25; // L16.. ..L25
	L1 -> L16_25;

	L2 [label=<L<sub>2</sub>>];
	L2 -> L16d_25d; // L16d. .L25d
	L2 -> L16d_25d;

	L3 [label=<L<sub>3</sub>>];
	L4 [label=<L<sub>4</sub>>];
	L5 [label=<L<sub>5</sub>>];

	L6 [label=<L<sub>6</sub>>];
	L6 -> L61;

	L7 [label=<L<sub>7</sub>>];
	L7 -> L71;

	L8 [label=<L<sub>8</sub>>];
	L8 -> L81;

	L9 [label=<L<sub>9</sub>>];
	L9 -> L91;

	L10 [label=<L<sub>10</sub>>];
	L10 -> L101;

	L11 [label=<L<sub>11</sub>>];
	L11 -> L111;
	L11 -> G1d;

	L12 [label=<L<sub>12</sub>>];
	L12 -> L121;
	L12 -> G1;

	L13 [label=<L<sub>13</sub>>];
	L13 -> L131;

	L14 [label=<L<sub>14</sub>>];
	L14 -> L141;

	L15 [label=<L<sub>15</sub>>];
	L15 -> L151;

	M5 [label=<M<sub>5</sub>>];
	M5 -> M6;

	M33 [label=<M<sub>3^3</sub>>];

	A1 [label=<A<sub>1</sub>>];
	A2 [label=<A<sub>2</sub>>];
	A3 [label=<A<sub>3</sub>>];
	P2 [label=<P<sub>2</sub>>];

	V1_8 [label=<V<sub>1</sub>...V<sub>8</sub>>];

	L16_25 [label=<L<sub>16</sub>...L<sub>25</sub>>];
	L16d_25d [label=<L<sub>16</sub><sup>d</sup>...L<sub>25</sub><sup>d</sup>>];

	L61 [label=<L<sub>6</sub><sup>1</sup>>];
	L61 -> L62;

	L71 [label=<L<sub>7</sub><sup>1</sup>>];
	L71 -> L72;

	L81 [label=<L<sub>8</sub><sup>1</sup>>];
	L81 -> L82;

	L91 [label=<L<sub>9</sub><sup>1</sup>>];
	L91 -> L92;

	L101 [label=<L<sub>10</sub><sup>1</sup>>];
	L101 -> L102;

	L111 [label=<L<sub>11</sub><sup>1</sup>>];
	L111 -> L112;

	L121 [label=<L<sub>12</sub><sup>1</sup>>];
	L121 -> L122;

	L131 [label=<L<sub>13</sub><sup>1</sup>>];
	L131 -> L132;

	L141 [label=<L<sub>14</sub><sup>1</sup>>];
	L141 -> L142;

	L151 [label=<L<sub>15</sub><sup>1</sup>>];
	L151 -> L152;

	G1d [label=<G<sub>1</sub><sup>d</sup>>];
	G1d -> G2d;

	G1 [label=<G<sub>1</sub>>];
	G1 -> G2;

	L62 [label=<L<sub>6</sub><sup>2</sup>>];
	L72 [label=<L<sub>7</sub><sup>2</sup>>];
	L82 [label=<L<sub>8</sub><sup>2</sup>>];
	L92 [label=<L<sub>9</sub><sup>2</sup>>];
	L102 [label=<L<sub>10</sub><sup>2</sup>>];
	L112 [label=<L<sub>11</sub><sup>2</sup>>];
	L122 [label=<L<sub>12</sub><sup>2</sup>>];
	L132 [label=<L<sub>13</sub><sup>2</sup>>];
	L142 [label=<L<sub>14</sub><sup>2</sup>>];
	L152 [label=<L<sub>15</sub><sup>2</sup>>];

	L132 -> A [color=blue];
	L152 -> A [color=blue];

	G2d [label=<G<sub>2</sub><sup>d</sup>>];
	G2 [label=<G<sub>2</sub>>];

	M6 [label=<M<sub>6</sub>>];
	M6 -> Mw [color=blue];

	Mw [label=<M<sub>&omega;</sub>>];
	Mw -> M [color=blue];

	A [label="Almost distributive"];
	A -> L [color=blue];

	M [label="Modular"];
	M -> Mplus;

	Mplus [label=<M<sup>+</sup>>];
	Mplus -> L [color=blue];

	L [label="All lattices"];
}