The free modular lattice on $n$ generators is finite for $n=1,2,3$, but for $n=4$ not only is it infinite but its word problem is recursively unsolvable.
|
1 | [made Community Wiki] | ||
|
|
||||
|
|
1 | [made Community Wiki] | ||
|
The free modular lattice on $n$ generators is finite for $n=1,2,3$, but for $n=4$ not only is it infinite but its word problem is recursively unsolvable. |
||||
