Bowen & Wang, in(adsbygoogle = window.adsbygoogle || []).push({}); Introduction to Vectors and Tensorsoften define some algebraic structure as an n-tuple, e.g. "A semigroup is a pair (G,*) consisting of a nonsempty set G with an associative binary operation: (a*b)*c=a*(b*c) for all a,b,c in G." For more complicated structures, they use this kind of definition repeatedly: "A vector space is a 3-tuple (V,F,f) consisting of an additive abelian group V, a field F and a function [itex]f : F \times V \to V[/itex] such that..."

What's niggling me is that, having gone to such lengths to define these structures precisely in terms of sets, the distinction is then blurred between elements of these tuples and elements of their elements, and so on, e.g. "A vector space V is a 3-tuple (V,F,f) consisting of an abelian group V, a field F, and an operation f, called scalar multiplication, in which every scalar [itex]\lambda \in F[/itex] can be combined with every element [itex]\textbf{u} \in V[/itex]..."

The symbol V is used three times in this definition, each time with a different referent: (1) vector space in their n-tuple sense, (2) abelian group in their n-tuple sense, (3) set of vectors on which the abelian group is defined!

But more often I read about vectors as "elements of a vector space", meaning elements of the third V, the set of vectors, rather than elements of the 3-tuple which Bowen & Wang define as a vector space. The more common usage seems to be to define a set as, say, a group Gwithsome operation, or a set M as a manifoldwithsome topology and atlas of coordinate charts. Is there a generally recognised name or notation for the set over which an algebraic structure is defined which distinguishes it from the n-tuple that is the structure itself?

I suppose the common way of describing these things is equivalent to Bowen & Wang's more formal definition in terms of n-tuples, but the name that Bowen & Wang give to the whole structure is more often given to just a part of it, a certain set. Is that right? Maybe I could call a set of vectors "the vector space V", and the n-tuple (V,F,f) the "(vector space) structure of V". Is that the usual practice, or are there more standard terms?

**Physics Forums - The Fusion of Science and Community**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Defining algebraic structures as n-tuples

Loading...

Similar Threads - Defining algebraic structures | Date |
---|---|

A Defining the membership relation in set theory? | Sep 27, 2017 |

I Hessian of least squares estimate behaving strangely | Aug 6, 2016 |

What defines probability | Jan 9, 2016 |

The limit of random variable is not defined | Nov 16, 2015 |

How to define a set without set builder notation | Apr 29, 2014 |

**Physics Forums - The Fusion of Science and Community**