This article relies largely or entirely on a single source. Relevant discussion may be found on the talk page. Please help improve this article by introducing citations to additional sources. Find sources: "Locally finite variety" – news · newspapers · books · scholar · JSTOR(May 2024)
In universal algebra, a variety of algebras means the class of all algebraic structures of a given signature satisfying a given set of identities. One calls a variety locally finite if every finitely generated algebra has finite cardinality, or equivalently, if every finitely generated free algebra has finite cardinality.
The variety of Boolean algebras constitutes a famous example. The free Boolean algebra on n generators has cardinality 22n, consisting of the n-ary operations 2n→2.
The variety of sets constitutes a degenerate example: the free set on n generators has cardinality n, consisting of just the generators themselves.
The variety of pointed sets constitutes a trivial example: the free pointed set on n generators has cardinality n+1, consisting of the generators along with the basepoint.
The variety of graphs defined as follows constitutes a combinatorial example. Define a graph G = (E,s,t) to be a set E of edges and unary operations s, t of source and target satisfying s(s(e)) = t(s(e)) and s(t(e)) = t(t(e)). Vertices are those edges in the (common) image of s and t. The free graph on n generators has cardinality 3n and consists of n edges e each with two endpoints s(e) and t(e). Graphs with nontrivial incidence relations arise as quotients of free graphs, most usefully by identifying vertices.
The variety of sets and the variety of graphs so defined each forms a presheaf category and hence a topos. This is not the case for the variety of Boolean algebras or of pointed sets.
and 29 Related for: Locally finite variety information
variety locallyfinite if every finitely generated algebra has finite cardinality, or equivalently, if every finitely generated free algebra has finite cardinality...
space Locally finite group Locallyfinite measure Locallyfinite operator in linear algebra Locallyfinite poset Locallyfinite space, a topological space...
is quasi-finite if it is of finite type and has finite fibers. quasi-projective A quasi-projective variety is a locally closed subvariety of a projective...
algebraic variety over a field is an integral (irreducible and reduced) scheme over that field whose structure morphism is separated and of finite type. An...
An associated complex analytic space (variety) X h {\displaystyle X_{h}} is such that; Let X be schemes finite type over C {\displaystyle \mathbb {C}...
algebraic geometry, a morphism between algebraic varieties is a function between the varieties that is given locally by polynomials. It is also called a regular...
The finite element method (FEM) is a popular method for numerically solving differential equations arising in engineering and mathematical modeling. Typical...
metric of constant curvature −1) is a locally symmetric space but not a symmetric space. Every lens space is locally symmetric but not symmetric, with the...
example, any finite group scheme is complete. A group scheme G over a noetherian scheme S is finite and flat if and only if OG is a locally free OS-module...
multiply connected space like a 3 torus has everywhere zero curvature but is finite in extent, whereas a flat simply connected space is infinite in extent (such...
residually finite or finitely approximable if for every element g that is not the identity in G there is a homomorphism h from G to a finite group, such...
smooth variety X over the real numbers, the space X(R) of real points is a real manifold, possibly empty. For any scheme X that is locally of finite type...
proper variety over a field k a complete variety. For example, every projective variety over a field k is proper over k. A scheme X of finite type over...
Hausdorff and has a σ-locallyfinite base. A σ-locallyfinite base is a base which is a union of countably many locallyfinite collections of open sets...
are probability measures. The finite measures are often easier to handle than more general measures and show a variety of different properties depending...
In algebraic geometry, a finite morphism between two affine varieties X , Y {\displaystyle X,Y} is a dense regular map which induces isomorphic inclusion...
quasi-projective variety and quasi-affine variety.) Finite intersections and the pre-image under a continuous map of locally closed sets are locally closed. On...
{\displaystyle \mathbb {Z} _{p}} for a prime number p. A locally cyclic group is a group in which each finitely generated subgroup is cyclic. An example is the...
groups is generally simpler than that of their non-abelian counterparts, and finite abelian groups are very well understood and fully classified. An abelian...
{\displaystyle G} is called locallyfinite if every finitely generated subgroup is finite. This is equivalent, in fact, to being 'ind-finite'. By applying Pontryagin...
over k. The category of coordinate rings of affine varieties over k is precisely the category of finitely-generated, nilpotent-free algebras over k. More...
-):{\text{Ab}}(X)\to {\text{Ab}}} preserve direct limits and coproducts. Given a locallyfinite type morphism f : X → S {\displaystyle f:X\to S} to a Noetherian scheme...
the variety that is reduced to a finite number of points (dimension zero). This definition is based on the fact that the intersection of a variety with...
some finite family of homogeneous polynomials of n + 1 variables with coefficients in k, that generate a prime ideal, the defining ideal of the variety. Equivalently...
coherent sheaf F {\displaystyle F} is a quasi-coherent sheaf that is, locally, of finite type and for every open subset U {\displaystyle U} of X {\displaystyle...
smoothning of the variety. There are many equivalent definitions of a smooth morphism. Let f : X → S {\displaystyle f:X\to S} be locally of finite presentation...
study of finite topologies in this sense "an oddball topic that can lend good insight to a variety of questions". Let X {\displaystyle X} be a finite set....
bundle of a projective variety with Kawamata log terminal singularities is nef, then it is semiample. Bass conjecture on the finite generation of certain...
{\mathcal {F}}} on a ringed space X {\displaystyle X} is called locally free of finite rank, or a vector bundle, if every point in X {\displaystyle X}...