Macaulay2 » Documentation
Packages » NCAlgebra :: ncRightIdeal
next | previous | forward | backward | up | index | toc

# ncRightIdeal -- Define a right ideal in a noncommutative ring

- Usage:
    `I = ncRightIdeal fs`
- Inputs:
  - fs, an instance of the type NCRingElement, or a List of NCRingElements
- Outputs:
  - I, an instance of the type NCRightIdeal,

## Description

This defines a right ideal in a noncommutative ring. Not much can be done with these objects at this point (as one can tell by the dearth of operations that take an NCRightIdeal as input), but eventually it will be a 'fully featured' object.

    i1 : A = QQ{x,y,z}

    o1 = A

    o1 : NCPolynomialRing

    i2 : p = y*z + z*y - x^2

                2
    o2 = zy+yz-x

    o2 : A

    i3 : q = x*z + z*x - y^2

             2
    o3 = zx-y +xz

    o3 : A

    i4 : r = z^2 - x*y - y*x

          2
    o4 = z -yx-xy

    o4 : A

    i5 : I = ncRightIdeal{p,q,r}

                             2      2      2
    o5 = Right ideal {zy+yz-x , zx-y +xz, z -yx-xy}

    o5 : NCRightIdeal

## Ways to use ncRightIdeal:

- `ncRightIdeal(List)`
- `ncRightIdeal(NCRingElement)`

## For the programmer

The object ncRightIdeal is a method function.

The source of this document is in /build/macaulay2-88fgJW/macaulay2-1.25.11+ds/M2/Macaulay2/packages/NCAlgebra/NCAlgebraDoc.m2:1871:0.