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 n ∈ F . 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 ∑ Lesa i j k sont appeléscoefficients de structure. On a directement cela: A≅ F [ b 1 ,…, b n ]
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 A≅B}.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 .
Est-ce que quelque chose dans cette définition vous semble étrange ou pensez-vous que l'on peut travailler avec?