Equation 677 Database

← all  ·  ← by size  ·  ← size 973

Magma ec9fce3be2f1…

magma ec9fce3be2f1
Size
973
Isomorphism class hash
ec9fce3be2f1484d906e8132017a4a65f786823a13c67b1e578409faacb72ac5
Satisfies Equation 255
yes
Right-cancellative
yes
Idempotent
no
Fiber matrix
symmetric: yes · normal: yes · rank: 1 (nullity 972) what is this?
Submitted by
dwrensha
Submitted at
2026-09-27 18:59:59
Display reorder
823,954,292,800,662,454,628,654,931,86,571,140,0,969,264,846,80,577,363,448,274,660,953,171,510,668,617,779,739,955,2,253,644,677,513,455,933,476,474,699,124,51,337,898,506,265,463,544,99,198,916,452,284,759,720,172,709,888,555,528,393,136,33,419,902,645,163,206,472,670,174,919,213,344,584,52,317,210,930,820,498,626,810,604,409,917,328,362,427,112,371,367,912,567,637,529,738,815,697,869,153,60,339,215,341,473,942,201,320,218,378,652,131,853,98,211,415,167,749,246,833,38,193,554,233,329,71,893,122,788,375,581,471,289,963,530,114,248,436,549,313,929,663,102,55,342,791,443,860,434,426,481,970,401,769,854,440,649,49,696,797,307,957,784,108,194,82,465,319,950,116,84,254,227,592,582,964,748,139,547,587,63,125,857,128,314,121,659,335,29,940,147,199,297,732,435,252,906,802,679,421,569,556,403,859,50,492,21,384,311,431,850,207,48,451,466,347,156,896,772,66,387,318,135,703,829,225,278,535,520,93,138,918,500,380,315,118,423,95,927,334,625,638,490,610,733,838,183,504,801,366,268,216,872,74,404,590,14,383,827,925,17,132,656,478,208,817,895,651,661,158,185,39,10,881,388,534,37,263,3,715,877,376,728,765,94,580,509,922,700,332,966,550,495,503,928,512,722,411,100,57,594,861,382,480,505,179,8,461,889,358,540,650,306,719,15,956,26,398,164,623,262,83,901,177,818,236,484,142,53,921,62,583,309,149,389,270,879,542,410,146,408,129,222,937,766,746,807,460,568,636,844,298,302,20,496,293,397,849,340,673,741,557,429,751,862,141,386,97,653,275,144,851,243,601,541,137,232,576,834,488,78,67,324,459,624,959,778,241,789,690,353,521,848,267,54,475,532,196,437,830,406,96,22,768,543,545,865,524,444,608,575,184,107,887,808,710,686,599,441,240,876,591,205,517,294,646,35,914,195,967,127,209,640,41,863,585,559,523,593,731,361,882,754,356,602,605,598,539,858,814,90,729,46,190,325,913,261,450,200,822,220,413,958,681,522,61,702,166,570,836,446,595,572,538,407,379,892,273,432,693,551,359,449,843,609,247,19,282,773,630,935,165,740,73,442,123,349,840,536,181,272,143,477,648,915,249,794,230,424,281,77,880,464,392,560,792,713,757,839,352,764,747,173,761,606,855,104,229,405,502,658,497,903,304,326,109,756,574,479,905,370,752,345,257,682,228,875,718,11,152,744,244,811,885,573,126,176,155,377,799,945,68,368,717,360,148,277,832,968,824,632,354,154,89,936,422,374,170,58,87,805,831,219,6,182,312,676,781,890,364,169,445,750,13,425,897,724,486,399,780,688,600,894,796,758,279,726,707,485,934,458,36,115,418,105,119,909,706,271,266,508,586,343,948,110,734,705,76,767,721,939,603,770,43,683,75,763,886,7,420,566,191,785,564,965,657,516,25,430,214,666,962,255,24,369,40,483,65,852,627,187,596,64,743,355,878,92,553,79,372,634,552,944,189,806,333,288,616,691,870,615,631,680,396,365,101,932,322,438,321,804,537,385,924,400,462,578,526,525,168,842,231,157,783,708,27,618,972,687,72,777,714,226,162,910,237,456,457,647,531,331,856,316,468,735,390,507,391,864,56,296,327,611,562,684,938,760,685,357,402,737,258,873,621,565,303,34,622,47,961,286,812,133,665,256,558,920,134,414,85,300,69,186,884,597,145,499,70,447,588,947,633,716,260,635,489,113,951,694,30,614,88,701,672,871,790,698,31,774,803,5,891,412,655,439,197,202,775,841,12,1,487,9,81,527,866,416,776,795,348,689,727,960,669,619,711,330,417,793,828,494,120,819,514,238,295,943,712,607,381,251,111,150,899,736,42,103,239,305,491,868,44,223,285,563,755,971,900,346,217,291,786,299,23,874,730,308,224,245,18,642,941,742,175,813,221,117,787,949,159,613,188,276,821,301,837,548,643,825,4,395,373,835,428,589,433,336,160,59,923,675,692,242,816,695,283,907,826,782,723,629,323,533,946,32,350,493,161,725,180,847,579,546,212,203,250,467,908,280,16,511,28,809,234,867,561,704,351,106,178,678,911,518,290,620,762,501,204,952,310,338,469,641,664,515,904,639,235,771,130,453,612,883,482,151,753,269,519,192,845,394,259,91,798,45,745,926,470,667,674,671,287 history
Raw table
canonical order · displayed order
Equational Theories
Finite Magma Explorer

Commentary

Monogenic cyclic-affine Eq677 magma of order 973. On Z/973, in construction labels, x*y = 459x + 269y + 1 (mod 973). Element 0 generates the whole magma; there are 828 generators and 1 idempotent element(s). For any element r, the generated submagma has size 973/gcd(973, (459+269-1)r+1). Both coefficients are units modulo 973, so this is a quasigroup (left- and right-cancellative); its fiber matrix is all ones. The affine Eq677 conditions are ab(1+b^2)=1, a+a^2*b^2+b^3=0, and (b^2(a+1)+b+1)c=0 modulo n. These hold for the displayed parameters. Independently checked all 946729 Eq677 instances, all 973 Eq255 instances, and full set closure from generator 0 directly in the saved table. This is not a counterexample to Eq677 => Eq255. Found while enumerating monogenic cyclic-affine models of orders below 1000, working upward in order. These are standard affine constructions, added to fill gaps in the database. Construction labels may differ from the server canonical labels. Computed with OpenAI Codex working with dwrensha, 2026-09-27.

last edited by dwrensha at 2026-09-27 19:00:00 · history