Equation 677 Database

← all  ·  ← by size  ·  ← size 381

Magma 8c8d386d9515…

magma 8c8d386d9515
Size
381
Isomorphism class hash
8c8d386d9515ab0bc890f5eb970ed14429d407627755383405a980d4d6f81cf2
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:23:25
Display reorder
380,27,26,29,30,24,46,28,45,25,44,131,130,132,133,134,135,136,137,138,139,185,187,189,183,191,190,188,186,184,182,234,236,238,232,240,239,237,235,233,231,319,317,318,316,314,88,84,90,82,85,87,86,91,89,83,285,287,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,152,198,196,192,194,195,197,150,199,193,200,247,245,241,243,244,246,249,248,242,325,326,329,322,323,99,98,95,93,54,97,51,94,96,92,252,298,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,165,167,169,163,171,170,168,166,164,162,214,216,218,212,220,219,217,215,213,211,307,305,306,304,302,68,64,70,62,65,67,66,71,69,63,265,267,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,156,154,153,158,161,160,151,155,157,159,205,203,202,207,210,209,201,204,206,208,328,320,321,327,301,56,60,55,50,59,57,58,52,53,61,256,254,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,175,177,179,173,181,180,178,176,174,172,224,226,228,222,230,229,227,225,223,221,313,311,312,310,308,78,74,80,72,75,77,76,81,79,73,275,277,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#494ba0deb454b14b2cb7bbc62844432905ec783aba817e90b87a28e07ff9818c, 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:23:26 · history