Top
Back: ImageVariety
Forward: InvariantRing
FastBack: ainvar_lib
FastForward: stratify_lib
Up: rinvar_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.7.3.4 ImageGroup

Procedure from library rinvar.lib (see rinvar_lib).

Usage:
ImageGroup(G, action); ideal G, action;

Purpose:
compute the ideal of the image of G in GL(m,K) induced by the linear action 'action', where G is an algebraic group and 'action' defines an action of G on K^m (size(action) = m).

Return:
ring, a polynomial ring over the same ground field as the basering, containing the ideals 'groupid' and 'actionid'.
- 'groupid' is the ideal of the image of G (order <= order of G) - 'actionid' defines the linear action of 'groupid' on K^m.

Note:
'action' and 'actionid' have the same orbits
all variables which give only rise to 0's in the m x m matrices of G have been omitted.

Assume:
basering K[s(1..r),t(1..m)] has r + m variables, G is the ideal of an algebraic group and F is an action of G on K^m. G contains only the variables s(1)...s(r). The action 'action' is given by polynomials f_1,...,f_m in basering, s.t. on the ring level we have K[t_1,...,t_m] --> K[s_1,...,s_r,t_1,...,t_m]/G
t_i --> f_i(s_1,...,s_r,t_1,...,t_m)

Example:
 


Top Back: ImageVariety Forward: InvariantRing FastBack: ainvar_lib FastForward: stratify_lib Up: rinvar_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-1-6, Dec 2012, generated by texi2html.