User:CJKG: Difference between revisions

From Groupprops
No edit summary
Line 11: Line 11:
== Tools ==
== Tools ==
* [https://www.artofproblemsolving.com/Wiki/index.php/LaTeX:Symbols < math > < /math >]
* [https://www.artofproblemsolving.com/Wiki/index.php/LaTeX:Symbols < math > < /math >]
== A missing property ==
(I)  A [[loop]] is a quasigroup with a neutral element <math>e</math>.
(II) A magma is called [[unipotent magma|unipotent]] iff there is an element <math>e</math> such that <math>x * x = e</math> for all elements <math>x</math>.
Does anybody know how such an element <math>e</math> in (II) is called? I found [[neutral element|middle neutral element]], but I don't know if that term is standardized and generally and uniformly used. Note that such an element <math>\in Q</math> is linked to the neutral element of a certain parastrophe of <math>Q</math>, and that it is the only idempotent element of <math>Q</math>. Thus maybe - just theorizing - it could be called ''unineutral'', ''idemneutral'', ''idemunit'', ''unidentity'' [YOON-, not UN-], ''mnie'' (= '''m'''iddle '''n'''eutral '''i'''dentity '''e'''lement), ''mneutral'', ''ineutral'' or ... ''Unipotent'' does not seem to be a good solution, because unipotency is a property of a structure, not of an element. My aim is to express (II) as easy as (I) such as ''A pool is a quasigroup with an idemneutral element <math>e</math>.'' Thank you very much in advance. --[[User:CJKG|CJKG]] ([[User talk:CJKG|talk]]) 13:19, 8 July 2014 (UTC)

Revision as of 13:19, 8 July 2014

My name is Claus [pronounce like "clouds" without d], born in 1963, living in Köln [Cologne], Germany, EU. I am a maths teacher. --CJKG (talk) 08:47, 2 March 2014 (UTC)

My contributions

  1. subquasigroup
  2. Wall theorem (= Subquasigroup of size more than half is whole quasigroup)
  3. Ward quasigroup
  4. Unipotent magma
  5. Zeropotent magma
  6. Category:Quasigroup properties

Tools

A missing property

(I) A loop is a quasigroup with a neutral element .

(II) A magma is called unipotent iff there is an element such that for all elements .

Does anybody know how such an element in (II) is called? I found middle neutral element, but I don't know if that term is standardized and generally and uniformly used. Note that such an element is linked to the neutral element of a certain parastrophe of , and that it is the only idempotent element of . Thus maybe - just theorizing - it could be called unineutral, idemneutral, idemunit, unidentity [YOON-, not UN-], mnie (= middle neutral identity element), mneutral, ineutral or ... Unipotent does not seem to be a good solution, because unipotency is a property of a structure, not of an element. My aim is to express (II) as easy as (I) such as A pool is a quasigroup with an idemneutral element . Thank you very much in advance. --CJKG (talk) 13:19, 8 July 2014 (UTC)