# One-to-many relations in group theory

• B
• redtree
In summary, the conversation discusses the relationship between Spin(n) and SO(n) groups and how they are related through a double covering. The question is then posed about how to write the inverse relation, specifically a one-to-many relation, between the two groups while preserving neighborhood isomorphism. One possible approach is to map each element onto a set of possible values, with the preimage of a reflection being the two orthogonal unit vectors of the hyperplane fixed by the reflection. This approach is based on the idea that the spin group, built from the Clifford algebra, has elements that are formal products of vectors from a vector space, and the target group SO(n) consists of orthogonal transformations of that space.
redtree
TL;DR Summary
Mappings from one group to another
I apologize for the simple question, but it has been bothering me. One can write a relationship between groups, such as for example between Spin##(n)## and SO##(n)## as follows:

1 \rightarrow \{-1,+1 \} \rightarrow \text{Spin}(n) \rightarrow \text{SO}(n) \rightarrow 1

when ##n \neq 2##

In this context, Spin##(n)## is the double covering of SO##(n)##, which, as far as I understand, means there is a 2-to-1 mapping from Spin##(n)## to SO##(n)## with neighborhood isomorphism between the groups.

How would one write the inverse relation, i.e., the many-to-one relation between groups. In the case of SO##(n)## and Spin##(n)##, how would one write the the 1-to-2 relation from SO##(n)## to Spin##(n)## where neighborhood isomorphism is preserved?

Just to be clear. I understand that a function or mapping can be one-to-one or many-to-one but cannot be one-to-many. However, a binary relation can be one-to-many, such that a binary relation theoretically could connect a base space to a covering space.

Last edited:
redtree said:
How would one write the inverse relation, i.e., the many-to-one relation between groups. In the case of SO##(n)## and Spin##(n)##, how would one write the the 1-to-2 relation from SO##(n)## to Spin##(n)## where neighborhood isomorphism is preserved?
I switched terms. It should read as follows:

How would one write the inverse relation, i.e., the one-to-many relation between groups. In the case of SO##(n)## and Spin##(n)##, how would one write the the 1-to-2 relation from SO##(n)## to Spin##(n)## where neighborhood isomorphism is preserved?

Why not map each element onto the set of possible values?

as paul colby says, this reduces to finding, for each transformation in SO(n), the 2 elements of Spin that map to that element. Spoiler alert: I know nothing about this stuff, not even what the clifford algebra is, BUT I scanned the wikipedia article on this topic, and one can get some insight from it. I.e. the clifford algebra, or rather the spin group built from it, has as elements, certain formal products of elements of a vector space V, and the target group SO(n) consists of orthogonal transformations of that space. The key remark to me, in that wiki article, says that in the special case of products with only one factor x of V, i.e. elements of degree one, the target transformation is the reflection in the hyperplane orthogonal to the vector x. Since a hyperplane has two unit length orthogonal vectors, this gives the two preimages of that reflection. Now since more general elements are obtained by taking products of more factors, and the map is a homomorphism, presumably an orhogonal transformation which is a composition of reflections, has as preimage the product of their orthogonal unit vectors. Presumably the equivalence relation on the spin group makes those products of vectors equivalent except for minus, so there are two preimages. Moreover, perhaps every orthogonal transformation in SO(n) is a composition of reflectiopns, not necessarily orthogonal, i.e. consists of orthognal reflections and rotations, and possibly the preimages are products of the unit orthogonal vectors of these hyperp[lanes.

remember, I did not actually learn this stuff before positing this answer, but at least the part quoted from wikipedia is probably right, that the inverse image of a reflection is the two orthogonal unit vectors of the hyperplane fixed by the reflection.

## 1. What is a one-to-many relation in group theory?

A one-to-many relation in group theory refers to a relationship between two sets, where one element in the first set can be paired with multiple elements in the second set. This is also known as a many-to-one correspondence, as multiple elements in the second set can be mapped to one element in the first set.

## 2. How are one-to-many relations represented in group theory?

One-to-many relations can be represented using various methods in group theory, such as tables, diagrams, or algebraic equations. These representations help to visualize and understand the relationship between the two sets and their elements.

## 3. What is the significance of one-to-many relations in group theory?

One-to-many relations are important in group theory as they help to establish connections and patterns between different elements in a group. They also play a crucial role in understanding the structure and properties of groups, which are fundamental concepts in mathematics and other scientific fields.

## 4. Can one-to-many relations exist in other mathematical concepts?

Yes, one-to-many relations can exist in other mathematical concepts, such as functions, mappings, and relations. In fact, one-to-many relations are a fundamental concept in mathematics and can be found in various areas, including algebra, geometry, and calculus.

## 5. How do one-to-many relations differ from one-to-one relations in group theory?

One-to-many relations and one-to-one relations are different in terms of the number of elements that can be mapped between the two sets. In one-to-many relations, one element in the first set can be paired with multiple elements in the second set, while in one-to-one relations, each element in the first set is paired with only one element in the second set.

• Linear and Abstract Algebra
Replies
2
Views
975
• Linear and Abstract Algebra
Replies
1
Views
1K
• Linear and Abstract Algebra
Replies
9
Views
1K
• Linear and Abstract Algebra
Replies
3
Views
787
• Linear and Abstract Algebra
Replies
1
Views
784
• Linear and Abstract Algebra
Replies
10
Views
1K
• Linear and Abstract Algebra
Replies
1
Views
650
• Linear and Abstract Algebra
Replies
9
Views
2K
• Linear and Abstract Algebra
Replies
7
Views
1K
• Linear and Abstract Algebra
Replies
3
Views
892