1
$\begingroup$

Let V be a finitely generated vector space with dimension(V) = $n \in \mathbb{N}>1$. Now let T: $ V \to V$ be a map such that $\forall \hat{v},\hat{w} \in V$, $\; T(\hat{v}+\hat{w}) \neq T(\hat{v})+T(\hat{w})$.So if $\chi(V,V)$ be the collection of mappings with the property that T has, then what I'm looking for is a subset $G \subset \chi(V,V) $ such that there is a function $\lambda: G \times G \to G$ and a function ${i}: G \to G $ with the following (4) properties:

  1. $\forall A,B \in G,\; \lambda(A,B) \in G \;$ (closure)

  2. $\exists E \in G$ such that $\forall A \in G,\; \lambda(A,E)=\lambda(E,A)=A \;$ (identity)

  3. $\forall A \in G,\; \exists A^{-1} \in G \;$ such that $\lambda(A, A^{-1})=\lambda( A^{-1},A)=E \; $ (inverse)

  4. $\forall A,B,C \in G, \; \lambda(A,\lambda(B,C))= \lambda(\lambda(A,B),C) \;$ (associativity)

And to clarify, ${i}(A) = A^{-1} \; (\forall A \in G)$. Can someone show an example(or two)of such a collection of operators(and a binary function) that satisfy these properties?

$\endgroup$
2
  • 2
    $\begingroup$ Since you don't put any constraints on the way that $\lambda$ and $i$ interact with the operation on $V$, you can just choose any bijection between any $G\subset\chi(V,V)$ and any group. $\endgroup$
    – HJRW
    Jun 4, 2013 at 5:40
  • $\begingroup$ Originally posted on math.SE: math.stackexchange.com/q/402350/264 $\endgroup$ Jun 4, 2013 at 13:43

1 Answer 1

0
$\begingroup$

Fix $a\in V, a\ne 0$ and for $L\in {\rm Hom}(V,V)$ denote $L_a:x\to L(x)+a$. Let $G$ to be the set of all $L_a (L\in {\rm Hom}(V,V)$ and $$\lambda (L_a,M_a)(x) =L_a(x)+M_a(x)-a=(L+M)(x)+a.$$

$\endgroup$
3
  • $\begingroup$ Just for clarification: Is Hom(V,V) the set of linear maps from V to V? $\endgroup$ Jun 4, 2013 at 20:31
  • $\begingroup$ An example of a nonlinear transformation on a finitely generated vector space that does not have the group property under addition or multiplication is the mapping $T_{\alpha}(\hat{v}) = [x^{2}y-\alpha^{2}, 2\alpha xy] \;$ where $\alpha$ is a nonzero scalar and (x,y) are the respective components of a vector in a 2-dimensional vector space. $\endgroup$ Jun 4, 2013 at 20:43
  • $\begingroup$ @Yog_Shohoth: Yes, of course. $\endgroup$ Jun 4, 2013 at 21:21

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.