Difference between revisions of "Template:GAP ID"

From Groupprops
Jump to: navigation, search
(Group ID)
(Group ID)
 
(2 intermediate revisions by the same user not shown)
Line 1: Line 1:
 
===Group ID===
 
===Group ID===
  
This [[satisfies property::finite group]] has order {{{1}}} and has ID {{{2}}} among the groups of order {{{1}}} in GAP's SmallGroup library. It can thus be defined using GAP's [[GAP:SmallGroup|SmallGroup]] function as:
+
This [[satisfies property::finite group]] has [[groups of order {{{1}}}|order {{{1}}}]][[order::{{{1}}}| ]] and has ID {{{2}}} among the groups of order {{{1}}} in GAP's SmallGroup library. For context, there are {{#show:groups of order {{{1}}}|?count}} groups of order {{{1}}}. It can thus be defined using GAP's [[GAP:SmallGroup|SmallGroup]] function as:
  
 
<tt>SmallGroup({{{1}}},{{{2}}})</tt>
 
<tt>SmallGroup({{{1}}},{{{2}}})</tt>

Latest revision as of 17:15, 31 May 2012

Group ID

This finite group has [[groups of order {{{1}}}|order {{{1}}}]] and has ID {{{2}}} among the groups of order {{{1}}} in GAP's SmallGroup library. For context, there are
The page type input value "groups of order {{{1}}}" contains invalid characters or is incomplete and therefore can cause unexpected results during a query or annotation process.
groups of order {{{1}}}. It can thus be defined using GAP's SmallGroup function as:

SmallGroup({{{1}}},{{{2}}})

For instance, we can use the following assignment in GAP to create the group and name it G:

gap> G := SmallGroup({{{1}}},{{{2}}});

Conversely, to check whether a given group G is in fact the group we want, we can use GAP's IdGroup function:

IdGroup(G) = [{{{1}}},{{{2}}}]

or just do:

IdGroup(G)

to have GAP output the group ID, that we can then compare to what we want.