Tensor product of varieties : What's this notation ? I saw this notation in a survey on universal algebra, where was a variety, but the survey in question didn't define this notation. Could anyone explain what it means ?

Julian Werner

Julian Werner

Answered question

2022-09-12

Tensor product of varieties : What's this notation V 1 V 2 ?
I saw this notation V = V 1 V 2 in a survey on universal algebra, where was a variety, but the survey in question didn't define this notation. Could anyone explain what it means ?

Answer & Explanation

Karma Estes

Karma Estes

Beginner2022-09-13Added 11 answers

Way 1.
For the Kronecker product, or tensor product. ( V 1 V 2 is the variety of V 1 models in V 2 , and conversely.) You can find it used this way here
Freyd, P. Algebra valued functors in general and tensor products in particular. Colloq. Math. 14 1966 89-106.
in the language of algebraic theories, and here
Neumann, Walter D. Malʹcev conditions, spectra and Kronecker product. J. Austral. Math. Soc. Ser. A 25 (1978), no. 1, 103-117.
in the language of varieties. The notation V 1 V 2 is still used to denote the tensor product of varieties.
Way 2.
V 1 V 2 has been used to denote the categorical product in the category of varieties and clone morphisms. This product of the varieties and is the variety whose clone is the product of the clone of with the clone of . I have seen it denoted by V 1 V 2 , or by V 1 × ^ V 2 , or by V 1 × V 2 in, for example,
García, O. C.; Taylor, W. The lattice of interpretability types of varieties. Mem. Amer. Math. Soc. 50 (1984), no. 305, v+125.
McKenzie, Ralph A new product of algebras and a type reduction theorem. Algebra Universalis 18 (1984), no. 1, 29-69.
Grätzer, G.; Lakser, H.; Płonka, J. Joins and direct products of equational classes. Canad. Math. Bull. 12 1969 741-744.
Fortunately, the use of V 1 V 2 in the sense of Way 2 seems to be dying out, and instead V 1 × V 2 is being used for the categorical product.

Do you have a similar question?

Recalculate according to your conditions!

New Questions in Research Methodology

Ask your question.
Get an expert answer.

Let our experts help you. Answer in as fast as 15 minutes.

Didn't find what you were looking for?