Wikidata:Property proposal/SmallGroup ID
Jump to navigation
Jump to search
SmallGroup ID
[edit]Originally proposed at Wikidata:Property proposal/Natural science
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) |
Motivation
[edit](Add your motivation for this property here.) GZWDer (talk) 23:02, 7 July 2020 (UTC)
Discussion
[edit]- Support more ids for mathematical objects is a nice idea, thanks. ArthurPSmith (talk) 19:17, 8 July 2020 (UTC)
- Support it looks useful to have this notation scheme. --99of9 (talk) 07:58, 22 July 2020 (UTC)
- 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)
- @GZWDer, ArthurPSmith, 99of9: any opinion about the data type? Pamputt (talk) 06:14, 24 July 2020 (UTC)
- This is not an expression - strictly it is the parameter of a function.--GZWDer (talk) 06:16, 24 July 2020 (UTC)
- 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)
- 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)
- @GZWDer, ArthurPSmith, 99of9: SmallGroup ID (P8489) is now available. Pamputt (talk) 13:19, 26 July 2020 (UTC)