Search by property
This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.
List of results
- Strongly intersection-closed not implies union-closed + (01:06:26, 9 January 2026)
- Invariance implies strongly intersection-closed + (01:08:45, 9 January 2026)
- Multi-invariance property + (01:44:39, 9 January 2026)
- Invariance property + (09:45:46, 9 January 2026)
- Subgroup property + (09:46:44, 9 January 2026)
- Multi-invariance equals strongly intersection-closed in Noetherian group + (11:07:25, 9 January 2026)
- Second cohomology group for trivial group action + (00:43:03, 10 January 2026)
- Second cohomology group for trivial group action of V4 on Z2 + (00:44:27, 10 January 2026)
- Second cohomology group for trivial group action of Z2 on Z2 + (00:45:43, 10 January 2026)
- Symmetric group:S4 + (01:43:20, 10 January 2026)
- Symmetric group:S3 + (01:48:03, 10 January 2026)
- Cohomology tree probability distribution + (19:40:37, 10 January 2026)
- Balanced subgroup property (function restriction formalism) + (02:18:28, 12 January 2026)
- Automorph-conjugacy is transitive + (03:08:46, 12 January 2026)
- Proving transitivity + (03:21:32, 12 January 2026)
- Transitive subgroup property + (03:23:33, 12 January 2026)
- Center not is divisibility-closed + (05:26:26, 12 January 2026)
- Schur's lemma + (06:48:51, 18 January 2026)
- Lazard correspondence + (06:54:12, 30 January 2026)
- Cocycle halving generalization of Baer correspondence + (06:47:47, 3 February 2026)
- Series-equivalent abelian-quotient abelian not implies automorphic + (06:50:26, 3 February 2026)
- Derived series + (07:23:00, 3 May 2026)
- Normal series + (07:24:21, 3 May 2026)
- Sylow subgroups exist + (17:11:19, 16 May 2026)
- Orbit-counting theorem + (04:25:38, 22 May 2026)
- Burnside group + (04:28:22, 22 May 2026)
- Series-equivalent not implies automorphic in finite abelian group + (09:19:21, 10 June 2026)
- Brauer's permutation lemma + (09:42:45, 10 June 2026)
- Zero-or-scalar lemma + (01:31:45, 14 June 2026)
- Groupprops:Error log + (01:33:51, 14 June 2026)