{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:G2Y7TJW253NXIXA3KGDPEPRYQA","short_pith_number":"pith:G2Y7TJW2","canonical_record":{"source":{"id":"1506.00233","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2015-05-31T13:57:28Z","cross_cats_sorted":[],"title_canon_sha256":"7fd2784e4f8ca38d23a856c1a1c13b9d02ccb50de7aeba20f56c9c9b1762d7b1","abstract_canon_sha256":"940718082ac2d54a276aee0faf5822548734a9e7ecc635b4d358db06dda6f33e"},"schema_version":"1.0"},"canonical_sha256":"36b1f9a6daeedb745c1b5186f23e38801ce3e20e366224770e49a23c81ede608","source":{"kind":"arxiv","id":"1506.00233","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1506.00233","created_at":"2026-05-18T00:28:38Z"},{"alias_kind":"arxiv_version","alias_value":"1506.00233v3","created_at":"2026-05-18T00:28:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1506.00233","created_at":"2026-05-18T00:28:38Z"},{"alias_kind":"pith_short_12","alias_value":"G2Y7TJW253NX","created_at":"2026-05-18T12:29:22Z"},{"alias_kind":"pith_short_16","alias_value":"G2Y7TJW253NXIXA3","created_at":"2026-05-18T12:29:22Z"},{"alias_kind":"pith_short_8","alias_value":"G2Y7TJW2","created_at":"2026-05-18T12:29:22Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:G2Y7TJW253NXIXA3KGDPEPRYQA","target":"record","payload":{"canonical_record":{"source":{"id":"1506.00233","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2015-05-31T13:57:28Z","cross_cats_sorted":[],"title_canon_sha256":"7fd2784e4f8ca38d23a856c1a1c13b9d02ccb50de7aeba20f56c9c9b1762d7b1","abstract_canon_sha256":"940718082ac2d54a276aee0faf5822548734a9e7ecc635b4d358db06dda6f33e"},"schema_version":"1.0"},"canonical_sha256":"36b1f9a6daeedb745c1b5186f23e38801ce3e20e366224770e49a23c81ede608","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:28:38.277928Z","signature_b64":"eGIY/QfVxwzR5BpgI5MDnOPUrqSB8E64qWG1g/Pma2J0Ibo+2ClGN1YVVEIo/kO57OCh/6kcmF9IZSfb+12QAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"36b1f9a6daeedb745c1b5186f23e38801ce3e20e366224770e49a23c81ede608","last_reissued_at":"2026-05-18T00:28:38.277235Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:28:38.277235Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1506.00233","source_version":3,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:28:38Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"D0ywsSE5uS59sNdON50WmzqTtl3KKUMmipnbODL7QHmsTSfsxklP5L/DJCDRQVt5z/PmMd0DPcNDeFMS3nWYAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T01:40:50.207572Z"},"content_sha256":"9e058f5873a41f9b274ff74e9dcdef88e212a540f4239835a66d944294081bf7","schema_version":"1.0","event_id":"sha256:9e058f5873a41f9b274ff74e9dcdef88e212a540f4239835a66d944294081bf7"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:G2Y7TJW253NXIXA3KGDPEPRYQA","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Engel-type subgroups and length parameters of finite groups","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.GR","authors_text":"Evgeny Khukhro, Pavel Shumyatsky","submitted_at":"2015-05-31T13:57:28Z","abstract_excerpt":"Let $g$ be an element of a finite group $G$. For a positive integer $n$, let $E_n(g)$ be the subgroup generated by all commutators $[...[[x,g],g],\\dots,g]$ over $x\\in G$, where $g$ is repeated $n$ times. By Baer's theorem, if $E_n(g)=1$, then $g$ belongs to the Fitting subgroup $F(G)$. We generalize this theorem in terms of certain length parameters of $E_n(g)$. For soluble $G$ we prove that if, for some $n$, the Fitting height of $E_n(g)$ is equal to $k$, then $g$ belongs to the $(k+1)$th Fitting subgroup $F_{k+1}(G)$. For nonsoluble $G$ the results are in terms of nonsoluble length and gener"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1506.00233","kind":"arxiv","version":3},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:28:38Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0IwOYCmLxrlWscytpKC620c4+Q0NsgG8u5rYv4d8E+u305KW55WVqjK4J8DOK/Mm7gXjG0urNlkqxc2/cD7IBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T01:40:50.208158Z"},"content_sha256":"bdde456b27e9b4bd3a773caef75f219fb6beb893af824f4220cd531ab78bfa66","schema_version":"1.0","event_id":"sha256:bdde456b27e9b4bd3a773caef75f219fb6beb893af824f4220cd531ab78bfa66"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/G2Y7TJW253NXIXA3KGDPEPRYQA/bundle.json","state_url":"https://pith.science/pith/G2Y7TJW253NXIXA3KGDPEPRYQA/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/G2Y7TJW253NXIXA3KGDPEPRYQA/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-05T01:40:50Z","links":{"resolver":"https://pith.science/pith/G2Y7TJW253NXIXA3KGDPEPRYQA","bundle":"https://pith.science/pith/G2Y7TJW253NXIXA3KGDPEPRYQA/bundle.json","state":"https://pith.science/pith/G2Y7TJW253NXIXA3KGDPEPRYQA/state.json","well_known_bundle":"https://pith.science/.well-known/pith/G2Y7TJW253NXIXA3KGDPEPRYQA/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:G2Y7TJW253NXIXA3KGDPEPRYQA","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"940718082ac2d54a276aee0faf5822548734a9e7ecc635b4d358db06dda6f33e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2015-05-31T13:57:28Z","title_canon_sha256":"7fd2784e4f8ca38d23a856c1a1c13b9d02ccb50de7aeba20f56c9c9b1762d7b1"},"schema_version":"1.0","source":{"id":"1506.00233","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1506.00233","created_at":"2026-05-18T00:28:38Z"},{"alias_kind":"arxiv_version","alias_value":"1506.00233v3","created_at":"2026-05-18T00:28:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1506.00233","created_at":"2026-05-18T00:28:38Z"},{"alias_kind":"pith_short_12","alias_value":"G2Y7TJW253NX","created_at":"2026-05-18T12:29:22Z"},{"alias_kind":"pith_short_16","alias_value":"G2Y7TJW253NXIXA3","created_at":"2026-05-18T12:29:22Z"},{"alias_kind":"pith_short_8","alias_value":"G2Y7TJW2","created_at":"2026-05-18T12:29:22Z"}],"graph_snapshots":[{"event_id":"sha256:bdde456b27e9b4bd3a773caef75f219fb6beb893af824f4220cd531ab78bfa66","target":"graph","created_at":"2026-05-18T00:28:38Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"Let $g$ be an element of a finite group $G$. For a positive integer $n$, let $E_n(g)$ be the subgroup generated by all commutators $[...[[x,g],g],\\dots,g]$ over $x\\in G$, where $g$ is repeated $n$ times. By Baer's theorem, if $E_n(g)=1$, then $g$ belongs to the Fitting subgroup $F(G)$. We generalize this theorem in terms of certain length parameters of $E_n(g)$. For soluble $G$ we prove that if, for some $n$, the Fitting height of $E_n(g)$ is equal to $k$, then $g$ belongs to the $(k+1)$th Fitting subgroup $F_{k+1}(G)$. For nonsoluble $G$ the results are in terms of nonsoluble length and gener","authors_text":"Evgeny Khukhro, Pavel Shumyatsky","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2015-05-31T13:57:28Z","title":"Engel-type subgroups and length parameters of finite groups"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1506.00233","kind":"arxiv","version":3},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:9e058f5873a41f9b274ff74e9dcdef88e212a540f4239835a66d944294081bf7","target":"record","created_at":"2026-05-18T00:28:38Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"940718082ac2d54a276aee0faf5822548734a9e7ecc635b4d358db06dda6f33e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2015-05-31T13:57:28Z","title_canon_sha256":"7fd2784e4f8ca38d23a856c1a1c13b9d02ccb50de7aeba20f56c9c9b1762d7b1"},"schema_version":"1.0","source":{"id":"1506.00233","kind":"arxiv","version":3}},"canonical_sha256":"36b1f9a6daeedb745c1b5186f23e38801ce3e20e366224770e49a23c81ede608","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"36b1f9a6daeedb745c1b5186f23e38801ce3e20e366224770e49a23c81ede608","first_computed_at":"2026-05-18T00:28:38.277235Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:28:38.277235Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"eGIY/QfVxwzR5BpgI5MDnOPUrqSB8E64qWG1g/Pma2J0Ibo+2ClGN1YVVEIo/kO57OCh/6kcmF9IZSfb+12QAw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:28:38.277928Z","signed_message":"canonical_sha256_bytes"},"source_id":"1506.00233","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9e058f5873a41f9b274ff74e9dcdef88e212a540f4239835a66d944294081bf7","sha256:bdde456b27e9b4bd3a773caef75f219fb6beb893af824f4220cd531ab78bfa66"],"state_sha256":"e1d208a9717009363049131f92022163ceca100ebbe68695066f59e642c68a7e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vJ/9HZdci2O6t3f6OOuXui5b/GxVRn+GqT9FEeOjl+zmmm2+F0wIa2UF7HY2rmXw88fMjufy8aWOrdq6qdeRCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T01:40:50.211183Z","bundle_sha256":"066866bcd1e2bcecdbd99e574c08b22d81ca640b6b77b5a511998fd40914b271"}}