Equation 677 Database

← all  ·  ← by size  ·  ← size 381

Magma 9e72f5fd8305…

magma 9e72f5fd8305
Size
381
Isomorphism class hash
9e72f5fd83057bd94ffb033d4f3b565761a54a01d54b47c9c4503ac5c6a676ea
Satisfies Equation 255
yes
Right-cancellative
yes
Idempotent
no
Fiber matrix
symmetric: yes · normal: yes · rank: 1 (nullity 380) what is this?
Submitted by
qawbecrdtey
Submitted at
2026-10-01 23:21:36
Display reorder
380,27,26,29,30,24,46,28,45,25,44,131,130,132,133,134,135,136,137,138,139,187,185,189,183,191,190,188,186,184,182,236,234,238,232,240,239,237,235,233,231,319,317,318,316,314,87,85,84,82,91,89,90,88,86,83,287,285,289,283,291,290,288,286,284,282,315,361,360,362,363,364,365,366,367,368,369,36,37,47,33,32,34,35,48,49,31,143,142,144,145,146,148,147,149,140,141,198,152,196,192,194,195,197,150,199,193,247,200,245,241,243,244,246,249,248,242,325,326,329,322,323,97,54,98,93,94,96,95,99,51,92,298,252,296,292,294,295,297,250,299,293,324,372,371,373,374,375,377,379,376,378,370,10,8,11,13,41,12,43,9,42,7,111,110,112,113,114,115,116,117,118,119,167,165,169,163,171,170,168,166,164,162,216,214,218,212,220,219,217,215,213,211,307,305,306,304,302,67,65,64,62,71,69,70,68,66,63,267,265,269,263,271,270,268,266,264,262,303,341,340,342,343,344,345,346,347,348,349,2,3,38,40,6,0,1,39,4,5,100,101,102,103,104,105,106,107,108,109,154,156,153,158,161,160,151,155,157,159,203,205,202,207,210,209,201,204,206,208,328,320,321,327,301,57,59,60,52,50,53,55,56,58,61,254,256,253,258,261,260,251,255,257,259,300,330,331,332,333,334,335,336,337,338,339,19,17,21,23,14,22,20,18,16,15,121,120,122,123,124,125,126,127,128,129,177,175,179,173,181,180,178,176,174,172,226,224,228,222,230,229,227,225,223,221,313,311,312,310,308,77,75,74,72,81,79,80,78,76,73,277,275,279,273,281,280,278,276,274,272,309,351,350,352,353,354,355,356,357,358,359 history
Raw table
canonical order · displayed order
Equational Theories
Finite Magma Explorer

Commentary

Order 381 = 1 + 5*76, from a common submagma at infinity. C(E, M, k, B) adjoins a submagma M (m elements) of a model E to every group of a transversal design TD(k, g), g = |E| - m, so that every enlarged group is a copy of E and all of them share M; every block carries B, a model of order k in which x*x = x. Two elements of M multiply in M; an element of M or of group i with one of group i, in group i's copy of E; elements of different groups, in their block. It satisfies Equation 677 whenever E and B do. This magma is C(E, M, 5, B) with E = magma#432e4c006dcd7a87bd51f20718c8a2600c80c9e6f4728c9b2189310a93934f23, M = {76} in E, B = magma#e549b5f8492c9b6b5ad530e3aa4f39c6e23d08645ebd1b36a3c2de2a5a23bac5. Labels: 0..m-1 are M, in increasing order of their labels in E; m + g*i + c (i < k, c < g) is point c of group i, which plays the c-th element of E outside M, in increasing order. A block's point in group i plays element i of B. TD(5, 76): MacNeish's product over GF(4) x GF(19); GF(4) = F_2[x]/(x^2 + x + 1); GF(p^r) = F_p[x]/(f) labels c_0 + c_1 x + ... as c_0 + c_1 p + ..., and point c of a group is the c-th element of the product in lexicographic order. Block (a, b), a and b in the product, meets group i in the point whose coordinate in each field is a + s_i b, s_i the element of that field labelled i, or b when the field has exactly i elements. Equation 255: satisfied. Idempotent elements: 51.

last edited by qawbecrdtey at 2026-10-01 23:21:37 · history