General bilinear forms.

Quadratic and bilinear forms, inner products (15A63) Rings with involution; Lie, Jordan and other nonassociative structures (16W10) Module categories in associative algebras (16D90) Endomorphism rings; matrix rings (16S50) Automorphisms and endomorphisms (16W20) General module theory in associative algebras (16D10)

Abstract: We introduce the new notion of general bilinear forms (generalizing sesquilinear forms) and prove that for every ring

R

(not necessarily commutative, possibly without involution) and every right

R

-module

M

which is a generator (i.e.

R_{R}

is a summand of

M^{n}

for some

n i n N

), there is a one-to-one correspondence between the anti-automorphisms of

E n d (M)

and the general regular bilinear forms on

M

, considered up to similarity. This generalizes a well-known similar correspondence in the case

R

is a field. We also demonstrate that there is no such correspondence for arbitrary

R

-modules. We use the generalized correspondence to show that there is a canonical set isomorphism between the orbits of the left action of

I n n (R)

on the anti-automorphisms of

R

and the orbits of the left action of

I n n (M_{n} (R))

on the anti-automorphisms of

M_{n} (R)

, provided

R_{R}

is the only right

R

-module

N

satisfying

N^{n} c o n g R^{n}

. We also prove a variant of a theorem of Osborn. Namely, we classify all semisimple rings with involution admitting no non-trivial idempotents that are invariant under the involution.

Recommendations

Cites work

Cited in

(13)

This page was built for publication: General bilinear forms.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2339729)