关于有限群群代数张量积k[G]⊗k[G]可逆元的技术咨询

我来梳理下这个问题相关的研究结论和核心思路哈：

目前针对这类可逆元的研究，大多是通过将其转化为群代数单位群的问题展开的，已有不少成熟结论：

• 半单域情形（特征0或特征不整除|G|）：
  当域k的特征为0，或者特征p不整除群G的阶时，k[G]⊗k[G]是半单代数（Wedderburn-Artin定理保证）。此时它的可逆元集合（单位群）结构可以通过不可约表示完全刻画：
  • 若k是代数闭域（比如复数域ℂ），k[G]⊗k[G]会分解为一系列矩阵代数的直和：ℂ[G]⊗ℂ[G] ≅ ⨁_{χ∈Irr(G×G)} M_{χ(1)}(ℂ)，对应的单位群就是这些矩阵代数的一般线性群的直积：U(ℂ[G]⊗ℂ[G]) ≅ ⨁_{χ} GL_{χ(1)}(ℂ)，其结构完全由G×G的不可约特征标决定。
  • 对于非代数闭的半单域，可通过分裂域的结论，将问题转化到代数闭包上分析，可逆元的结构可以通过Galois群作用来描述。
• 特征p整除|G|的域情形：
  此时k[G]⊗k[G]是有根基的非半单代数，可逆元的结构更复杂：
  • 任何可逆元都可以分解为u = a + b，其中a是群元线性组合构成的可逆元，b是代数根基中的元素，且a^{-1}b是幂零元。
  • 利用块理论分解k[G]⊗k[G]，每个块的单位群可以单独分析，比如当G是p群时，k[G×G]的单位群结构已经有系统的研究，包括其幂结构、生成元等。
• 特殊元素的可逆性判定：
  对于简单张量x⊗y，它可逆当且仅当x和y分别是k[G]中的可逆元；对于一般元素∑g_i⊗h_i，可逆性可转化为k[G×G]中元素∑(g_i,h_i)的可逆性——在群代数中，一个元素可逆的充要条件是它在每个不可约表示（模表示）下的像都是可逆矩阵。

这个同构绝对是研究k[G]⊗k[G]可逆元的关键工具，原因如下：

• 它把看似陌生的张量积代数问题，直接转化为我们更熟悉的有限群直积G×G的群代数问题。而群代数的单位群是群代数理论中被广泛研究的对象，Wedderburn分解、块理论、模表示论等成熟方法都可以直接套用。
• 这个同构的具体定义是：映射φ: k[G]⊗k[G] → k[G×G]，将简单张量g⊗h映射为群元(g,h)，再线性扩张到整个代数。这个映射保持代数的加法和乘法结构，是严格的代数同构。这意味着k[G]⊗k[G]的可逆元集合与k[G×G]的单位群作为群是完全同构的，所有关于k[G×G]单位群的结论都可以直接平移到k[G]⊗k[G]上。

举个直观的例子：如果G是有限交换群，那么k[G]是交换代数，k[G]⊗k[G]≅k[G×G]也是交换代数，在代数闭域k上，它同构于k^{|G|^2}，此时可逆元就是所有分量非零的元素，结构为(k^*)^{|G|^2}（k^*是k的乘法群）。

内容的提问来源于stack exchange，提问作者user527859