It is common that you have some interesting object (set, group, algebra or something, whatever) which has certain properties, structure etc. You may try describe it in pure algebraic way. Sometimes You cannot find representation different from this you are working on.
How to distinguish its algebraic properties form properties arising from particular representation? Is there any systematic procedure?
Are there only trivial answers such as: "find another model/representation", or "every object may be regarded as example of different algebraic structures"?
Or maybe it is enough to describe something without notions from representation ( finite dimensionality, matrix indices etc)?
Examples: suppose you have an algebraic structure given by a set $M$ with some operations on it. It has a representation in a matrix algebra. Suppose that this representation has following properties:
- for every matrix $M$ from the representation $\det(M) = 1$
- for every matrix from the representation $\mathrm{Tr}(M) = 0$
- the whole representation is a vector space of dimension $n$ with basis given by set of $n$ independent matrices
- there is a matrix $S$ in the representation for which $S^2=id$
- for certain matrices $A$, $B$ and $C$, there is the relation $AB^2 - C = C^2$
etc.
If we regard its as a group only property 4 will be representation independent. But if we talking about vector space obviously property 3 is crucial.
We have some freedom to choose what is important: so if we are talking about abstract group property 3 may be called particular property of representation, whilst when we are in vector spaces, property 4 may be particular. Property 2 may be called fundamental if we are talking about "matrix groups" etc. What about property 5? Is it important?
Suppose we are able to wrote relations in a way which is purely algebraic ( for example for matrices we may write relations which not must be narrowed to matrix operations, we may interpret it as a general algebraic property of more general object, as relation $S^2 =\mathrm{id}$). And it lead to some interesting conclusions. How to be sure, the property we are research is not only property of chosen representation? What with property 5?
Of course we may regard the same object as a group and as a vector space simultaneously. In this way however certain properties may be considered as detached one from each other. Is this the only way?