Specification: Elements of Subgroups of Finitely Presented Groups (OSCAR v1.1-v1.3)

Profiles: OSCAR v1.1, OSCAR v1.2, OSCAR v1.3 Other versions: Elements of Subgroups of Finitely Presented Groups (OSCAR v1.4-v1.8)

In OSCAR v1.1 through v1.3, SubFPGroupElem uses the bare type name "SubFPGroupElem" and refers to its subgroup context through _refs.

Encoding Notes

• Use _type: "SubFPGroupElem".
• Store the word data under data.
• Refer to the ambient subgroup through _refs.

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.3.1"]},
  "_type": {"name": "SubFPGroupElem", "params": "5a34a9db-3805-49cf-8866-3143374fe9eb"},
  "data": ["1", "1"],
  "_refs": {
    "5a34a9db-3805-49cf-8866-3143374fe9eb": {"_type": "SubFPGroup", "data": {"X": "fa507f10-4730-478f-b44e-6987de878adb"}},
    "fa507f10-4730-478f-b44e-6987de878adb": {
      "_type": "GapObj",
      "data": {
        "GapType": "IsFreeGroup",
        "freeGroup": "c1346e43-6520-4798-ab99-d6129e8000db",
        "gens": [["1", "1"]]
      }
    },
    "c1346e43-6520-4798-ab99-d6129e8000db": {
      "_type": "GapObj",
      "data": {"GapType": "IsFreeGroup", "wfilt": "IsLetterWordsFamily", "names": ["f1", "f2"]}
    }
  }
}

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

• Element of subgroup of free group
• Element of subgroup of finitely presented group