0
$\begingroup$

I scoured what I could in the literature but I have yet to find the information that should be out there. Consider the property

(P1) Every local subalgebra can be embedded in a local ideal subalgebra

for a commutative algebra A.

For lack of sufficient reference, let us say that a commutative algebra A is thematic iff A has property (P1) and every subalgebra of A has property (P1).

I feel that my research may require me to develop necessary and/or sufficient conditions for a finite commutative algebra A of prime characteristic p to be a thematic algebra. As usual, any insight or direction in the literature would be greatly appreciated. Thanks.

Improve this question
$\endgroup$

1 Answer 1

Reset to default
1
$\begingroup$

This is actually a lot simpler than I thought. Firstly, for finite commutative algebras the (P1) property and the more general thematic property are equivalent. Moreover, using the fact that any such algebra can be uniquely decomposed as a direct sum of local algebras, it becomes clear that a finite commutative algebra A has property (P1) iff A admits at most one local subalgebra with non-trivial nilradical.

If we take into consideration possibly infinite commutative algebras, what might this necessary and sufficient condition become ?

Improve this answer
$\endgroup$
1
  • $\begingroup$ That is, the simplification given above is true for finite commutative algebras of prime characteristic. $\endgroup$
    – Oliver Kayende
    Commented Jan 26, 2013 at 5:52

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .