Wikidata:Property proposal/SmallGroup ID

Description	ID of a specific small group, in the SmallGrp library and Magma (Q3032255)
Data type	External identifier
Domain	individual finite group
Allowed values	\d+,\d+
Example 1	Klein four-group (Q550593) → 4,2
Example 2	PSL(2,7) (Q1914781) → 168,42
Example 3	dihedral group of order 6 (Q2204630) → 6,1
Number of IDs in source	Infinite; 92570 for order <= 500
Expected completeness	always incomplete; potential complete for order <= 500
See also	Group Properties article ID (P8417)

(Add your motivation for this property here.) GZWDer (talk) 23:02, 7 July 2020 (UTC)[reply]

Support more ids for mathematical objects is a nice idea, thanks. ArthurPSmith (talk) 19:17, 8 July 2020 (UTC)[reply]
Support it looks useful to have this notation scheme. --99of9 (talk) 07:58, 22 July 2020 (UTC)[reply]
Comment what about the data type? Should it be mathematical expression instead of external-id? I would say the first if this way to note the group is standardized. That's said, my knowledge in mathematics are not enough advanced to be able to answer. Maybe The Anome knows a bit about group theory? Pamputt (talk) 20:32, 22 July 2020 (UTC)[reply]
@GZWDer, ArthurPSmith, 99of9: any opinion about the data type? Pamputt (talk) 06:14, 24 July 2020 (UTC)[reply]
- This is not an expression - strictly it is the parameter of a function.--GZWDer (talk) 06:16, 24 July 2020 (UTC)[reply]
  - If so, it is not really an external identifier either. See Dowker-Thistlethwaite notation (P8378) for something that looks similar. Pamputt (talk) 06:24, 24 July 2020 (UTC)[reply]
- I think I'd prefer this to be external-id datatype - the string (two numbers separated by a comma) is a unique identifier for these groups. ArthurPSmith (talk) 14:43, 24 July 2020 (UTC)[reply]

Navigation menu