Une algèbre


11

Je veux préciser ce que signifie donner une algèbre comme entrée à un algorithme et je n'ai pas trouvé beaucoup de littérature à ce sujet. Je veux donc d'abord demander si vous pouvez recommander un livre ou un article qui traite du sujet de l'analyse de la complexité des algèbres sur les champs et définir clairement le problème de décision .

Après avoir creusé, j'ai trouvé quelque chose et je veux le partager ici et en outre demander si les définitions ont un sens et sont conformes à la littérature (le cas échéant):

Définition: Soit un corps et A soit un commutatif de type fini F -alg'ebre à base additif b 1 , ... , b nF . Nous voulons maintenant capturer la structure multiplicative de l'algèbre et donc écrire chaque produit des éléments de base comme une combinaison linéaire de tous les éléments de base: 1 i , j , k n : a i j k : b i b j = n FAFb1,,bnF Lesa i j k sont appeléscoefficients de structure. On a directement cela: A F [ b 1 ,, b n ]

1i,j,kn:aijk:bibj=k=1naijkbk.
aijk On peut maintenant définir le problème de décision suivant: {(A,B)A,B -algèbres commutatives  F à base  b 1 , b n  et AB}.
AF[b1,,bn]/bibjk=1naijkbk1i,jn.
{(A,B)A,B commutative F-algebras with basis b1,bn and AB}.
Pour spécifier un isomorphisme , il suffit d'écrire tous les φ ( b i ) en tant que combinaison linéaire des éléments d'une base de B .ϕ:ABϕ(bi)B

Est-ce que quelque chose dans cette définition vous semble étrange ou pensez-vous que l'on peut travailler avec?

f,gF[x1,,xn]fgτf(τ(x1),,τ(xn))=g(x1,,xn)

F


Est-ce que quelqu'un connaît des références en plus du seul lien vers mhum ?
né le

Réponses:



En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.