{
  "schema_version": 1,
  "problem_number": "OWR-12697693-003",
  "title": "The Elements with Property (s) of a Skew Brace Need Not Form an Ideal: On a Question of Colazzo, Ferrara and Trombetti",
  "author": {
    "name": "Alper Ferudun",
    "affiliation": "Mercury Software GmbH",
    "url": "https://github.com/AlperTheKing"
  },
  "abstract": "An element x of a skew brace B has property (s), in the sense of Colazzo, Ferrara and Trombetti, if it has only finitely many conjugates of each of the kinds x∗b, b∗x, b+x−b and b∘x∘b⁻¹. In her abstract in Oberwolfach Report 9/2023, Colazzo asks whether the elements with property (s) of a skew brace form an ideal; by a result of the three authors they do so in two-sided braces. We answer the question in the negative. On Z × Z/4, with componentwise addition, the multiplication (m,a)∘(n,b) = (m + ε(a)n, a + b + 2ab), where ε(a) = 1 for a ∈ {0,1} and ε(a) = −1 for a ∈ {2,3}, defines a left brace in which the elements with property (s) are those of Z × {0,1}; this set is not closed under addition and not invariant under the maps λ_b. A sub-brace with additive group Z × Z/2 has the same property. The verification is elementary and is given in full. On the positive side, in every skew brace these elements form a normal subgroup of the multiplicative group, so only the additive conditions can fail; and they form an ideal in two-sided skew braces, in braces with torsion-free additive group, in bi-skew braces, and in skew braces whose multiplicative group is an FC-group. In semidirect products of a trivial brace by a finite skew brace Q the set in question is given by a normal subgroup of the multiplicative group of Q, which can be prescribed; this yields examples for each way in which the additive conditions can fail, among them a skew brace with torsion-free additive group, a centrally nilpotent brace of exponent 4, and the structure skew brace of a non-degenerate solution of the Yang–Baxter equation with six elements. The question, the notion and the positive answer for two-sided braces are due to Colazzo, Ferrara and Trombetti; the brace on Z/4 underlying the example is Example 3.8 of their paper, and the semidirect product of skew braces is a known construction. That the elements with property (s) form a subgroup of the multiplicative group follows at once from a characterisation in a recent preprint of Di Matteo and Ferrara together with a result of Cascella, Properzi and Van Antwerpen; it also follows from a result of Mondal and Yadav on a set which we show to be the same. The statement on two-sided skew braces is a short consequence of the first two results. Our proofs are included for completeness. The example also shows that Lemma 3.12 of the paper of Colazzo, Ferrara and Trombetti needs an additional hypothesis; it holds for skew braces with property (S), where it is used. The literature was searched within the limits stated in the text (one citing paper was seen in abstract only). A search that finds nothing is not a proof of novelty, and no priority is claimed. This is an unrefereed note.",
  "result_type": "COMPLETE_NEGATIVE_ANSWER",
  "categories": [
    "math.GR",
    "math.RA",
    "math.QA"
  ],
  "keywords": [
    "skew braces",
    "left braces",
    "property (s)",
    "elements with finitely many conjugates",
    "FC-groups",
    "ideals of skew braces",
    "two-sided skew braces",
    "bi-skew braces",
    "semidirect products of skew braces",
    "Yang–Baxter equation",
    "structure skew brace",
    "negative answer",
    "Oberwolfach Reports open problems",
    "UnsolvedMath",
    "OWR-12697693-003",
    "math.GR",
    "math.RA",
    "math.QA",
    "open mathematics"
  ],
  "manuscript_version_date": "2026-10-11",
  "publication_date": "2026-10-11",
  "publication_date_kind": "first public online release",
  "version": "1.0",
  "date_modified": "2026-10-11",
  "presentation_revision_only": false,
  "doi_archived_file_version": "1.0",
  "status": "unrefereed preprint",
  "canonical_url": "https://eulersolve.org/papers/owr-12697693-003/",
  "pdf_url": "https://eulersolve.org/papers/owr-12697693-003/paper.pdf?v=2f6a9339ea7a",
  "doi": "10.5281/zenodo.23292254",
  "zenodo_record_url": "https://zenodo.org/records/23292254",
  "license": "https://creativecommons.org/licenses/by/4.0/",
  "scope_caveat": "Answers Question 1 of I. Colazzo's abstract (joint work with M. Ferrara and M. Trombetti; Oberwolfach Reports 20 (2023), Report 9/2023, p. 543) in the negative: the elements with property (s) of a skew brace need not form an ideal, already for left braces. The positive statements proved are listed in the abstract; part of them follows from recent work of Di Matteo and Ferrara, of Cascella, Properzi and Van Antwerpen and of Mondal and Yadav, as stated in the note. The literature was searched within the limits stated in the text; no priority is claimed.",
  "files": {
    "paper.pdf": {
      "sha256": "2f6a9339ea7a6539e6cc449704a3118d56a998b741eabfc43d4b26279595a5b3"
    },
    "source.zip": {
      "sha256": "2b1cd59a78afbf2b791de063883c3823b18752afbb5a9a87d397a2d9bbfffeed"
    },
    "verification_report.md": {
      "sha256": "da3efff34174f077ec490f21aedb3e5116098090c1d27ff92798f8866a006964"
    }
  },
  "ai_use_disclosure": "AI-assisted tools supported research, computation, proof development, and manuscript preparation. The author remains responsible for all claims and the final text."
}