Specification: Pc Groups (OSCAR v1.0)

Profiles: OSCAR v1.0 Other versions: Pc Groups (OSCAR v1.1-v1.3), Pc Groups (OSCAR v1.4-v1.8)

In OSCAR v1.0, PcGroup is encoded with a bare _type string and an inline payload for the underlying GAP object.

Encoding Notes

• Use _type: "PcGroup".
• Store the underlying GAP object directly inside data.
• No _refs indirection is used for the group payload.

Canonical Example Payload

The following payload is taken directly from the current rosetta-stone corpus.

{
  "_ns": {"Oscar": ["https://github.com/oscar-system/Oscar.jl", "1.0.5"]},
  "_type": "PcGroup",
  "data": {
    "X": {
      "GapType": "IsPcGroup",
      "relord": ["2", "3", "2", "2"],
      "power_rels": [],
      "comm_rels": [
        ["2", "1", ["2", "1"]],
        ["3", "1", ["3", "1", "4", "1"]],
        ["4", "1", ["3", "1", "4", "1"]],
        ["3", "2", ["3", "1", "4", "1"]],
        ["4", "2", ["3", "1"]]
      ]
    }
  },
  "id": "872bc78f-1c00-4d4b-aaf7-d08957072682"
}

Documented Profiles in This Corpus

This table records the profile/version pairs currently represented by the rosetta-stone examples for this data type. Add new rows as new systems or encoding revisions are documented.

Rosetta Stone Examples

• Pc group
• Subgroup of pc group